Selected papers of the Second Workshop on Concurrency and compositionality
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Specifying internet applications with DiCons
Proceedings of the 2001 ACM symposium on Applied computing
The faithfulness of abstract protocol analysis: message authentication
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
Types and programming languages
Types and programming languages
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
An Interaction-based Language and its Typing System
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Correspondence assertions for process synchronization in concurrent communications
Journal of Functional Programming
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Subtyping for session types in the pi calculus
Acta Informatica
A theory of regular MSC languages
Information and Computation
A formal semantics for protocol narrations
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Verified reference implementations of WS-Security protocols
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Session types for object-oriented languages
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extending the compatibility notion for abstract WS-BPEL processes
Proceedings of the 17th international conference on World Wide Web
Session and Union Types for Object Oriented Programming
Concurrency, Graphs and Models
Amalgamating sessions and methods in object-oriented languages with generics
Theoretical Computer Science
Information and Computation
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Session-based Choreography with Exceptions
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A model for dynamic reconfiguration in service-oriented architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
A formal model for service-oriented interactions
Science of Computer Programming
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. The formalism, called global calculus, aims at representing global message flows as structured communications. The global calculus originates from the Choreography Description Language (CDL), a web service description language developed by W3C's WS-CDL Working Group. Its type discipline is based on session types which have been studied over long years in the context of the @p-calculus [Honda, K., V. Vasconcelos and M. Kubo, Language primitives and type disciplines for structured communication-based programming, in: ESOP'98, LNCS 1381, 1998, pp. 22-138; Dezani-Ciancaglini, M., D. Mostrous, N. Yoshida and S. Drossopoulou, Session Types for Object-Oriented Languages, in: Proceedings of ECOOP'06, LNCS, 2006; Vasconcelos, V., A. Ravara and S.J. Gay, Session types for functional multithreading., in: CONCUR'04, LNCS 3170, 2004, pp. 497-511; Bonelli, E., A.B. Compagnoni and E.L. Gunter, Correspondence assertions for process synchronization in concurrent communications., JFP 15 (2005), pp. 219-247]. Session types offer a high-level abstraction and articulation for complex communication behaviours, and play a fundamental role to guide the programmer towards a clear, well-structured description of business protocols.