网构软件演化的业务一致性验证方法

摘要：

为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法.基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程.通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性.

关键词：网构软件、动态演化、业务一致性、接口自动机、体系结构描述语言

所属期刊栏目：37

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

资助基金：安徽省自然科学基金资助项目070412058

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

页数：共3页

页码：29-31