首页 | 官方网站   微博 | 高级检索  
     

网构软件演化的业务一致性验证方法
引用本文:包书勇,王忠群.网构软件演化的业务一致性验证方法[J].计算机工程,2011,37(17):29-31.
作者姓名:包书勇  王忠群
作者单位:安徽工程大学计算机与信息学院,安徽芜湖,241000
基金项目:安徽省自然科学基金资助项目(070412058)
摘    要:为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法.基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程.通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性.

关 键 词:网构软件  动态演化  业务一致性  接口自动机  体系结构描述语言
收稿时间:2011-03-25

Business Consistency Verification Approach of Internetware Evolution
BAO Shu-yong,WANG Zhong-qun.Business Consistency Verification Approach of Internetware Evolution[J].Computer Engineering,2011,37(17):29-31.
Authors:BAO Shu-yong  WANG Zhong-qun
Affiliation:BAO Shu-yong,WANG Zhong-qun(School of Computer and Information,Anhui Polytechnic University,Wuhu 241000,China)
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 busine...
Keywords:
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机工程》浏览原始摘要信息
点击此处可从《计算机工程》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号