Session types for orchestration charts (Articolo in rivista)

Type
Label
  • Session types for orchestration charts (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fantechi A.; Najm E. (2008)
    Session types for orchestration charts
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fantechi A.; Najm E. (literal)
Pagina inizio
  • 117 (literal)
Pagina fine
  • 134 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5052 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • 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. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa - Dipartimento di Sistemi e Informatica, Universit√† di Firenze, ENST - Paris (literal)
Titolo
  • Session types for orchestration charts (literal)
Abstract
  • 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. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it