Verifying interaction protocol compliance of service orchestrations

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

Volumn 5364 LNCS, Issue , 2008, Pages 545-550

  Schroeder, Andreas ^a   Mayer, Philip ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; UNIFIED MODELING LANGUAGE; WEB SERVICES;

INTER-ACTION PROTOCOLS; MODEL DRIVEN DEVELOPMENT; SERVICE COMPOSITIONS; SERVICE INTERACTION; SERVICE INTERFACES; SERVICE ORCHESTRATION; SERVICE ORIENTED COMPUTING; WEB SERVICE STACK;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 58049119995     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_44     Document Type: Conference Paper

References (15)

1. Adler, B.T., de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Raman, V., Roy, P.: Ticc: A Tool for Interface Compatibility and Composition. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 59-62. Springer, Heidelberg (2006)
2. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-Services that Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43-58. Springer, Heidelberg (2003)
3. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: 14th Int. Conf. on World Wide Web, pp. 148-159. ACM, New York (2005)
4. Beyer, D., Chatterjee, K., Henzinger, T.A., Mang, F.Y.C.: Chic: Checker for Interface Compatibility, www.eecs.berkeley.edu/~arindam/chic
5. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility Verification for Web Service Choreography. In: 3rd Int. Conf. on Web Services, pp. 738-741. IEEE, Los Alamitos (2004)
6. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 3rd Int. Conf. on Web Services, pp. 621-630. IEEE, Los Alamitos (2004)
7. Kovács, M., Gönczy, L.: Simulation and Formal Analysis of Workflow Models. In: 5th Int. Workshop. on Graph Transformation and Visual Modeling Techniques. Electronic Notes in Theoretical Computer Science, pp. 215-224. Elsevier, Amsterdam (2006)
8. Larsen, K., Nyman, U., Wasowski, A.: Modal I/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64-79. Springer, Heidelberg (2007)
9. Mayer, P., Schroeder, A., Koch, N.: UML4SOA: Model-Driven Service Orchestration. In: 12th Int. Enterprise Computing Conf. IEEE, Los Alamitos (2008)
10. Meredith, L.G., Bjorg, S.: Contracts and Types. Comm. ACM 46(10), 41-47 (2003)
11. Salan, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services Using Process Algebra. In: 3rd Int. Conf. on Web Services, pp. 43-50. IEEE, Los Alamitos (2004)
12. Störrle, H.: Structured Nodes in UML 2.0 Activities. Nord. J. of Comput. 11(3), 279-302 (2004)
13. van der Aalst, W., Weske, M.: The P2P approach to interorganizational workflows. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 140-155. Springer, Heidelberg (2001)
14. Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre. J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24-45. Springer, Heidelberg (2006)
15. Wombacher, A., Mahleko, B.: Finding trading partners to establish ad-hoc business processes. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 339-355. Springer, Heidelberg (2002)