A Formal Approach to Service Specification and Matching based on Graph Transformation

Abstract

When Web services are composed by linking service providers and requestors, the requestor’s requirements for a ”useful” service have to be matched against the service description offered by the provider. Among other things, service specifications (requirements or descriptions) may contain operation contracts specifying pre-conditions and effects of… (More)
DOI: 10.1016/j.entcs.2004.05.006

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics