CHOReOSynt: enforcing choreography realizability in the future internet

Autili, Marco; Ruscio, Davide Di; Salle, Amleto Di; Perucci, Alexander

doi:10.1145/2635868.2661667

Cited by 14 publications

(15 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

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%

Choreography Automata

Barbanera

Lanese

Tuosto

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of communicating finite-state machines. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant of it. For both, the projections of well-formed automata are proved to be live as well as lock-and deadlockfree.

show abstract

Section: Conclusion Related Work and Future Workmentioning

confidence: 99%

Choreography Automata

Barbanera

Lanese

Tuosto

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Hence, automated synthesis is needed to guarantee the generation of a system design with the targeted system behavior. Many approaches have been proposed to realize synthesis method for SASS as discussed in [8], namely, synthesis of service compositions [9], synthesis of self-adaptive connectors [10], parameter synthesis [11], and synthesis for self-adaptation [12].…”

Section: Bulletin Of Electr Eng and Inf Issn: 2302-9285 mentioning

confidence: 99%

A GUI-driven prototype for synthesizing self-adaptation decision

Ismail¹,

Intu²,

Zambri³

2020

Bulletin EEI

View full text Add to dashboard Cite

The ability to ensure an optimal decision is significant for self-adaptive systems especially when dealing with uncertainty. For this reason, a synthesis-driven approach can be used to capture and synthesize a decision that aims to satisfy the multi-objective properties. Assessing the quality of the synthesis-driven approach is challenging, since it involves a set of activities from modeling, simulating, and analyzing the outcomes. This paper presents the design and implementation of a graphical user interface (GUI)-based prototype for assessing synthesis outcome and performance of an adaptation decision. The prototype is designed and developed based on the component-based development approach that is able to integrate the existing and related libraries from PRISM-games model checker for the synthesis engine, JFreeChart libraries for the chart presentation, and Java Universal Network/Graph Framework libraries for the graph visualization. This paper also presents the implementation of the proposed prototype based on the cloud application deployment scenario to illustrate its applicability. This work contributes to provide a fundamental work towards automated synthesis for self-adaptive systems.

show abstract

“…In our previous works [18,20,22,41,42], we describe how additional software entities-called Coordination Delegates (CDs)-can be automatically synthesized to proxify and coordinate the participants' interaction. When needed, CDs are interposed among the participant services according to a suitably generated architecture description.…”

Section: Chorevolution Approachmentioning

confidence: 99%

A Choreography-Based and Collaborative Road Mobility System for L’Aquila City

et al. 2019

Self Cite

View full text Add to dashboard Cite

Next Generation Internet (NGI) is the European initiative launched to identify the future internet technologies, designed to serve the needs of the digitalized society while ensuring privacy, trust, decentralization, openness, inclusion, and business cooperation. NGI provides efficient support to promote diversity, decentralization and the growth of disruptive innovation envisioned by smart cities. After the earthquake of 6 April 2009, the city of L’Aquila is facing a massive and innovative reconstruction process. As a consequence, nowadays, the L’Aquila city can be considered as a living laboratory model for applications within the context of smart cities. This paper describes and evaluates the realization of a Collaborative Road Mobility System (CRMS) for L’Aquila city by using our CHOReVOLUTION approach for the automated choreography production. The CRMS allows vehicles and transport infrastructure to interconnect, share information and use it to coordinate their actions.

show abstract

CHOReOSynt: enforcing choreography realizability in the future internet

Cited by 14 publications

References 9 publications

Choreography Automata

Choreography Automata

A GUI-driven prototype for synthesizing self-adaptation decision

A Choreography-Based and Collaborative Road Mobility System for L’Aquila City

Contact Info

Product

Resources

About