Design software architecture models using ontology

Jing Sun*, Hai H. Wang, Tianming Hu

*Corresponding author for this work

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

Abstract

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Original languageEnglish
Title of host publicationSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering
Pages191-196
Number of pages6
Publication statusPublished - Dec 2011
Event23rd International Conference on Software Engineering and Knowledge Engineering - Miami, FL, United States
Duration: 7 Jul 20119 Jul 2011

Publication series

NameInternational Conference on Software Engineering and Knowledge Engineering. Proceedings
PublisherKSI Graduate School
ISSN (Print)2325-9000
ISSN (Electronic)2325-9086

Conference

Conference23rd International Conference on Software Engineering and Knowledge Engineering
Abbreviated titleSEKE 2011
CountryUnited States
CityMiami, FL
Period7/07/119/07/11

Fingerprint Dive into the research topics of 'Design software architecture models using ontology'. Together they form a unique fingerprint.

  • Semantic enabled sensor network design

    Sun, J., Wang, H. H. & Gu, H., Dec 2011, SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering. p. 179-184 6 p. (International Conference on Software Engineering and Knowledge Engineering. Proceedings).

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

Cite this