%0 Journal Article
%T Method for Generating Software Architecture Models from Formal Specifications<br>一种基于形式化规约生成软件体系结构模型的方法
%A ZHU Yi
%A HUANG Zhi-Qiu
%A CAO Zi-Ning
%A ZHOU Hang
%A LIU Ya-Ping
%A <br>祝义
%A 黄志球
%A 曹子宁
%A 周航
%A 刘亚萍
%J 软件学报
%D 2010
%I 
%X 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.
%K formal specification
%K software architecture
%K LOTOS
%K UML-RT
%K real-time system<br>形式化规约
%K 软件体系结构
%K LOTOS
%K UML-RT
%K 实时系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E34A9B459DA70C92E00BEAB1A5F6C8A8&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=C23E2C6FDD0F2AFE&eid=43D114DF111A2096&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=29