- Titel
- Modeling Role-Based Systems with Exogenous Coordination
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-707915
- Quellenangabe
- Theory and Practice of Formal Methods
Erscheinungsort: Berlin
Verlag: Springer
Erscheinungsjahr: 2016
Titel Schriftenreihe: Lecture Notes in Computer Science
Bandnummer Schriftenreihe: 9660
Seiten: 122-139
E-ISBN: 978-3-319-30733-6 - Erstveröffentlichung
- 2016
- Abstract (EN)
- 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.
- Andere Ausgabe
- Zuerst erschienen in 'Theory and Practice of Formal Methods’.
DOI: 10.1007/978-3-319-30734-3_10 - Freie Schlagwörter (DE)
- Formale Methoden, Rollenbasierte Systems, Exogene Koordination
- Freie Schlagwörter (EN)
- formal methods, role-based systems, exogenous coordination
- Klassifikation (DDC)
- 004
- Klassifikation (RVK)
- ST 257
- Verlag
- Springer, Berlin
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa2-707915
- Veröffentlichungsdatum Qucosa
- 12.05.2020
- Dokumenttyp
- Buchbeitrag
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
