基于逻辑的软件演化操作语言及结构化操作语义

摘要：

由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.

关键词：软件演化、软件演化操作语言、结构化操作语义、语义等价

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金50275150;高等学校博士学科点专项科研项目20030533011

在线出版日期：2007-07-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1031-1036