A Practical Tool-Chain for the Development of Coordination Scenarios - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

A Practical Tool-Chain for the Development of Coordination Scenarios

Eva Maria Kuehn
  • Fonction : Auteur
  • PersonId : 978927

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
26 Consultations
20 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More