Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether two services can be used interchangeably in any context. To this aim, our paper first briefly reviews the results contained in a recent article by the same authors, where a suitable notion of behavioural equivalence for Web services was introduced. Our work then extends those results, in order to account for ontologybased service specifications. Next, a concrete example scenario - a car rental system - is presented, and it is then used to illustrate how the equivalence between services can be fruitfully employed for correctly addressing two prominent, modularity-related problems: the publication of correct service specifications and the replaceability of (sub)services.
Autori interni: | |
Autori: | BONCHI F; BROGI A; CORFINI S; GADDUCCI F |
Titolo: | A net-based approach to Web services publication and replaceability |
Anno del prodotto: | 2009 |
Digital Object Identifier (DOI): | 10.3233/FI-2009-133 |
Appare nelle tipologie: | 1.1 Articolo in rivista |