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

CEPDL:a Concise Software Evolution Process Description Language

作　　者：刘金卓[1,2] 白天罡 于倩[1,2] 王炜[1,2] 代飞[1,2] 

机构地区：[1]云南大学软件学院,昆明650091 [2]云南大学云南省软件工程重点实验室,昆明650091

出　　处：《内蒙古大学学报（自然科学版）》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)

摘　　要：随着软件演化过程模型被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.

关 键 词：软件演化过程 形式化验证 软件演化过程建模语言 模型检测 

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