Skip to main content
SpringerLink
Log in

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

  • Conference paper
Distributed Computing and Artificial Intelligence, 11th International Conference

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 290))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. PH (2005)

    Google Scholar 

  2. OMG, Service oriented architecture Modeling Language (2009)

    Google Scholar 

  3. OASIS, Reference architecture foundation for SOA version 1.0 (December 2012)

    Google Scholar 

  4. Mayer, P., Koch, N., Schroeder, A.: The UML4SOA Profile (July 2009)

    Google Scholar 

  5. Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)

    Google Scholar 

  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)

    Article  Google Scholar 

  7. Russell, N., Hofstede, A.H.M.T., Mulyar, N.: Workflow control-flow patterns: A revised view. Tech. Rep. (2006)

    Google Scholar 

  8. OASIS, BPEL, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html

  9. Jolie Website, http://www.jolie-lang.org/

  10. Montesi, F., Guidi, C., Zavattaro, G.: Service Oriented Programming with Jolie. Web Services Foundations, vol. 1

    Google Scholar 

  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)

    Chapter  Google Scholar 

  12. Gabbrielli, M., Giallorenzo, S., Montesi, F.: Executable SOAs exploiting workflow patterns. Tech. Rep., http://www.cs.unibo.it/~sgiallor/p/eSOAs.html

  13. W3C WS-CDL Working Group, Web services choreography description language version 1.0 (2004), http://www.w3.org/TR/ws-cdl-10/

  14. Carbone, M., Montesi, F.: Deadlock freedom by design: multiparty asynchronous global programming. SIGPLAN Not. 48, 263–274 (2013)

    Google Scholar 

  15. Dalla Preda, M., Lanese, I., Mauro, J., Gabbrielli, M., Giallorenzo, S.: Deadlock freedom by construction for distributed adaptative applications. Tech. Rep., http://www.cs.unibo.it/projects/jolie/aioc.pdf

  16. OpenID, Specifications, http://openid.net/developers/specs/

  17. Multi-factor authentication, http://aws.amazon.com/iam/details/mfa/

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Guidi, C., Giallorenzo, S., Gabbrielli, M.: Towards a composition-based APIaaS layer. CLOSER 2014. SciTePress (to appear, 2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Univ. di Bologna / INRIA, Bologna, Italy

    Maurizio Gabbrielli & Saverio Giallorenzo

  2. IT University of Copenhagen, Copenhagen, Denmark

    Fabrizio Montesi

Authors
  1. Maurizio Gabbrielli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Saverio Giallorenzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Fabrizio Montesi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Engineering, Osaka Institute of Technology, Osaka, Osaka, Japan

    Sigeru Omatu

  2. Université Libre de Bruxelles, Bruxelles, Belgium

    Hugues Bersini

  3. Dept. of Computing Science and Control Faculty of Science, University of Salamanca, Salamanca, Spain

    Juan M. Corchado

  4. Department of Computing Science and Control, Faculty of Science, University of Salamanca, Salamanca, Spain

    Sara Rodríguez

  5. Faculty of Engineering Management, Poznan University of Technology, Poznan, Poland

    Paweł Pawlewski

  6. Dep. PPEQS, Section of Economics and Quantitative Methods, University of Chieti-Pescara, Pescara, Italy

    Edgardo Bucciarelli

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Gabbrielli, M., Giallorenzo, S., Montesi, F. (2014). Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns. In: Omatu, S., Bersini, H., Corchado, J., Rodríguez, S., Pawlewski, P., Bucciarelli, E. (eds) Distributed Computing and Artificial Intelligence, 11th International Conference. Advances in Intelligent Systems and Computing, vol 290. Springer, Cham. https://doi.org/10.1007/978-3-319-07593-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07593-8_17

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-07592-1

  • Online ISBN: 978-3-319-07593-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation