Applying Reo to service coordination in long-running business transactions

Authors:
Natallia Kokash;Farhad Arbab
Affiliations:
CWI, Amsterdam, The Netherlands;CWI, Amsterdam, The Netherlands
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 2
Cited 4

Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
Compliance aware business process design

BPM'07 Proceedings of the 2007 international conference on Business process management

Comparing three coordination models: Reo, ARC, and PBRD

Science of Computer Programming
Coordination operators and their composition under the actor-role-coordinator (ARC) model

ACM SIGBED Review
Puff, the magic protocol

Formal modeling
Symbolic execution of Reo circuits using constraint automata

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.