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

作者：包书勇; 王忠群

来源：计算机工程, 2011, (17): 29-31.

• 网构软件
• 动态演化
• 业务一致性
• 接口自动机
• 体系结构描述语言 internetware
• dynamic evolution
• business consistency
• interface automata
• Architecture Description Language(ADL)

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

• 出版日期2011
• 单位安徽工程大学