2011
DOI: 10.4204/eptcs.59.10
|View full text |Cite
|
Sign up to set email alerts
|

Amending Contracts for Choreographies

Abstract: Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties. Global assertions define contracts for choreographies by annotating multiparty session types with logical formulae to validate the content of the exchanged messages. The introduction of such constraints is a critical design issue as it may be hard to specify contracts that allow each party to be able to progress without viol… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
10
0

Year Published

2011
2011
2020
2020

Publication Types

Select...
4
2

Relationship

4
2

Authors

Journals

citations
Cited by 6 publications
(10 citation statements)
references
References 8 publications
0
10
0
Order By: Relevance
“…Similarly to what discussed in Remark 4.10, some approaches propose techniques to fix choreographies which are not well-behaved. This issue is considered in some multiparty session types [10,11], in algebraic and automata-based frameworks for choreographies [8,36] as well as in the choreographic middleware ChoreOS [3,4]. While they consider different conditions than ours, trying to adapt their approaches to our setting is an interesting item for future work.…”
Section: Conclusion Related Work and Future Workmentioning
confidence: 99%
“…Similarly to what discussed in Remark 4.10, some approaches propose techniques to fix choreographies which are not well-behaved. This issue is considered in some multiparty session types [10,11], in algebraic and automata-based frameworks for choreographies [8,36] as well as in the choreographic middleware ChoreOS [3,4]. While they consider different conditions than ours, trying to adapt their approaches to our setting is an interesting item for future work.…”
Section: Conclusion Related Work and Future Workmentioning
confidence: 99%
“…This article is the full version of the extended abstract published in [4]. We include here extended definitions and explanations, as well as proofs for our key results, and sketches of proofs for trivial ones.…”
Section: Three Algorithms and A Methodology For Amending Contracts Fomentioning
confidence: 99%
“…The emptiness of the set underlines the ending of scope, as from here on McPhil i has nothing to govern any longer, its final local result having been delivered. 19 We continue specifying the sets of rules and model fragments. The set Crs i,orch with the actual adaptation orchestration by McPhil i , comprising the rules (37) to (68) (47)- (50) Rules (43)- (46), with McPhil i in ToR, cover the new R-order, basically implementing the to-be rules (11)- (14) (17)- (76) …”
Section: Migration Coordination Distributed Among Helpersmentioning
confidence: 99%
“…[37] focuses on modeling and deployment of distributed resources for adaptive services in a mobile environment. Tuosto et al [18,14,19] advocate the use of contracts in distributed setting, in particular addressing service-oriented computing involving multiple parties and multiple sessions. In this set-up contracts-as-formulas enable to split up the interaction in stages distinguishing between global assertions and their local projections.…”
Section: Introductionmentioning
confidence: 99%