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.

• Type: Conference
• Year: 2008
• Where: APN
• Authors: Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci
• Keywords: APN 2008, Artificial Intelligence, Heterogeneous Software Systems, Major Issue, Promising Technology