| 基于逻辑的软件演化操作语言及结构化操作语义 |
| |
| 引用本文： | 任胜兵,喻寿益,陈松乔,余莹.基于逻辑的软件演化操作语言及结构化操作语义[J].小型微型计算机系统,2007,28(6):1031-1036. |
| |
| 作者姓名： | 任胜兵 喻寿益 陈松乔 余莹 |
| |
| 作者单位： | 中南大学,信息科学与工程学院,湖南,长沙,410083 |
| |
| 基金项目： | 国家自然科学基金;高等学校博士学科点专项科研项目 |
| |
| 摘 要： | 由于使用环境和新技术的不断变化,软件演化的控制变得日趋复杂.为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法.结合软件代码演化和软件模型演化实例,说明了SEOL的应用.与已有的软件演化操作描述相比,SEOL在易用性、可重用性和形式化分析方面有明显的改善,为软件演化的管理、分析和实施奠定了基础.
|
| 关 键 词： | 软件演化 软件演化操作语言 结构化操作语义 语义等价 |
| 文章编号： | 1000-1220（2007）06-1031-06 |
| 修稿时间： | 2006-11-22 |
Logic-based Software Evolution Operational Language and Structural Operational Semantics |
| |
| REN Sheng-bing,YU Shou-yi,CHEN Song-qiao,YU Ying.Logic-based Software Evolution Operational Language and Structural Operational Semantics[J].Mini-micro Systems,2007,28(6):1031-1036. |
| |
| Authors: | REN Sheng-bing YU Shou-yi CHEN Song-qiao YU Ying |
| |
| Affiliation: | College of Information Science and Engineering, Central South University, Changsha 410083, China |
| |
| Abstract: | |
| |
| Keywords: | software evolution software evolution operational language structural operational semantics semantic equivalency |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
