Abstract
Service-oriented architectures (SOAs) usually comprehend in-the- middle entities such as proxies or service mediators that compose services abstracting from the order in which they exchange messages. Although widely used, these entities are usually implemented by means of ad-hoc solutions.
In this paper we generalise this composition mechanism by identifying the primitive notion of aggregation. We formally define the semantics of aggregation in terms of a process calculus. We also provide a reference implementation for this primitive by extending the Jolie language, thus allowing for the experimentation with real SOA scenarios.
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.
References
JOLIE Examples Files: http://www.jolie-lang.org/files/esop2012_aggregation/example.zip
Web Services Business Process Execution Language Version 2.0: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
Web Services Description Language (WSDL) Version 2.0: http://www.w3.org/TR/wsdl20/
Bertoli, P., Pistore, M., Traverso, P.: Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4), 316–361 (2010)
Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.-C.: Adaptive and Dynamic Service Composition in eFlow. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 13–31. Springer, Heidelberg (2000)
Chappell, D.A.: Enterprise Service Bus - Theory in practice. O’Reilly (2004)
Dalla Preda, M., Gabbrielli, M., Guidi, C., Mauro, J., Montesi, F.: A language for (smart) service aggregation: Theory and practice of interface-based service composition. Technical Report UBLCS-2011-11, University of Bologna (2011), http://www.informatica.unibo.it/ricerca/ublcs/2011/UBLCS-2011-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)
Guidi, C., Montesi, F.: Reasoning about a service-oriented programming paradigm. In: YR-SOC, pp. 67–81 (2009)
Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284 (2008)
Hull, R., Narendra, N.C., Nigam, A.: Facilitating Workflow Interoperation Using Artifact-Centric Hubs. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 1–18. Springer, Heidelberg (2009)
Khalaf, R., Leymann, F.: On Web Services Aggregation. In: Benatallah, B., Shan, M.-C. (eds.) TES 2003. LNCS, vol. 2819, pp. 1–13. Springer, Heidelberg (2003)
Laneve, C., Zavattaro, G.: web π at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol. 3705, pp. 182–194. Springer, Heidelberg (2005)
Lapadula, A., Pugliese, R., Tiezzi, F.: A Formal Account of WS-BPEL. In: Lea, D., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199–215. Springer, Heidelberg (2008)
Montesi, F.: Jolie: a service-oriented programming language. Master’s thesis, University of Bologna, Department of Computer Science (2010)
Montesi, F., Carbone, M.: Programming Services with Correlation Sets. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 125–141. Springer, Heidelberg (2011)
Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: ECOWS, pp. 13–22 (2007)
Rao, J., Küngas, P., Matskin, M.: Logic-based Web Services Composition: From Service Description to Process Model. In: ICWS, pp. 446–453 (2004)
Schuster, H., Georgakopoulos, D., Cichocki, A., Baker, D.: Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 247–263. Springer, Heidelberg (2000)
Sherif, M.H.: Handbook of Enterprise Integration. Auerbach Publishers, Incorporated (2009)
Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service-Oriented Computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)
Waldinger, R.: Web Agents Cooperating Deductively. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 250–262. Springer, Heidelberg (2001)
Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic Web Services Composition Using SHOP2. In: WWW, Posters (2003)
Yuan, X.: Prototype for executable EAI patterns. Master’s thesis, University of Stuttgart (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dalla Preda, M., Gabbrielli, M., Guidi, C., Mauro, J., Montesi, F. (2012). Interface-Based Service Composition with Aggregation. In: De Paoli, F., Pimentel, E., Zavattaro, G. (eds) Service-Oriented and Cloud Computing. ESOCC 2012. Lecture Notes in Computer Science, vol 7592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33427-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-33427-6_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33426-9
Online ISBN: 978-3-642-33427-6
eBook Packages: Computer ScienceComputer Science (R0)