一种软件演化过程模型的代数语义

代飞; 李彤; 谢仲文; 于倩; 卢萍; 郁涌; 赵娜

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

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 6245次下载 8966次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
一种软件演化过程模型的代数语义
代飞^1,2, 李彤^1,2, 谢仲文¹, 于倩^1,2, 卢萍¹, 郁涌^1,2, 赵娜^1,2
1.云南大学软件学院, 云南昆明 650091;2.云南省软件工程重点实验室(云南大学), 云南昆明 650091

摘要:

随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri 网和ACP 的长处,可以有效地支持软件演化过程的形式验证.

关键词: 软件演化过程过程验证代数语义 Petri网 ACP(algebra of communicating processes)

DOI：

分类号:

基金项目:国家自然科学基金(60963007); 云南省软件工程重点实验室开放基金(2010KS01, 2011SE04)

Towards an Algebraic Semantics of Software Evolution Process Models

DAI Fei,LI Tong,XIE Zhongwen,YU Qian,LU Ping,YU Yong,ZHAO Na

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.

Key words: software evolution process process verification algebraic semantics Petri net ACP (algebra of communicating processes)