摘要： 针对基于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.