中文摘要：

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。

英文摘要：

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.