Modeling Role-Based Systems with Exogenous Coordination

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in Buch/Sammelband/GutachtenBeigetragen

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.

Details

OriginalspracheEnglisch
TitelTheory and Practice of Formal Methods
Redakteure/-innenErika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Seiten122-139
Seitenumfang18
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusNein

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 9660
ISSN0302-9743

Externe IDs

Scopus 84962496622
ORCID /0000-0002-5321-9343/work/142236671

Schlagworte

Schlagwörter

  • Soccer Player, Role Player, Operational Semantic, Atomic Component, Router Node

Bibliotheksschlagworte