Document - Session types for orchestration charts

2008

Conference article Open Access

Session types for orchestration charts

Fantechi A., Najm E.

Behavioural types orchestration Coordination session types Service Oriented Architectures

We present a novel approach for the sound orchestration of services. It is based on Orcharts and Typecharts: a service orchestra- tion language and an associated behavioural typing language. Sessions play a pivotal role in this approach. Orcharts (orchestration charts) de- fine session based services and Typecharts provide for session types with complex interaction patterns that generalise the request/response inter- action 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 confor- mance and potentially reach service completion.

Source: COORDINATION 2008 - Coordination Models and Languages. 10th International Conference, pp. 117–134, Oslo, Norway, 4-6 June 2008

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:44196,
	title = {Session types for orchestration charts},
	author = {Fantechi A. and Najm E.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-540-68265-3_8},
	booktitle = {COORDINATION 2008 - Coordination Models and Languages. 10th International Conference, pp. 117–134, Oslo, Norway, 4-6 June 2008},
	year = {2008}
}