A Model of Service Oriented Computation
Luı́s Caires, Hugo Torres Vieira, João Costa Seco · 2007
We propose a motivation from “first principles ” of a small set of abstractions for expressing and analyzing service based systems. In particular, we suggest the aspects of distribution, process delegation, communication and context sensitiveness, and loose coupling as specific to the service-oriented computational model. Distinguishing aspects of our model are the adoption of a very simple, context sensitive, message-passing local communication mechanism, and a novel mechanism for handling exceptional behavior. We instantiate our model by extending of a fragment of the π-calculus, and show that behavioral equivalences, defined by strong bisimilarity and weak bisimilarity, are congruences for all operators. 1