A Coordination Model for Service-Oriented Interactions

  • João Abreu
  • José Luiz Fiadeiro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5052)


We present a formal model for the coordination of interactions in service-oriented systems. This model provides a declarative semantics for the language SRML that is being developed under the FET-GC2 project SENSORIA for modelling and reasoning about complex services at the abstract business level. In SRML, interactions are conversational in the sense that they involve a number of correlated events that capture phenomena that are typical of SOC like committing to a pledge or revoking the effects of a deal. Events are exchanged across wires that connect the parties involved in the provision of the service.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 358–373. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Alonso, G., Casati, F., Kuno, H.A., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Data-Centric Systems and Applications. Springer, Heidelberg (2004)MATHGoogle Scholar
  3. 3.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)MATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Beek, M., Fantechi, A., Gnesi, S., Mazzanti, F.: An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications. In: Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), Berlin, Germany. LNCS, Springer, Heidelberg (2007)Google Scholar
  5. 5.
    Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing 8(1), 46–54 (2004)CrossRefGoogle Scholar
  6. 6.
    Bocchi, L., Fiadeiro, J.L., Lopes, A.: The SENSORIA Reference Modelling Language: Primitives for configuration management (2006), www.sensoria-ist.eu
  7. 7.
    Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.: From BPEL to SRML: A Formal Transformational Approach. In: Procedings of the 4th International Workshop on Web Services and Formal Methods (WSFM 2007). LNCS, Springer, Heidelberg (2007)Google Scholar
  8. 8.
    Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. SIGPLAN Not. 40(1), 209–220 (2005)CrossRefGoogle Scholar
  9. 9.
    Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: Proceedings of Fundamental Approaches to Software Engineering (FASE 2008). LNCS, Springer, Heidelberg (2007)Google Scholar
  10. 10.
    Fiadeiro, J.L., Lopes, A., Bocchi, L.: A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  11. 11.
    Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic Semantics of Service Component Modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 37–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Gnesi, S., Mazzanti, F.: A model checking verification environment for UML statecharts. In: Proceedings of XLIII Congresso Annuale AICA (2005)Google Scholar
  13. 13.
    Henzinger, T.A.: It’s About Time: Real-Time Logics Reviewed. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 439–454. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  14. 14.
    Lazovik, A., Arbab, F.: Using Reo for Service Coordination. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 398–403. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  15. 15.
    Misra, J., Cook, W.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006)Google Scholar
  16. 16.
    van der Aalst, W., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: WS-FM, pp. 1–23 (2006)Google Scholar
  17. 17.
    Wirsing, M., Carizzoni, G., Gilmore, S., Gonczy, L., Koch, N., Mayer, P., Palasciano, C.: SENSORIA: A systematic approach to developing service-oriented systems — white paper (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • João Abreu
    • 1
  • José Luiz Fiadeiro
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK

Personalised recommendations