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.
This technique is then used in a case study for checking the correctness of service specifications and the replaceability of services in a banking scenario REF .
Compositional specification of web services via behavioural equivalence of nets: A case study
In Proc. of Petri Nets ’08
Computer Science