Modeling Role-Based Systems with Exogenous Coordination

Research output: Contribution to book/conference proceedings/anthology/reportChapter in book/anthology/reportContributed

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

Original languageEnglish
Title of host publicationTheory and Practice of Formal Methods
EditorsErika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
Pages122-139
Number of pages18
Publication statusPublished - 2016
Peer-reviewedNo

Publication series

SeriesLecture Notes in Computer Science, Volume 9660
ISSN0302-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

Library keywords