|
| 摘要: |
| 使用LOTOS描述实时系统需求规约，通过建立LOTOS规约到UML-RT模型的模型转换，提出一种基于形式化规约生成软件体系结构模型的方法。最后，通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的UML-RT模型，能够从整体上提高实时系统软件体系结构设计的可信性。 |
| 关键词: 形式化规约 软件体系结构 LOTOS UML-RT 实时系统 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No.60873025 (国家自然科学基金); the Jiangsu Provincial Natural Science Foundation of China under Grant No.BK2008389 (江苏省自然科学基金); the Natural Science Foundation for Colleges and Universities in Jiangsu Province of China under Grant No.08KJB520010 (江苏省高校自然科学基金) |
|
| Method for Generating Software Architecture Models from Formal Specifications |
|
ZHU Yi, HUANG Zhi-Qiu, CAO Zi-Ning, ZHOU Hang, LIU Ya-Ping
|
| Abstract: |
| 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. |
| Key words: formal specification software architecture LOTOS UML-RT real-time system |
