期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

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

Method for Generating Software Architecture Models from Formal Specifications
下载PDF
导出
摘要 使用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.
作者 祝义 黄志球 曹子宁 周航 刘亚萍
机构地区 南京航空航天大学信息科学与技术学院 徐州师范大学计算机科学与技术学院
出处 《软件学报》 EI CSCD 北大核心 2010年第11期2738-2751,共14页 Journal of Software
基金 国家自然科学基金No.60873025 江苏省自然科学基金No.BK2008389 江苏省高校自然科学基金No.08KJB520010~~
关键词 形式化规约 软件体系结构 LOTOS UML-RT 实时系统 formal specification； software architecture； LOTOS； UML-RT； real-time system；
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献1

二级参考文献15

  • 1Booch G, Rumbangh J, Jacobson I. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
  • 2Peled DA. Software Reliability Methods. Springer-Verlag, 2001.
  • 3Alur R, Yannakakis M. Model checking of message sequence charts. In: Baeten JCM, Mauw S, eds. Proc. of the 10th Int'l Conf. on Concurrency Theory. LNCS 1664, Berlin: Springer-Verlag, 1999. 114-129.
  • 4Larsen KG, Pettersson P, Yi W. UPPAL in a nutshell. Int'l Journal of Software Tools for Technology Transfer, 1997,1(1-2):134-152.
  • 5Seemann J, Gudenberg JW. Extension of UML sequence diagrams for real-time systems. In: B6zivin J, Muller P-A, eds. Proe. of the Int'l UML Workshop. LNCS 1618, Berlin: Springer-Verlag, 1998. 240-252.
  • 6Firley T, Huhn M, Diethers K, Oehrke T, Ooltz V. Timed sequence diagrams and tool-based analysis-A case study. In: France R,Rumpe B, eds. Proc. of the 2nd Int'l Conf. on UML (UML'99). LNCS 1723, Berlin: Springer-Verlag, 1999. 645-660.
  • 7David A, Moller MO, Yi W. Formal verification of UML statecharts with real-time extensions. In: Kutsche R-D, Weber F, eds.FASF2002. LNCS 2306, Berlin: Springer-Verlag, 2002. 218-232.
  • 8de Alfaro L, Henzinger TA. Interface automata. In: Proe. of the Joint 8th European Software Engineering Conf. and 9th ACM SIGSOFT Int'l Symp. on the Foundations of Software Engineering (ESEC/FSE 2001). Austria: ACM Press, 2001, 109-120.
  • 9.[EB/OL].http://ptolemy.eecs.berkeley.edu/ptolemyⅡ/index.htm.,2005.
  • 10Lee EA, Xiong YH. System-Level types for component-based design. In: Henzinger TA, Kirsch CM, eds. Proc, of the EMSOFT 2001. LNCS 2211, Berlin: Springer-Verlag, 2001. 237-253.

共引文献12

同被引文献93

引证文献7

二级引证文献81

软件学报
2010年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部