Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely
dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained
by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It
is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of the copyright holder.
show all publications
A theory of contracts for strong service compliance @ARTICLE{BZ09b, title = {{A theory of contracts for strong service compliance}}, author = {{Mario} {Bravetti} and {Gianluigi} {Zavattaro}}, journal = {Mathematical Structures in Computer Science}, pages = {601-638}, abstract = {We investigate, in a process algebraic setting, a new notion of correctness for service compositions, which we call strong service compliance: composed services are strong compliant if their composition is both deadlock and livelock free (this is the traditional notion of compliance), and whenever a message can be sent to invoke a service, it is guranteed to be ready to serve the invocation. We also define a new notion of refinement, called strong subcontract pre-order, suitable for strong compliance: given a composition of strong compliant services, we can replace any service with any other service in subcontract relation while preserving the overall strong compliance. Finally, we present a characterisation of the strong subcontract pre-order by resorting to the theory of a (should) testing pre-order.
}, publisher = {Cambridge University Press}, volume = {19}, number = {3}, year = {2009}, url = {http://rap.dsi.unifi.it/sensoriasite/mscs08.pdf}, doi = {10.1017/S0960129509007658}, invited = {N}, main = {Y}, partner = {UNIBO}, status = {public}, task = {T5.2, WP2}, }
|