###
DOI:
Journal of Software:2012.23(4):846-863

一种软件演化过程模型的代数语义
代飞,李彤,谢仲文,于倩,卢萍,郁涌,赵娜
(云南大学 软件学院, 云南 昆明 650091; 云南省软件工程重点实验室(云南大学), 云南 昆明 650091)
Towards an Algebraic Semantics of Software Evolution Process Models
DAI Fei,LI Tong,XIE Zhongwen,YU Qian,LU Ping,YU Yong,ZHAO Na
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 4631   Download 4531
    
> 中文摘要: 随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri 网和ACP 的长处,可以有效地支持软件演化过程的形式验证.
Abstract:As a number of software evolution process models increased, as modeled by EPMM (software evolution process meta model), verifying the correctness of these models becomes the important. This paper extends EPMM with ACP (algebra of communicating processes) and proposes EPMM-A (software evolution meta modelalgebra). In order to discuss behavior verification in the unified framework of EPMM-A, a process term is used to define an algebraic semantics of a software evolution process model. Based on equational reasoning of EPMM-A, behavior verification of a software evolution process model emphasizes algebraic reasoning as opposed to modelbased reasoning. This method combines the advantages of both Petri nets and ACP, which can effectively support software evolution process formal verification.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(60963007); 云南省软件工程重点实验室开放基金(2010KS01, 2011SE04) 国家自然科学基金(60963007); 云南省软件工程重点实验室开放基金(2010KS01, 2011SE04)
Foundation items:
Reference text:

代飞,李彤,谢仲文,于倩,卢萍,郁涌,赵娜.一种软件演化过程模型的代数语义.软件学报,2012,23(4):846-863

DAI Fei,LI Tong,XIE Zhongwen,YU Qian,LU Ping,YU Yong,ZHAO Na.Towards an Algebraic Semantics of Software Evolution Process Models.Journal of Software,2012,23(4):846-863