Skip to Main content Skip to Navigation
Conference papers

Role-Based Development of Dynamically Evolving Esembles

Abstract : An ensemble is a set of computing entities that collaborate to perform a certain task. Typically an ensemble changes dynamically its constitution such that new members can join and other members can leave an ensemble during its execution. The members of an ensemble interact through message exchange. They are modelled as instances of certain role types which can be adopted by components of an underlying component system. We propose a dynamic logic to describe the evolution of ensembles from a global perspective. Using the power of dynamic logic with diamond and box modalities over regular expressions of actions (involving role instance creation, message exchange and component access) we can specify safety and liveness properties as well as desired and forbidden interaction scenarios. Thus our approach is suitable to write formal requirements specifications for ensemble behaviours. For ensemble design and implementation we propose ensemble realisations. An ensemble realisation takes a local view by giving a constructive specification for each single role type in terms of a process algebraic expression. Correctness of an ensemble realisation is defined semantically: its generated ensemble transition system must be a model of the requirements specification. We consider bisimulation of ensemble transition systems and show that our approach enjoys the Hennessy-Milner property.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-02364578
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 9:03:27 AM
Last modification on : Friday, November 15, 2019 - 9:05:03 AM
Long-term archiving on: : Sunday, February 16, 2020 - 1:52:39 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Rolf Hennicker. Role-Based Development of Dynamically Evolving Esembles. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩. ⟨hal-02364578⟩

Share

Metrics

Record views

120