一种支持流程整合的业务协议组合代数-计算机工程.PDFVIP

第37 卷 第20 期 计 算 机 工 程 2011 年10 月 Computer Engineering October 2011 Vol.37 No.20 文献标识码文献标识码：：A 文献标识码文献标识码：： 中图分类号中图分类号：：TP311 文章编号文章编号：：1000——3428(2011)20——0042——04 中图分类号中图分类号：： ·软件技术与数据库·软件技术与数据库·· 文章编号文章编号：： —— —— —— ··软件技术与数据库软件技术与数据库·· 一种支持流程整合的业务协议组合代数一种支持流程整合的业务协议组合代数 一种支持流程整合的业务协议组合代数一种支持流程整合的业务协议组合代数 张抗抗张抗抗，徐如志，徐如志，杨，杨 峰，峰，崔崔 涛涛 张抗抗张抗抗，，徐如志徐如志，，杨杨 峰峰，，崔崔 涛涛 (山东财政学院计算机信息工程学院，济南 250014) 摘摘 要：要：针对基于Web 的业务流程建模问题，将业务流程的参与者抽象为角色，采用基于角色间交互的协议对业务流程进行建模，构造抽 摘摘 要要：： 象的业务流程模板，提出一个业务协议组合代数，构造一组协议组合算子，即顺序、并发、选择和迭代，并证明该代数的一些相关性质， 分析协议的相似性，从而为替换协议提供理论依据。 关键词关键词：交互： ；业务协议；协议组合；协议代数；协议相似性 关键词关键词：： Composition Algebra of Business Protocol for Process Integration ZHANG Kang-kang, XU Ru-zhi, YANG Feng, CUI Tao (School of Computer and Information Engineering, Shandong University of Finance, Jinan 250014, China) 【【Abstract 】】Aiming at the problem of modeling Web-based business process, this paper models business processes using protocols based on 【【 】】 conversations between roles that is abstracted from participants of business processes. A bus