Session types for safe Web service orchestration

Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro

doi:10.1016/j.jlap.2013.05.004

Cited by 10 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our contributions to bridging the gap between SCT and coordination of services concern adaptations of the classical synthesis algorithm from SCT in order to synthesise orchestrations and choreographies of service contracts formalised as MSCA. In the literature, there exist many formalisms for modelling and analysing (service) contracts, ranging from behavioural type systems, including behavioural contracts [27,1,40] and session types [23,36,32,26,44], to automata-based formalisms, including interface automata [2] and (timed) (I/O) automata [43,3,31]. Foundational models for service contracts and session types are surveyed in [17,8,37].…”

Section: Related Workmentioning

confidence: 99%

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Basile

Beek

Pugliese

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We explore the frontiers between coordination and control systems by discussing a number of contributions to bridging the gap between supervisory control theory and coordination of services. In particular, we illustrate how the classical synthesis algorithm from supervisory control theory to obtain the socalled most permissive controller can be modified to synthesise orchestrations and choreographies of service contracts formalised as contract automata. The key ingredient to make this possible is a novel notion of controllability. Finally, we present an abstract parametric synthesis algorithm and show that it generalises the classical synthesis as well as the orchestration and choreography syntheses.

show abstract

Section: Related Workmentioning

confidence: 99%

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Basile

Beek

Pugliese

2019

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Our contributions to bridging the gap between SCT and coordination of services concern adaptations of the classical synthesis algorithm from SCT in order to synthesise orchestrations and choreographies of service contracts formalised as MSCA. In the literature, there exist many formalisms for modelling and analysing (service) contracts, ranging from behavioural type systems, including behavioural contracts [29,1,42] and session types [25,38,34,28,46], to automata-based formalisms, including interface automata [2] and (timed) (I/O) automata [45,3,33]. Foundational models for service contracts and session types are surveyed in [19,8,39].…”

Section: Related Workmentioning

confidence: 99%

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Basile,

ter Beek,

Pugliese

2019

Preprint

View full text Add to dashboard Cite

We present a number of contributions to bridging the gap between supervisory control theory and coordination of services to explore the frontiers between coordination and control systems. Firstly, we modify the classical synthesis algorithm from supervisory control theory for obtaining the so-called most permissive controller in order to synthesise orchestrations and choreographies of service contracts formalised as contract automata.The key ingredient to make this possible is a novel notion of controllability. Then, we present an abstract parametric synthesis algorithm and show that it generalises the classical synthesis as well as the orchestration and choreography syntheses. Finally, through the novel abstract synthesis, we show that the concrete syntheses are in a refinement order.

show abstract