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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Erl, T.: Service-Oriented Architecture: Concepts, Technology, and Design. PH (2005)
OMG, Service oriented architecture Modeling Language (2009)
OASIS, Reference architecture foundation for SOA version 1.0 (December 2012)
Mayer, P., Koch, N., Schroeder, A.: The UML4SOA Profile (July 2009)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009)
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)
Russell, N., Hofstede, A.H.M.T., Mulyar, N.: Workflow control-flow patterns: A revised view. Tech. Rep. (2006)
OASIS, BPEL, http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
Jolie Website, http://www.jolie-lang.org/
Montesi, F., Guidi, C., Zavattaro, G.: Service Oriented Programming with Jolie. Web Services Foundations, vol. 1
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)
Gabbrielli, M., Giallorenzo, S., Montesi, F.: Executable SOAs exploiting workflow patterns. Tech. Rep., http://www.cs.unibo.it/~sgiallor/p/eSOAs.html
W3C WS-CDL Working Group, Web services choreography description language version 1.0 (2004), http://www.w3.org/TR/ws-cdl-10/
Carbone, M., Montesi, F.: Deadlock freedom by design: multiparty asynchronous global programming. SIGPLAN Not. 48, 263–274 (2013)
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
OpenID, Specifications, http://openid.net/developers/specs/
Multi-factor authentication, http://aws.amazon.com/iam/details/mfa/
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)
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)
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)
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)
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)
Guidi, C., Giallorenzo, S., Gabbrielli, M.: Towards a composition-based APIaaS layer. CLOSER 2014. SciTePress (to appear, 2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)