摘要
由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
With continuous change of the current usage environment and new techniques,there is an increasing complex in control software evolution. In order to improve the support degree for software evolution in visualization and formalization ,a software evolution operational language SEOL is proposed to describe the software evolution operations through integrating predicate logic and software evolution. The syntax and structural operational semantics of SEOL are studied in this paper,and a method to analyze the semantic equivalence is also illustrated. The application of SEOL is described through the two instances: program evolution and model evolution. Compared with other software evolution operation descriptions,SEOL is more effective in easy using,reusability, formal analysis,which paves the way for software evolution management,analysis and implementation.
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第6期1031-1036,共6页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目(50275150)资助
教育部博士点基金项目(20030533011)资助.
关键词
软件演化
软件演化操作语言
结构化操作语义
语义等价
software evolution
software evolution operational language
structural operational semantics
semantic equivalency