A Formal Approach to Service Specification and Matching based on Graph Transformation.
Reiko HeckelAlexey CherchagoMarc LohmannPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- graph transformation
- formal specification
- protocol specification
- matching algorithm
- formal methods
- specification languages
- web services
- reactive systems
- operational semantics
- service quality
- service providers
- service oriented
- formal language
- image matching
- keypoints
- pattern matching
- specification language
- feature matching
- ontology matching
- service description
- service selection
- matching scheme
- service discovery
- service composition
- information services
- model checking
- high level