Sciweavers

Share
SAC
2009
ACM

Applying Reo to service coordination in long-running business transactions

10 years 14 days ago
Applying Reo to service coordination in long-running business transactions
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may require long periods of time to complete and must be managed using non-blocking techniques. Compensations are activities executed to preserve data integrity and eliminate the effects of a process terminated by a user or that failed to complete due to another reason. This paper presents an approach to formal modeling of long-running business transactions. Our solution is based on the channel-based exogenous coordination language Reo, which is an expressive, compositional and semantically precise design language that admits formal reasoning. We illustrate how Reo can be used for termination and compensation handling in a number of commonly-used workflow patterns, including sequential and parallel compositions, discriminator choice and concurrent flows with link dependencies.
Natallia Kokash, Farhad Arbab
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where SAC
Authors Natallia Kokash, Farhad Arbab
Comments (0)
books