一种基于形式化规约生成软件体系结构模型的方法  

Method for Generating Software Architecture Models from Formal Specifications

作　　者：祝义[1,2] 黄志球[1] 曹子宁[1] 周航[1] 刘亚萍[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]徐州师范大学计算机科学与技术学院,江苏徐州221116

出　　处：《软件学报》2010年第11期2738-2751,共14页Journal of Software

基　　金：国家自然科学基金No.60873025;江苏省自然科学基金No.BK2008389;江苏省高校自然科学基金No.08KJB520010~~

摘　　要：使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性.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.

关 键 词：形式化规约 软件体系结构 LOTOS UML-RT 实时系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]