Sciweavers

Share
APN
2008
Springer

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

8 years 5 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. 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. This paper illustrates -- through a concrete scenario from banking systems -- how a suitable notion of behavioural equivalence over Petri nets can be effectively employed for checking the correctness of service specifications and the replaceability of (sub)services.
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where APN
Authors Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
Comments (0)
books