作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2011, Vol. 37 ›› Issue (17): 29-31. doi: 10.3969/j.issn.1000-3428.2011.17.008

• 软件技术与数据库 • 上一篇    下一篇

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

包书勇,王忠群   

  1. (安徽工程大学计算机与信息学院,安徽 芜湖 241000)
  • 收稿日期:2011-03-25 出版日期:2011-09-05 发布日期:2011-09-05
  • 作者简介:包书勇(1985-),男,硕士研究生,主研方向:软件体系结构,分布式计算;王忠群,教授
  • 基金资助:
    安徽省自然科学基金资助项目(070412058)

Business Consistency Verification Approach of Internetware Evolution

BAO Shu-yong, WANG Zhong-qun   

  1. (School of Computer and Information, Anhui Polytechnic University, Wuhu 241000, China)
  • Received:2011-03-25 Online:2011-09-05 Published:2011-09-05

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

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

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)

中图分类号: