一种支持流程整合的业务协议组合代数  

Composition Algebra of Business Protocol for Process Integration

作　　者：张抗抗[1] 徐如志[1] 杨峰[1] 崔涛[1] 

机构地区：[1]山东财政学院计算机信息工程学院

出　　处：《计算机工程》2011年第20期42-45,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60603070);山东省自然科学基金资助项目(Y2006G29;Y2007G24);山东财政学院博士科研启动基金资助项目

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

关 键 词：交互 业务协议 协议组合 协议代数 协议相似性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]