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

A Modular Toolkit for Distributed Interactions

Abstract: We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are flexibility and modularity. Our main goal is to provide an easily extensible workbench to encompass current algorithms and incorporate future developments of the theories. With the help of some examples, we illustrate the main features of our toolkit.

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
7
0

Year Published

2011
2011
2013
2013

Publication Types

Select...
2
2

Relationship

3
1

Authors

Journals

citations
Cited by 4 publications
(7 citation statements)
references
References 17 publications
0
7
0
Order By: Relevance
“…We plan to implement our algorithms and support for the methodology by integrating it in the tool introduced in [7].…”
Section: Discussionmentioning
confidence: 99%
See 1 more Smart Citation
“…We plan to implement our algorithms and support for the methodology by integrating it in the tool introduced in [7].…”
Section: Discussionmentioning
confidence: 99%
“…Guaranteeing HS and TS is often non-trivial, and this burden is on the software architect; using tools like the ones described in [7], one only highlights the problems but does not help to fix them. HS and TS are global semantic properties that may be hard to achieve.…”
Section: Introductionmentioning
confidence: 99%
“…Guaranteeing HS and TS is often non-trivial, and this burden is on the software architect; using tools like the ones described in [9], one only highlights the problems but does not help to fix them. HS and TS are global semantic properties that may be hard to achieve.…”
Section: Three Algorithms and A Methodology For Amending Contracts Fomentioning
confidence: 99%
“…which extends the global assertion in Example 4 and is supposed to be designed by the architect (step (i) of the methodology). Firstly, G is inspected by history sensitivity and temporal satisfiability checkers, such as the ones described in [9]. If any HS problems are reported (step (ii) of the methodology), algorithms Σ and Π are used, while Λ is used for TS problems.…”
Section: A Methodology For Amending Choreographiesmentioning
confidence: 99%
See 1 more Smart Citation