Regular types for active objects
Object-oriented software composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed and Parallel Databases
Language Primitives and Type Discipline for Structured Communication-Based Programming
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Guaranteeing liveness in an object calculus through behavioural typing
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Explicit Behavioral Typing for Object Interfaces
Proceedings of the Workshop on Object-Oriented Technology
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Invited contribution: sociable interfaces
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Achieving coordination through dynamic construction of open workflows
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware
Achieving coordination through dynamic construction of open workflows
Middleware'09 Proceedings of the ACM/IFIP/USENIX 10th international conference on Middleware
| Hi-index | 0.00 |
We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestration language and an associated behavioural typing language. Sessions play a pivotal role in this approach. Orcharts (orchestration charts) define session based services and Typecharts provide for session types with complex interaction patterns that generalise the request/response interaction paradigm. We provide an algorithm for deciding behavioural well typedeness. We claim that well typed service configurations have the soudness property, i.e., any session that can be initiated in a well typed configuration has its requestor and provider behave in mutual conformance and potentially reach service completion.