基于场景自动机的网构软件演化

摘要：

网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化.引入了软件需求工程中场景的概念,但不同的是不把场景作为一种静态的记录来使用,而是把场景作为一种动态记录来描述软件的动态演化特征.给出了场景的形式化定义及其互补、等价、子集等关系描述,提出了基于场景自动机的网构软件演化方法.软件的性质和行为可以由一系列应用场景来展现,系统的演化通过场景自动机来体现,这为系统自适应演化提供了一种新的解决方法,并支持系统更大粒度的复用.

关键词：网构软件、场景自动机、演化

所属期刊栏目：41

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金61073020;国家863高技术研究发展计划项目2009AA01Z139;国家留学基金委资助

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

页数：共5页

页码：94-98