Petri nets: an introduction
On-the-fly verification of finite transition systems
Formal Methods in System Design - Special issue on computer-aided verification: general methods
Communication and Concurrency
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Fine-grained compatibility and replaceability analysis of timed web service protocols
ER'07 Proceedings of the 26th international conference on Conceptual modeling
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Coalgebraic models for reactive systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 0.00 |
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.