-
题名Web环境下基于协议组合代数的业务流程整合方法
被引量:1
- 1
-
-
作者
张抗抗
徐如志
杨峰
赵志崑
李庆忠
-
机构
山东财经大学计算机科学与技术学院
山东大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2013年第1期41-45,共5页
-
基金
国家自然科学基金项目(90818001
60603070
+4 种基金
71171122)资助
山东省自然科学基金项目(ZR2011FL012
Y2006G29
Y2007G24)资助
教育部留学归国人员科研启动基金项目资助
-
文摘
采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.
-
关键词
业务协议
协议组合
协议代数
协议相似性
-
Keywords
business protocol
protocol composition
protocol algebra
protocol similarity
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种支持流程整合的业务协议组合代数
被引量:1
- 2
-
-
作者
张抗抗
徐如志
杨峰
崔涛
-
机构
山东财政学院计算机信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期42-45,共4页
-
基金
国家自然科学基金资助项目(60603070)
山东省自然科学基金资助项目(Y2006G29
+1 种基金
Y2007G24)
山东财政学院博士科研启动基金资助项目
-
文摘
针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。
-
关键词
交互
业务协议
协议组合
协议代数
协议相似性
-
Keywords
interaction
business protocol
protocol composition
protocol algebra
protocol similarity
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-