SOCK: A calculus for service oriented computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4294 LNCS, Issue , 2006, Pages 327-338

  Guidi, Claudio ^a   Lucchi, Roberto ^a   Gorrieri, Roberto ^a   Busi, Nadia ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC MECHANISM; DISTRIBUTED APPLICATIONS; FORMAL FRAMEWORK; FORMAL SEMANTICS; SERVICE DESIGN; SERVICE ORIENTED COMPUTING;

FORMAL METHODS; SEMANTICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 77049098553     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11948148_27     Document Type: Conference Paper

References (12)

1. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration: A synergic approach for system design. In ICSOC'05, volume 3826 of LNCS, pages 228-240, 2005.
2. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and orchestration conformance for system design. In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION' 06), volume 4038 of LNCS, pages 63-81, 2006.
3. R. Dijkman and M. Dumas. Service-oriented Design: a Multi-viewpoint Approach. Int. J. Cooperative Inf. Syst., 13(4):337-368, 2004.
4. C. Guidi and R. Lucchi. Mobility mechanisms in service oriented computing. In Proc. of 8th International Conference on on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), volume 4037 of LNCS, pages 233-250, 2006.
5. C. Guidi, R. Lucchi, G. Zavattaro, N. Busi, and R. Gorrieri. Technical Report UBLCS-2006-20, Dep. of Computer Science, Univ. of Bologna [http://www.cs.unibo.it/research/reports/], 2006.
6. R. M. Keller. Formal verification of parallel programs. Commun. ACM, 19(7):371-384, 1976.
7. R. Lucchi and M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming. Elsevier Press. To appear.
8. J. Misra and W. Cook. Computation orchestration, a basis for wide-area computing. Journal of Software and Systems modeling, 2006. To appear.
9. F. Montesi, C. Guidi, R. Lucchi, and G. Zavattaro. JOLIE: a Java Orchestration Language Interpreter Engine. In CoOrg06, volume to appear of ENTCS.
10. OASIS. Web Services Business Process Execution Language Version 2.0, Working Draft. [http://www.oasis-open.org/committees/download.php/ 10347/wsbpel-specification-draft-120204.htm].
11. M. Viroli. Towards a Formal Foundation to Orchestration Languages. In Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), volume 105 of ENTCS. Elsevier, 2004.
12. World Wide Web Consortium. Web Services Description Language (WSDL) 1.1. [http://www.w3.org/TR/wsdl].