Structural and behavioural compatibility of graphical service specifications

[1]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[2]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[3]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[4]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 2: Module Specifications and Constraints , 1990 .

[5]  Steven S. Popovich,et al.  Inquire: predicate-based use and reuse , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.

[6]  B. Cheng,et al.  Specification matching for software reuse: a foundation , 1995, SSR '95.

[7]  Jeannette M. Wing,et al.  Signature matching: a tool for using software libraries , 1995, TSEM.

[8]  Jeannette M. Wing,et al.  Specification matching of software components , 1995, TSEM.

[9]  Francesca Rossi,et al.  Graph Processes , 1996, Fundam. Informaticae.

[10]  Reiko Heckel,et al.  Graph Grammars with Negative Application Conditions , 1996, Fundam. Informaticae.

[11]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[12]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[13]  Francesco Parisi-Presicce,et al.  Refinements and Modules for Typed Graph Transformation Systems , 1998, WADT.

[14]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[15]  Reiko Heckel,et al.  Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems , 2001, Appl. Categorical Struct..

[16]  Takahiro Kawamura,et al.  Semantic Matching of Web Services Capabilities , 2002, SEMWEB.

[17]  Dieter Fensel,et al.  The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..

[18]  Amit P. Sheth,et al.  Adding Semantics to Web Services Standards , 2003, ICWS.

[19]  Claus Pahl,et al.  An ontology for software component matching , 2003, International Journal on Software Tools for Technology Transfer.

[20]  Reiko Heckel,et al.  Model-based discovery of Web services , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[21]  Reiko Heckel,et al.  Specification Matching of Web Services Using Conditional Graph Transformation Rules , 2004, ICGT.

[22]  Reiko Heckel,et al.  A Formal Approach to Service Specification and Matching based on Graph Transformation , 2004, WSFM.

[23]  Gabriele Taentzer,et al.  Ensuring Structural Constraints in Graph-Based Models with Type Inheritance , 2005, FASE.

[24]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[25]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .