Modeling Role-Based Systems with Exogenous Coordination
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | Theory and Practice of Formal Methods |
Redakteure/-innen | Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Seiten | 122-139 |
Seitenumfang | 18 |
Publikationsstatus | Veröffentlicht - 2016 |
Peer-Review-Status | Nein |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 9660 |
---|---|
ISSN | 0302-9743 |
Externe IDs
Scopus | 84962496622 |
---|---|
ORCID | /0000-0002-5321-9343/work/142236671 |
ORCID | /0000-0003-1724-2586/work/165453578 |
Schlagworte
Schlagwörter
- Soccer Player, Role Player, Operational Semantic, Atomic Component, Router Node