计算机工程2011，Vol.37Issue(17)：29-31,3.
网构软件演化的业务一致性验证方法
Business Consistency Verification Approach ofInternetware Evolution
摘要
Abstract
Addressing the trustworthiness of internetware, this paper proposes an approach to verify business consistency of internetware evolution. The approach gives the semantic interpretation of system described by XYZ/ADL and defines the transformation rules from XYZ/ADL to interface automata, and presents three rules for verifying system business consistency. An example is incorporated to instantiate the application of these rules. Spin model-checker is used to prove that the approach can be used to verify the business consistency of internetware evolution.关键词
网构软件/动态演化/业务一致性/接口自动机/体系结构描述语言Key words
internetware/ dynamic evolution/ business consistency/ interface automata/ Architecture Description Language(ADL)分类
信息技术与安全科学引用本文复制引用
包书勇,王忠群..网构软件演化的业务一致性验证方法[J].计算机工程,2011,37(17):29-31,3.基金项目
安徽省自然科学基金资助项目(070412058) （070412058）
