Method for Generating Software Architecture Models from Formal Specifications
一种基于形式化规约生成软件体系结构模型的方法

This paper uses LOTOS to describe the requirement specification of real-time systems and proposes a method for generating software model from formal specifications by establishing a mechanism that translates LOTOS specifications into UML-RT models. Finally, this paper illustrates how to use the method when modeling real-time software. The UML-RT models generated by this method can increase the reliability for designing the software for real-time systems.