The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login
|
Sign Up
|
Oriprobe Inc.
|
Feed
Home
Journals
Order
TOC Alerts
Subscription
Products & Services
Pricing
FAQ
About
Journal Articles
Laws/Policies/Regulations
Companies/Products
Title, abstract, keywords:
Combined Search
Advanced Search
Pay per View through On Demand Search
Package:
ALL
Astro-Earth Science
Agriculture
Physics
Mathematics
Arts & Humanities
Medline Collection
Health/Medicine/Biology
Chemistry/Chemical Engineering
CAOD
English Journals
Traditional Chinese Medicine
NPC CPPCC Journals
China Defense and Military Sciences
Author:
Journal / Book Title:
Year:
Volume:
Issue:
Web Service Choreography Model Based on Concurrent Transaction Logic
Author(s):
WANG Yong1
,
JIANG Zheng-tao2
,
HOU Ya-rong1
,
FANG Juan2
,
MAO Guo-jun2
Pages:
1132
-
1137
Year:
2009
Issue:
8
Journal:
Journal of Beijing University of Technology
Keyword:
Web服务
;
并发事务逻辑
;
服务编排
;
Abstract:
为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
Citations
No citation found
Related Articles
loading...