Sciweavers

Share
DAGSTUHL
2004

Application of Graph Transformation for Automating Web Service Discovery

10 years 2 months ago
Application of Graph Transformation for Automating Web Service Discovery
The paper represents current achievements of an ongoing research that aims to develop a formal approach supporting an automatic selection of a Web service sought by a requestor. The approach is based on the matching the requestor's requirements for a "useful" service against the service description offered by the provider. We focus on the checking behavioral compatibility between operation contracts specifying pre-conditions and effects of required and provided operations. Graph transformation rules with positive application conditions are proposed as a visual formal notation for contracts. The desired dependence between requestor and provider contracts is determined by the semantic compatibility relation and syntactic matching procedure that is sound w.r.t. this relation.
Reiko Heckel, Alexey Cherchago
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where DAGSTUHL
Authors Reiko Heckel, Alexey Cherchago
Comments (0)
books