A Practical Tool-Chain for the Development of Coordination Scenarios - Coordination Models and Languages Access content directly
Conference Papers Year : 2021

A Practical Tool-Chain for the Development of Coordination Scenarios

Eva Maria Kuehn
  • Function : Author
  • PersonId : 978927

Abstract

Coordination scenarios have high demands on concurrency and interaction. However, these are typical sources for flaws in both design and implementation. A modeling approach enables reasoning about distributed algorithms and finding deficiencies right from the beginning. The Peer Model has been introduced as a modeling tool for distribution, concurrency and blackboard-based collaboration and coordination, relying on known foundations like tuple spaces, Petri Nets and Actor Model. A runtime system exists that serves Java developers for prototyping, but still a feasible tool-chain was missing, like for most academic systems.This paper presents a practical new tool-chain for the Peer Model consisting of a graphical modelling tool, building on a drawing program that exports XML. A translator parses the XML and translates it into a newly developed domain specific language that is the basis for code generation. One target is a new, formal automaton-based runtime written in the Go programming language. It allows systematic simulation runs of user models. The demo shows a peer competition scenario, where several players play a game, a global state holds the players’ scores, and in addition each peer maintains a decentralized state. Before taking a move in the game, a peer asserts its current local state to be the same like the global one. If this is the case, it carries out its action and distributes the information about it to all other players for further verification. The scenario captures core coordination mechanisms found in blockchain systems.
Fichier principal
Vignette du fichier
509400_1_En_15_Chapter.pdf (576.73 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03387844 , version 1 (20-10-2021)

Licence

Attribution

Identifiers

Cite

Eva Maria Kuehn. A Practical Tool-Chain for the Development of Coordination Scenarios. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.239-254, ⟨10.1007/978-3-030-78142-2_15⟩. ⟨hal-03387844⟩
27 View
20 Download

Altmetric

Share

Gmail Facebook X LinkedIn More