An automated tool for semantic accessing to formal software models

Hai H. Wang, Danica Damljanovic, Jing Sun

Research output: Contribution to journalArticle

Abstract

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts.

Original languageEnglish
Pages (from-to)93–111
Number of pages19
JournalScience of Computer Programming
Volume95
Issue numberPart 1
Early online date12 Mar 2014
DOIs
Publication statusPublished - 1 Dec 2014

Fingerprint

Semantics
Semantic Web
Software engineering
Metadata
Engineers
Formal methods
Software design

Keywords

  • formal method
  • ontology
  • semantic web
  • software engineering

Cite this

Wang, Hai H. ; Damljanovic, Danica ; Sun, Jing. / An automated tool for semantic accessing to formal software models. In: Science of Computer Programming. 2014 ; Vol. 95, No. Part 1. pp. 93–111.
@article{9590083797b94943a4cbaf34ad41ec64,
title = "An automated tool for semantic accessing to formal software models",
abstract = "Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts.",
keywords = "formal method, ontology, semantic web, software engineering",
author = "Wang, {Hai H.} and Danica Damljanovic and Jing Sun",
year = "2014",
month = "12",
day = "1",
doi = "10.1016/j.scico.2014.02.027",
language = "English",
volume = "95",
pages = "93–111",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "Part 1",

}

An automated tool for semantic accessing to formal software models. / Wang, Hai H.; Damljanovic, Danica; Sun, Jing.

In: Science of Computer Programming, Vol. 95, No. Part 1, 01.12.2014, p. 93–111.

Research output: Contribution to journalArticle

TY - JOUR

T1 - An automated tool for semantic accessing to formal software models

AU - Wang, Hai H.

AU - Damljanovic, Danica

AU - Sun, Jing

PY - 2014/12/1

Y1 - 2014/12/1

N2 - Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts.

AB - Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts.

KW - formal method

KW - ontology

KW - semantic web

KW - software engineering

UR - http://www.scopus.com/inward/record.url?scp=84896552117&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2014.02.027

DO - 10.1016/j.scico.2014.02.027

M3 - Article

VL - 95

SP - 93

EP - 111

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - Part 1

ER -