cwi.nl

Reforming mashups

Authors: 
Maraikar, Z; Lazovik, A
Year: 
2008

Ensuring transactional behavior of business processes and
web service compositions is an essential issue in the area of service-
oriented computing. Transactions in this context may require long peri-
ods of time to complete and must be managed using non-blocking tech-
niques. Compensations are activities executed to preserve data integrity
and eliminate the e®ects 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

Syndicate content