- "SOCK: a calculus for service oriented computing"
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2006).
Volume 4294 of LNCS, pages 327-338, 2006.
[pdf]
[bibtex]
|
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 context formal methods
can contribute by allowing for the development of properties verification and basic languages for supporting system
design. 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.
|