Web服务编排的并发事务逻辑模型 (2009年)

【文件属性】：

文件名称：Web服务编排的并发事务逻辑模型 (2009年)

文件大小：279KB

文件格式：PDF

更新时间：2024-06-03 03:50:57

工程技术 论文

为使得组织之间的服务编排建立在严格的形式化基础之上。基于并发事物逻辑建立了服务编排的模型，给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则。服务编排的并发事务逻辑模型建立在严格的形式化基础上，便于进行服务编排相关性质的验证。最后通过一个实际的服务编排在并发事务逻辑中建模的例子，说明了模型建立的可行性。