Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time
English
Hartmann, Thomas[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Moawad, Assaad[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Fouquet, François[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Nain, Grégory[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Klein, Jacques[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Le Traon, Yves[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Sep-2015
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Lethbridge, Timothy
Cabot, Jordi
Egyed, Alexander
Conference Publishing Consulting
80-89
Yes
No
International
978-1-4673-6907-7
Passau
Germany
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
[en] The models@run.time paradigm promotes the use of models during the execution of cyber-physical systems to represent their context and to reason about their runtime behaviour. However, current modeling techniques do not allow to cope at the same time with the large-scale, distributed, and constantly changing nature of these systems. In this paper, we introduce a distributed models@run.time approach, combining ideas from reactive programming, peer-to-peer distribution, and large-scale models@run.time. We define distributed models as observable streams of chunks that are exchanged between nodes in a peer-to-peer manner. lazy loading strategy allows to transparently access the complete virtual model from every node, although chunks are actually distributed across nodes. Observers and automatic reloading of chunks enable a reactive programming style. We integrated our approach into the Kevoree Modeling Framework and demonstrate that it enables frequently changing, reactive distributed models that can scale to millions of elements and several thousand nodes.