Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Heckel, Reiko; Cherchago, Alexey License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-121


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.

BibTeX - Entry

  author =	{Heckel, Reiko and Cherchago, Alexey},
  title =	{{Application of Graph Transformation for Automating Web Service Discovery}},
  booktitle =	{Language Engineering for Model-Driven Software Development},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2005},
  volume =	{4101},
  editor =	{Jean Bezivin and Reiko Heckel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-121},
  doi =		{10.4230/DagSemProc.04101.6},
  annote =	{Keywords: SOA , graph transformation , contracts}

Keywords: SOA , graph transformation , contracts
Seminar: 04101 - Language Engineering for Model-Driven Software Development
Issue date: 2005
Date of publication: 02.02.2005

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI