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 main publications
SOCK: A Calculus for Service Oriented Computing @INPROCEEDINGS{GLGBZ06, title = {{SOCK: A Calculus for Service Oriented Computing}}, author = {{Claudio} {Guidi} and {Roberto} {Lucchi} and {Roberto} {Gorrieri} and {Nadia} {Busi} and {Gianluigi} {Zavattaro}}, booktitle = {Proceedings of ICSOC'06}, pages = {327-338}, abstract = {Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the main concepts it is based upon. In this paper we propose SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition. The main contribute of our work is the development of a formal framework where the service design is decomposed into three fundamental parts: the behaviour, the declaration and the composition where each part can be designed independently of the other ones. }, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4294}, year = {2006}, url = {http://www.cs.unibo.it/~cguidi/Publications/icsoc06.pdf }, doi = {10.1007/11948148_27}, invited = {N}, main = {Y}, partner = {UNIBO}, status = {public}, task = {T2.1, T2.2}, }
|