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

Logic-based Software Evolution Operational Language and Structural Operational Semantics

由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言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.