The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming

Abstract : We give a formal account of SSCC, a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocols that services follow when invoked (conversation). The calculus includes primitives for defining and invoking services, for isolating conversations (called sessions) among clients and servers, and for orchestrating services. The calculus is equipped with a reduction and a labeled transition semantics related by an equivalence result. SSCC provides a good trade-off between expressive power for modeling and simplicity for analysis. We assess the expressive power by modeling van der Aalst workflow patterns and an automotive case study from the European project Sensoria. For analysis, we present a simple type system ensuring compatibility of client and service protocols. We also study the behavioral theory of the calculus, highlighting some axioms that capture the behavior of the different primitives. As a final application of the theory, we define and prove correct some program transformations. These allow to start modeling a system from a typical UML Sequence Diagram, and then transform the specification to match the service-oriented programming style, thus simplifying its implementation using web services technology.
Type de document :
Article dans une revue
Formal Aspects of Computing, Springer Verlag, 2013, 60 p
Liste complète des métadonnées

https://hal.inria.fr/hal-00909308
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:46:02
Dernière modification le : samedi 27 janvier 2018 - 01:32:19

Identifiants

  • HAL Id : hal-00909308, version 1

Collections

Citation

Luís Cruz Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Vasconcelos. The Stream-based Service-Centered Calculus: a Foundation for Service-Oriented Programming. Formal Aspects of Computing, Springer Verlag, 2013, 60 p. 〈hal-00909308〉

Partager

Métriques

Consultations de la notice

146