摘要: 针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。
关键词:
交互,
业务协议,
协议组合,
协议代数,
协议相似性
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 business protocol composition algebra is introduced and a set of composition operators are constructed. These operators include sequence, parallel, choice and iteration. Some properties of the algebra are proved. It also analyzes the similarities of protocols which lay a foundation for replacement of protocols.
Key words:
interaction,
business protocol,
protocol composition,
protocol algebra,
protocol similarity
中图分类号:
张抗抗, 徐如志, 杨峰, 崔涛. 一种支持流程整合的业务协议组合代数[J]. 计算机工程, 2011, 37(20): 42-45.
ZHANG Gang-Gang, XU Ru-Zhi, YANG Feng, CUI Chao. Composition Algebra of Business Protocol for Process Integration[J]. Computer Engineering, 2011, 37(20): 42-45.