We introduce an approach for verifying service composition based on behavioral typing. Sessions play a pivotal role in this approach. Sessions are the quanta of service delivery. A session is a sequence of interactions between a service provider and a service requestor that starts with a service invocation message sent by the requestor. Sessions generalize the request/response interaction paradigm allowing for more complex interaction patterns. A session is sound when both the requestor and the provider behave in mutual conformance. A collection of interacting services is sound when all the sessions that can be initiated and executed by this collection are sound. Our approach is based on two (graphical) languages: OrCharts - that allow to define and orchestrate session based services; and TypeCharts - that allow to define behavioral types for service sessions. We provide a typing algorithm and discuss the properties that are verified in well typed services. In this work we sought for a service orchestration language that is expressive but still simple enough to allow for typing and service compatibility verification. We show also that the language allows to express many common orchestration examples.

Session types for orchestration charts / A. Fantechi; E. Najm. - STAMPA. - 5052:(2008), pp. 117-134. (Intervento presentato al convegno COORDINATION 2008 tenutosi a Oslo - Norway nel June 2008) [10.1007/978-3-540-68265-3_8].

Session types for orchestration charts

FANTECHI, ALESSANDRO;
2008

Abstract

We introduce an approach for verifying service composition based on behavioral typing. Sessions play a pivotal role in this approach. Sessions are the quanta of service delivery. A session is a sequence of interactions between a service provider and a service requestor that starts with a service invocation message sent by the requestor. Sessions generalize the request/response interaction paradigm allowing for more complex interaction patterns. A session is sound when both the requestor and the provider behave in mutual conformance. A collection of interacting services is sound when all the sessions that can be initiated and executed by this collection are sound. Our approach is based on two (graphical) languages: OrCharts - that allow to define and orchestrate session based services; and TypeCharts - that allow to define behavioral types for service sessions. We provide a typing algorithm and discuss the properties that are verified in well typed services. In this work we sought for a service orchestration language that is expressive but still simple enough to allow for typing and service compatibility verification. We show also that the language allows to express many common orchestration examples.
2008
Coordination Models and Languages, LECTURE NOTES IN COMPUTER SCIENCE (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
COORDINATION 2008
Oslo - Norway
June 2008
A. Fantechi; E. Najm
File in questo prodotto:
File Dimensione Formato  
orcharts-article.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 417.84 kB
Formato Adobe PDF
417.84 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/386564
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 5
social impact