A formal approach to service specification and matching based on graph transformation

Electronic Notes in Theoretical Computer Science

Volumn 105, Issue 1-4 SUPPL., 2004, Pages 37-49

  Heckel, R ^a   Cherchago, A ^a   Lohmann, M ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Contract matching; Graph transformation; Web services

Indexed keywords

COMPUTER PROGRAMMING; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SERVERS; SYNTACTICS; USER INTERFACES; WORLD WIDE WEB;

CONTRACT MATCHING; GRAPH TRANSFORMATION; UML; WEB SERVICES;

FORMAL LOGIC;

EID: 10444242729     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.05.006     Document Type: Conference Paper

References (12)

1. R. Bardohl, H. Ehrig, J. de Lara, O. Runge, G. Taentzer, and I. Weinhold. Node type inheritance concepts for typed graph transformation. Fachberichte Informatik 2003-19, Technical University Berlin, 2003.
2. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26(3,4): 241-266, 1996.
3. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, pages 163-245. World Scientific, 1997. Preprint available as Tech. Rep. 96/17, Univ. of Pisa, http://www.di.unipi.it/TR/TRengl.html.
4. H. Ehrig, M. Pfender, and H.J. Schneider. Graph grammars: an algebraic approach. In 14th Annual IEEE Symposium on Switching and Automata Theory, pages 167-180. IEEE, 1973.
5. D. Fensel and C. Bussler. The web service modeling framework. 2003.
6. G. Flurry. Web Services Development and Deployment with WebSphere V5 Tools and Technologies Part 2: Publishing and Finding a Web Service in a UDDI Registry. 2003. http://www7b.software.ibm.com/wsdd/library/techarticles/0302flurry/flurry2.html.
7. R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures, 9(1), January 2001. See also TR 97-07 at http://www.cs.tu-berlin.de/cs/ifb/TechnBerichteListe.html.
8. R. Heckel, J. Küster, and G. Taentzer. Confluence of typed attributed graph transformation systems. In A. Corradini and H.-J. Kreowski, editors, Proc. 1st Int. Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Lecture Notes in Comp. Science. Springer-Verlag, October 2002.
9. H. Kreger. Web services conceptual architecture (WSCA 1.0), May 2001. http://www-3.ibm.com/software/solutions/webservices/pdf/WSCA.pdf.
10. S. Narayanan and S.A. McIlraith. Simulation, verification and automated composition of web services. In Proceedings of the eleventh international conference on World Wide Web, pages 77-88, Honolulu, Hawaii, 2002. ACM Press.
11. C. Pahl. An ontology for software component matching. In.M. Pezze, editor, Fundamental approaches to software engineering: 6th international conference, FASE 2005, volume 2621 of LNCS, pages 6-21. Springer, 2003.
12. A.M. Zaremski. Signature and specification matching. PhD thesis, Carnegie Mellon University, Pittsburg, Pa., January 1996.