Modeling Role-Based Systems with Exogenous Coordination
Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed
Contributors
Abstract
The concept of roles is a promising approach to cope with context dependency and adaptivity of modern software systems. While roles have been investigated in conceptual modeling, programming languages and multi-agent systems, they have been given little consideration within component-based systems.
In this paper, we propose a hierarchical role-based approach for modeling relationships and collaborations between components. In particular, we consider the channel-based, exogenous coordination language Reo and discuss possible realizations of roles and related concepts. The static requirements on the binding of roles are modeled by rule sets expressed in many-sorted second-order logic and annotations on the Reo networks for role binding, context and collaborations, while Reo connectors are used to model the coordination of runtime role playing. The ideas presented in this paper may serve as a basis for the formalization and formal analysis of role-based software systems.
In this paper, we propose a hierarchical role-based approach for modeling relationships and collaborations between components. In particular, we consider the channel-based, exogenous coordination language Reo and discuss possible realizations of roles and related concepts. The static requirements on the binding of roles are modeled by rule sets expressed in many-sorted second-order logic and annotations on the Reo networks for role binding, context and collaborations, while Reo connectors are used to model the coordination of runtime role playing. The ideas presented in this paper may serve as a basis for the formalization and formal analysis of role-based software systems.
Details
Original language | English |
---|---|
Title of host publication | Theory and Practice of Formal Methods |
Editors | Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Pages | 122-139 |
Number of pages | 18 |
Publication status | Published - 2016 |
Peer-reviewed | No |
Publication series
Series | Lecture Notes in Computer Science, Volume 9660 |
---|---|
ISSN | 0302-9743 |
External IDs
Scopus | 84962496622 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236671 |
ORCID | /0000-0003-1724-2586/work/165453578 |
Keywords
Keywords
- Soccer Player, Role Player, Operational Semantic, Atomic Component, Router Node