Sciweavers

Share
COORDINATION
2008
Springer

Session Types for Orchestration Charts

9 years 9 months ago
Session Types for Orchestration Charts
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.
Alessandro Fantechi, Elie Najm
Added 18 Oct 2010
Updated 18 Oct 2010
Type Conference
Year 2008
Where COORDINATION
Authors Alessandro Fantechi, Elie Najm
Comments (0)
books