%0 Journal Article
%T 基于服务协调模型的业务事务验证方法
%A 袁敏
%A 黄志球
%A 李祥
%A 闫艳　
%J 计算机集成制造系统
%P 0-0
%D 2012
%X 为有效地保证Web服务业务活动中事务可靠地执行，提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法；定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系，提出了Pi-演算进程模型到符号模型检测工具输入语言的转换方法；在模型检测结果的基础上，用反例引导用户进一步精化模型，以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。
%K 业务流程集成
%K 长事务
%K 服务协调
%K Pi-演算
%K 形式化验证
%K Web服务
%U http://www.cims-journal.cn/CN/abstract/abstract3346.shtml