Abstract | ||
---|---|---|
Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This paper proposes a typing systems which allows, under some conditions, to synthesise a choreography (i.e. a multiparty global type) from a set of local session types which describe end-point behaviours (i.e. local types). |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32940-1_17 | CONCUR |
Keywords | Field | DocType |
multiparty global type,analysing multiparty,available computational entity,service orchestration,local type,local session type,choreography-based approach,typing system,synthesising choreography,global view,end-point behaviour | Software engineering,Computer science,Choreography,Theoretical computer science,Orchestration (computing),Runtime system,Distributed computing | Conference |
Volume | ISSN | Citations |
7454 | 0302-9743 | 19 |
PageRank | References | Authors |
0.72 | 10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Julien Lange | 1 | 45 | 6.03 |
Emilio Tuosto | 2 | 499 | 42.62 |