Bonchi, Filippo and Brogi, Antonio and Corfini, Sara and Gadducci, Fabio (2008) Compositional Specification of Web Services via Behavioural Equivalence of Nets: A Case Study. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
![[img]](http://eprints.adm.unipi.it/style/images/fileicons/other.png) | Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (820Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-08-01.pdf....
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.
| Item Type: | Book |
|---|---|
| Uncontrolled Keywords: | Semantic process modeling, web services, compositional specifications, behavioural equivalences |
| Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
| Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
| Depositing User: | dott.ssa Sandra Faita |
| Date Deposited: | 04 Dec 2014 14:09 |
| Last Modified: | 04 Dec 2014 14:09 |
| URI: | http://eprints.adm.unipi.it/id/eprint/2194 |
Repository staff only actions
| View Item |
