Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns

  • Maurizio Gabbrielli
  • Saverio Giallorenzo
  • Fabrizio Montesi
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 290)


In Service-Oriented Architectures (SOA), services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling interactions in SOAs, however mapping abstract SOAs into executable ones requires a non-trivial and time-costly analysis. Here, we propose a methodology that maps CPN-modelled SOAs into Jolie SOAs (our target language), exploiting a collection of recurring control-flow patterns, called Workflow Patterns, as composable blocks of the translation. We validate our approach with a realistic use case. In addition, we pragmatically asses the expressiveness of Jolie wrt the considered WPs.


Identity Provider Deadlock Freedom Service Interaction Pattern Business Process Language Service Orient Architecture Modeling 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. PH (2005)Google Scholar
  2. 2.
    OMG, Service oriented architecture Modeling Language (2009)Google Scholar
  3. 3.
    OASIS, Reference architecture foundation for SOA version 1.0 (December 2012)Google Scholar
  4. 4.
    Mayer, P., Koch, N., Schroeder, A.: The UML4SOA Profile (July 2009)Google Scholar
  5. 5.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)Google Scholar
  6. 6.
    Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14, 5–51 (2003)CrossRefGoogle Scholar
  7. 7.
    Russell, N., Hofstede, A.H.M.T., Mulyar, N.: Workflow control-flow patterns: A revised view. Tech. Rep. (2006)Google Scholar
  8. 8.
  9. 9.
  10. 10.
    Montesi, F., Guidi, C., Zavattaro, G.: Service Oriented Programming with Jolie. Web Services Foundations, vol. 1Google Scholar
  11. 11.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: Sock: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Gabbrielli, M., Giallorenzo, S., Montesi, F.: Executable SOAs exploiting workflow patterns. Tech. Rep.,
  13. 13.
    W3C WS-CDL Working Group, Web services choreography description language version 1.0 (2004),
  14. 14.
    Carbone, M., Montesi, F.: Deadlock freedom by design: multiparty asynchronous global programming. SIGPLAN Not. 48, 263–274 (2013)Google Scholar
  15. 15.
    Dalla Preda, M., Lanese, I., Mauro, J., Gabbrielli, M., Giallorenzo, S.: Deadlock freedom by construction for distributed adaptative applications. Tech. Rep.,
  16. 16.
    OpenID, Specifications,
  17. 17.
    Multi-factor authentication,
  18. 18.
    Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  19. 19.
    Mendes, J., Leitao, P., Restivo, F., Colombo, A.: Composition of petri nets models in service-oriented industrial automation. In: INDIN 2010, pp. 578–583 (2010)Google Scholar
  20. 20.
    Lohmann, N., Kopp, O., Leymann, F., Reisig, W.: Analyzing bpel4chor: verification and participant synthesis. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 46–60. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  21. 21.
    Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of web services composition languages: The case of bpel4ws. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  22. 22.
    van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Wohed, P.: Pattern-based analysis of BPML (and WSCI). FIT-TR-2002-05 (2002)Google Scholar
  23. 23.
    Guidi, C., Giallorenzo, S., Gabbrielli, M.: Towards a composition-based APIaaS layer. CLOSER 2014. SciTePress (to appear, 2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Maurizio Gabbrielli
    • 1
  • Saverio Giallorenzo
    • 1
  • Fabrizio Montesi
    • 2
  1. 1.Dipartimento di InformaticaUniv. di Bologna / INRIABolognaItaly
  2. 2.IT University of CopenhagenCopenhagenDenmark

Personalised recommendations