Application of Graph Transformation for Automating Web Service Discovery

Authors Reiko Heckel, Alexey Cherchago

Thumbnail PDF


  • Filesize: 273 kB
  • 12 pages

Document Identifiers

Author Details

Reiko Heckel
Alexey Cherchago

Cite AsGet BibTex

Reiko Heckel and Alexey Cherchago. Application of Graph Transformation for Automating Web Service Discovery. In Language Engineering for Model-Driven Software Development. Dagstuhl Seminar Proceedings, Volume 4101, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)


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.
  • SOA
  • graph transformation
  • contracts


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail