| 一种基于形式化规约生成软件体系结构模型的方法 |
| |
| 引用本文： | 祝义,黄志球,曹子宁,周航,刘亚萍. 一种基于形式化规约生成软件体系结构模型的方法[J]. 软件学报, 2010, 21(11): 2738-2751. DOI: 10.3724/SP.J.1001.2010.03701 |
| |
| 作者姓名： | 祝义 黄志球 曹子宁 周航 刘亚萍 |
| |
| 基金项目： | 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 (江苏省高校自然科学基金) |
| |
| 摘 要： | 使用LOTOS描述实时系统需求规约，通过建立LOTOS规约到UML-RT模型的模型转换，提出一种基于形式化规约生成软件体系结构模型的方法。最后，通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的UML-RT模型，能够从整体上提高实时系统软件体系结构设计的可信性。
|
| 关 键 词： | 形式化规约 软件体系结构 LOTOS UML-RT 实时系统 |
| 收稿时间： | 2008-12-20 |
| 修稿时间： | 2009-07-23 |
Method for Generating Software Architecture Models from Formal Specifications |
| |
| ZHU Yi,HUANG Zhi-Qiu,CAO Zi-Ning,ZHOU Hang and LIU Ya-Ping. Method for Generating Software Architecture Models from Formal Specifications[J]. Journal of Software, 2010, 21(11): 2738-2751. DOI: 10.3724/SP.J.1001.2010.03701 |
| |
| Authors: | 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. |
| |
| Keywords: | formal specification software architecture LOTOS UML-RT real-time system |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
