高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
Web服务编排的并发事务逻辑模型
作者：
收录：
摘要：
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2009，电子学报
2017，计算机应用与软件
2009，全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议
2006，通讯和计算机
来源 ：
北京工业大学学报
ISSN： 0254-0037
年份： 2009
期： 8
卷： 35
页码： 1132-1137
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 3
中文被引频次：
近30日浏览量： 1
归属院系：
信息学部
全文获取
外部链接：
