Interface-Based Service Composition with Aggregation

  • Mila Dalla Preda
  • Maurizio Gabbrielli
  • Claudio Guidi
  • Jacopo Mauro
  • Fabrizio Montesi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7592)


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.


Service Composition Internal Connection Aggregator Service External Connection Process Calculus 
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.
  2. 2.
    Web Services Business Process Execution Language Version 2.0:
  3. 3.
    Web Services Description Language (WSDL) Version 2.0:
  4. 4.
    Bertoli, P., Pistore, M., Traverso, P.: Automated composition of Web services via planning in asynchronous domains. Artif. Intell. 174(3-4), 316–361 (2010)MathSciNetCrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Chappell, D.A.: Enterprise Service Bus - Theory in practice. O’Reilly (2004)Google Scholar
  7. 7.
    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),
  8. 8.
    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
  9. 9.
    Guidi, C., Montesi, F.: Reasoning about a service-oriented programming paradigm. In: YR-SOC, pp. 67–81 (2009)Google Scholar
  10. 10.
    Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)Google Scholar
  11. 11.
    Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273–284 (2008)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Montesi, F.: Jolie: a service-oriented programming language. Master’s thesis, University of Bologna, Department of Computer Science (2010)Google Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: ECOWS, pp. 13–22 (2007)Google Scholar
  19. 19.
    Rao, J., Küngas, P., Matskin, M.: Logic-based Web Services Composition: From Service Description to Process Model. In: ICWS, pp. 446–453 (2004)Google Scholar
  20. 20.
    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)CrossRefGoogle Scholar
  21. 21.
    Sherif, M.H.: Handbook of Enterprise Integration. Auerbach Publishers, Incorporated (2009)Google Scholar
  22. 22.
    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)CrossRefGoogle Scholar
  23. 23.
    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)CrossRefGoogle Scholar
  24. 24.
    Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic Web Services Composition Using SHOP2. In: WWW, Posters (2003)Google Scholar
  25. 25.
    Yuan, X.: Prototype for executable EAI patterns. Master’s thesis, University of Stuttgart (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Mila Dalla Preda
    • 1
  • Maurizio Gabbrielli
    • 1
  • Claudio Guidi
    • 2
  • Jacopo Mauro
    • 1
  • Fabrizio Montesi
    • 3
  1. 1.Lab. Focus, Department of Computer Science/INRIAUniversity of BolognaItaly
  2. 2.italianaSoftware srlImolaItaly
  3. 3.IT University of CopenhagenDenmark

Personalised recommendations