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

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.