Enhanced semantic access to formal software models

Hai Wang, Danica Damljanovic, Jing Sun

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.
Original languageEnglish
Title of host publicationFormal methods and software engineering
Subtitle of host publication12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
EditorsJin S. Dong, Huibiao Zhu
PublisherSpringer
Pages237-252
Number of pages16
Volume6447 LNCS
ISBN (Electronic)978-3-642-16900-7
ISBN (Print)3-642-16900-7
DOIs
Publication statusPublished - 29 Oct 2010

Publication series

NameLecture notes in computer science
PublisherSpringer
Volume6447
ISSN (Print)0302-9743

Fingerprint

Semantics
Semantic Web
Metadata
Software
Software engineering
Software Development
Software design
Software Design
Tool Support
Formal Model
Model
Engineers
Sharing
Methodology

Keywords

  • semantic web
  • OWL
  • formal methods
  • Z/Object-Z

Cite this

Wang, H., Damljanovic, D., & Sun, J. (2010). Enhanced semantic access to formal software models. In J. S. Dong, & H. Zhu (Eds.), Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (Vol. 6447 LNCS, pp. 237-252). (Lecture notes in computer science; Vol. 6447). Springer. https://doi.org/10.1007/978-3-642-16901-4_17
Wang, Hai ; Damljanovic, Danica ; Sun, Jing. / Enhanced semantic access to formal software models. Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. editor / Jin S. Dong ; Huibiao Zhu. Vol. 6447 LNCS Springer, 2010. pp. 237-252 (Lecture notes in computer science).
@inproceedings{6b5a34d250b4469fbad8d153c50f29ed,
title = "Enhanced semantic access to formal software models",
abstract = "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. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.",
keywords = "semantic web, OWL, formal methods, Z/Object-Z",
author = "Hai Wang and Danica Damljanovic and Jing Sun",
year = "2010",
month = "10",
day = "29",
doi = "10.1007/978-3-642-16901-4_17",
language = "English",
isbn = "3-642-16900-7",
volume = "6447 LNCS",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "237--252",
editor = "Dong, {Jin S.} and Huibiao Zhu",
booktitle = "Formal methods and software engineering",
address = "Germany",

}

Wang, H, Damljanovic, D & Sun, J 2010, Enhanced semantic access to formal software models. in JS Dong & H Zhu (eds), Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. vol. 6447 LNCS, Lecture notes in computer science, vol. 6447, Springer, pp. 237-252. https://doi.org/10.1007/978-3-642-16901-4_17

Enhanced semantic access to formal software models. / Wang, Hai; Damljanovic, Danica ; Sun, Jing.

Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. ed. / Jin S. Dong; Huibiao Zhu. Vol. 6447 LNCS Springer, 2010. p. 237-252 (Lecture notes in computer science; Vol. 6447).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Enhanced semantic access to formal software models

AU - Wang, Hai

AU - Damljanovic, Danica

AU - Sun, Jing

PY - 2010/10/29

Y1 - 2010/10/29

N2 - 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. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.

AB - 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. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.

KW - semantic web

KW - OWL

KW - formal methods

KW - Z/Object-Z

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

U2 - 10.1007/978-3-642-16901-4_17

DO - 10.1007/978-3-642-16901-4_17

M3 - Conference contribution

SN - 3-642-16900-7

VL - 6447 LNCS

T3 - Lecture notes in computer science

SP - 237

EP - 252

BT - Formal methods and software engineering

A2 - Dong, Jin S.

A2 - Zhu, Huibiao

PB - Springer

ER -

Wang H, Damljanovic D, Sun J. Enhanced semantic access to formal software models. In Dong JS, Zhu H, editors, Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. Vol. 6447 LNCS. Springer. 2010. p. 237-252. (Lecture notes in computer science). https://doi.org/10.1007/978-3-642-16901-4_17