ABSTRACT
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.
- F. Arbab. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3): 329--366, 2004. Google ScholarDigital Library
- F. Arbab, N. Kokash, and M. Sun. Towards using Reo for compliance-aware business process modelling. In Proc. of the Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of LNCS. Springer, 2008. Google ScholarDigital Library
Recommendations
Using Reo for Service Coordination
ICSOC '07: Proceedings of the 5th international conference on Service-Oriented ComputingIn this paper we address coordination of services in complex business processes. As the main coordination mechanism we rely on a channel-based exogenous coordination language, called Reo, and investigate its application to service-oriented ...
Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools
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 periods of time to complete and must be managed using ...
A Model for Web Service Coordination in Long-Running Transactions
SOSE '10: Proceedings of the 2010 Fifth IEEE International Symposium on Service Oriented System EngineeringWith the growth of interest on service oriented applications (SOAs), a key aspect of aggregating business processes and web services is the transactional support for SOAs. The classical notion of transaction denotes a unit of work that is atomic, ...
Comments