作者:袁敏 黄志球 李祥 闫艳业务流程集成长事务服务协调形式化验证web服务
摘要:为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出了PI-演算进程模型到符号模型检测工具输入语言的转换方法;在模型检测结果的基础上,用反例引导用户进一步精化模型,以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社