Interface-based service composition with aggregation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7592 LNCS, Issue , 2012, Pages 48-63

  Dalla Preda, Mila ^a   Gabbrielli, Maurizio ^a   Guidi, Claudio ^b   Mauro, Jacopo ^a   Montesi, Fabrizio ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b ItalianaSoftware Srl   (Italy)

^c IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION MECHANISMS; PROCESS CALCULI; REFERENCE IMPLEMENTATION; SERVICE COMPOSITIONS;

INFORMATION SERVICES; SEMANTICS; SERVICE ORIENTED ARCHITECTURE (SOA);

CLOUD COMPUTING;

EID: 84866038821     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33427-6_4     Document Type: Conference Paper

References (25)

1. JOLIE Examples Files: http://www.jolie-lang.org/files/esop2012 aggregation/example.zip
2. Web Services Business Process Execution Language Version 2.0: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
3. Web Services Description Language (WSDL) Version 2.0: http://www.w3.org/TR/wsdl20/
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)
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)
6. Chappell, D.A.: Enterprise Service Bus - Theory in practice. O'Reilly (2004)
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), http://www.informatica.unibo.it/ricerca/ublcs/2011/UBLCS-2011-11
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)
9. Guidi, C., Montesi, F.: Reasoning about a service-oriented programming paradigm. In: YRSOC, pp. 67-81 (2009)
10. Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
11. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273-284 (2008)
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)
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)
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)
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)
16. Montesi, F.: Jolie: a service-oriented programming language. Master's thesis, University of Bologna, Department of Computer Science (2010)
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)
18. Montesi, F., Guidi, C., Zavattaro, G.: Composing Services with JOLIE. In: ECOWS, pp. 13-22 (2007)
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)
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)
21. Sherif, M.H.: Handbook of Enterprise Integration. Auerbach Publishers, Incorporated (2009)
22. Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: AModel of Service-Oriented Computation. In: Drossopoulou, S. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269-283. Springer, Heidelberg (2008)
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)
24. Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic Web Services Composition Using SHOP2. In: WWW, Posters (2003)
25. Yuan, X.: Prototype for executable EAI patterns. Master's thesis, University of Stuttgart (2008)