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

CEPDL:一个简约的软件演化过程建模语言

CEPDL:a Concise Software Evolution Process Description Language
下载PDF
导出
摘要 随着软件演化过程模型被EPMM建模产生,软件演化过程模型的形式验证问题尤其是自动化验证问题却尚未得到解决.为了实现软件演化过程模型的自动化验证,提出了一种简约的软件演化过程建模语言(CEPDL,Concise Software Evolution Process Description Language),定义了CEPDL的语法,并给出了案例研究.CEPDL可以作为模型验证工具的输入语言,能够描述软件演化过程模型,同时描述基于线性时序逻辑的过程模型规约,为最终应用模型检测方法实现对软件演化过程模型的动态性质及行为的验证提供基础. As numerous software evolution process models modelling by EPMM,the verification of software evolution process model,especially in the form of automation verification,has not yet been solved. In order to implement the automation verification, CEPDL, a Concise Software Evolu- tion Process Description Language is proposed. The syntax of CEPDL is defined and also a case study is presented. CEPDL can be used as the input language of model checker to describe both soft- ware evolution process model and LTL specification. Therefore, CEPDL is the foundation of the software evolution process model automation verification.
作者 刘金卓 白天罡 于倩 王炜 代飞
机构地区 云南大学软件学院 云南大学云南省软件工程重点实验室
出处 《内蒙古大学学报（自然科学版）》 CAS 北大核心 2016年第1期102-107,共6页 Journal of Inner Mongolia University：Natural Science Edition
基金 国家自然科学基金(61262024 61262025 61462091 61462095 61462092 61379032) 云南省自然科学基金(2014FD006 2012FB119 2013FB008) 云南省教育厅科学研究基金(2013Z057 2014Y012 2011Y121) 云南省软件工程重点实验室开放基金(2012SE401 2012SE308)
关键词 软件演化过程 形式化验证 软件演化过程建模语言 模型检测 software evolution process formal verification software evolution process descrip-tion language model checking
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献17

  • 1Arbaoui S, Derniame J C, Oquendo F, Verjus H. A Comparative Review of Process-centered Software Engineering Environments[J]. Annals of Software Engineering, 2002,14( 1 ) : 311 -340.
  • 2Blanc X. A Comparison of Six UML-Based Languages for Software Process Modeling[J]. IEEE Transactions on S@ware Engineering, 2010,36(5) : 662-675.
  • 3李明树,杨秋松,翟健.软件过程建模方法研究[J].软件学报,2009,20(3):524-545. 被引量：25
  • 4T Li. An Approach to Modelling Software Evolution Processes [M]. Berlin: Springer-Verlag, 2008.
  • 5McMillan K L. Symbolic model checking: an approach to the state explosion problem[R]. Carnegie-Mellon Uni- versity, Department of Computer Science, Report CMU-CS-92-131,1992.
  • 6Holzmann G J. Design and Validation of Computer Protocols[M]. New Jersey: Prentice Hall, 1991.
  • 7Holzmann G J. The model checker SPIN[J]. IEEE Transactions on Software Engineering, 1997,23(5):279-295.
  • 8Hoare C A R. Corn m unicating Sequential Processes. International Series on Computer Science [M]. Prentice Ha11,1985.
  • 9Woodcock J, Davies J. Using Z & Specification ,Refinement ,and Proof[M]. Prentice-Hall International, 1996.
  • 10Duke R, Rose G, Smith G. Object-Z:a specification language advocated for the description of standards[J]. Com- puter Standards and Interfaces, 1995,17 (5-6) : 511-533.

二级参考文献112

  • 1Becker-Komstaedt U, Belau W. Descriptive process modeling in an industrial environment experience and guidelines. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 176-189.
  • 2Becker-Komstaedt U, Neu H, Hirche G. Software process technology transfer: Using a formal process notation to capture a software process in industry. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001.63-76.
  • 3Becker S, Jager D, Schleicher A, Westfechtel B. A delegation based model for distributed software process management. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001. 130-144.
  • 4Balust JMR, Franch X. Building expressive and flexible process models using a UML-Based approach. In: Proc. of the 8th European Workshop on Software Process Technology (EWSPT 2001). Springer-Verlag, 2001. 152-172.
  • 5Podnar I, Mikac B, Caric A. SDL based approach to software process modeling. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 190-202.
  • 6Wang AI. Support for mobile software processes in CAGIS. In: Proc. of the 7th European Workshop on Software Process Technology (EWSPT 2000). Springer-Verlag, 2000. 115-130.
  • 7Bhuta J, Boehm BW, Meyers S. Process elements: Components of software process architectures. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005. 332-346.
  • 8Yang Q, Li M, Wang Q, Yang G, Zhai J, Li J, Hou L, Yang Y. An algebraic approach for managing inconsistencies in sofl'ware processes. In: Proc. of the Int'l Conf. on Software Processes (ICSP 2007). LNCS 4470, Springer-Verlag, 2007. 121-133.
  • 9Ge J, Hu H, Lu P, Hu H, Lii J. Translation of nets within nets in cross-organizational software process modeling. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005. 360-375.
  • 10Li M. Expanding the horizons of software development processes: A 3-D integrated methodology. In: Proc. of the Int'l Software Process Workshop (SPW 2005). LNCS 3840, Springer-Verlag, 2005.54-67.

共引文献24

内蒙古大学学报（自然科学版）
2016年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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