PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Najm E. Session types for orchestration charts. In: COORDINATION 2008 - Coordination Models and Languages. 10th International Conference (Oslo, Norway, June 4-6 2008). Proceedings, pp. 117 - 134. (Lecture Notes in Computer Science, vol. 5052). Springer Verlag, 2008.
 
 
Abstract
(English)
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.
URL: http://www.springerlink.com/content/j37772h45n2p/?p=5ab7350f12da451d9cb3dea085015952&pi=330
DOI: 10.1007/978-3-540-68265-3_8
Subject Service Oriented Architectures
Behavioural types
D.2.11 Software Architectures
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional