作者：代飞 李彤 谢件文 于倩 卢萍 郁涌 赵娜软件演化过程过程验证代数语义petri网ofcommunicating
摘要：随着大量的软件演化过程模型被软件演化过程元模型建模产生，如何验证过程模型的正确性，是摆在人们面前的一个重要任务．针对软件演化过程元模型，引入进程代数ACP（algebraofcommunicatingprocesses）对其扩展，提出软件演化过程元模型代数，使用进程项指定软件演化过程模型的代数语义，在进程代数的统一框架下，基于等式推理验证软件演化过程模型的行为，使行为验证方式从模型推导变为代数推导．这种方法充分结合了Petri网和ACP的长处．可以有效地支持软件演化过程的形式验证．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
