An MDE Based Approach for Generating Software Architecture Models from Formal Specifications

Author

Zhu, Yi ; Huang, Zhiqiu ; Cao, Zining ; Zhou, Hang ; Yuan, Min

Author_Institution

Coll. of Inf. Sci. & Technol., Nanjing Univ. of Aeronaut. & Astronaut., Nanjing, China

fYear

2010

fDate

14-15 July 2010

Firstpage

373

Lastpage

376

Abstract

The transformation approaches from requirements specification to software architecture models and requirements traceability are two hot topics, UML-RT is widely used in modeling the software architectures of real-time systems, but UML-RT models are often inaccurate or ambiguous, because they are created from natural language specifications. In order to obtain more accurate UML-RT models, UML-RT models need to be given formal semantics. In this paper we use LOTOS to describe the requirements specification of real-time systems and propose an approach for generating software architecture models from formal specifications by establishing a mechanism for transforming LOTOS specifications into UML-RT models, the UML-RT models generated by this approach can increase the reliability for designing the software architectures of real-time systems.

Keywords

Unified Modeling Language; formal specification; real-time systems; software architecture; LOTOS; MDE based approach; UML-RT model; formal semantics; formal specifications; model driven engineering; natural language specifications; requirements specification; requirements traceability; software architecture model generation; temporal ordering specifications language; unified modelling language for realtime; Analytical models; Computational modeling; Formal specifications; Natural languages; Robots; Software architecture; Unified modeling language; LOTOS; UML-RT; formal specification; real-time system; software architecture;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software (QSIC), 2010 10th International Conference on

Conference_Location

Zhangjiajie

ISSN

1550-6002

Print_ISBN

978-1-4244-8078-4

Electronic_ISBN

1550-6002

Type

conf

DOI

10.1109/QSIC.2010.13

Filename

5562989