DocumentCode :
2383718
Title :
Research of cross-organizational services composition consistency using CSP trace semantic
Author :
Wang, Xiaolan ; Su, Zhentao
Author_Institution :
Sch. of Mech., Electr. & Inf. Eng., Shandong Univ. at Weihai, Weihai, China
fYear :
2010
fDate :
1-3 Dec. 2010
Firstpage :
365
Lastpage :
369
Abstract :
CSP is a process algebra defined by Hoare. A long-running transaction is an interaction of components from different systems which must be executed as a single atomic action. Ensuring consistency is important for long-running transaction. Because long-running transaction often needs cross-organizational services composition and could not use ACID semantic, so CSP is used to ensure the consistency of the long-running transaction. We use CSP process algebra to build a long-running transaction model. By listing all feasible process executions, then use an algorithm to make the verify problem prepositional validity. The case study shows that the application is effective.
Keywords :
process algebra; service-oriented architecture; ACID semantic; CSP trace semantic; cross organizational services composition consistency; process algebra; CSP semantics; consistency; cross-organizational services composition; long-running transaction;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Pervasive Computing and Applications (ICPCA), 2010 5th International Conference on
Conference_Location :
Maribor
Print_ISBN :
978-1-4244-9144-5
Type :
conf
DOI :
10.1109/ICPCA.2010.5704128
Filename :
5704128
Link To Document :
بازگشت