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.
|Titolo:||Compositional specification of web services via behavioural equivalence of nets: A case study|
|Anno del prodotto:||2008|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|