Modeling Role-Based Systems with Exogenous Coordination

Philipp ChrszonPhilipp Chrszon, Clemens DubslaffClemens Dubslaff, Christel BaierChristel Baier, Joachim KleinJoachim Klein, Sascha KlüppelholzSascha Klüppelholz

DOI Link

Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination
Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, 122--139, 2016. Springer

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-30734-3_10.

@inproceedings{CDBKK2016,
  author    = {Philipp Chrszon and Clemens Dubslaff and Christel Baier and
               Joachim Klein and Sascha Kl{\"{u}}ppelholz},
  title     = {Modeling Role-Based Systems with Exogenous Coordination},
  booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
               de Boer on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {9660},
  publisher = {Springer},
  year      = {2016},
  pages     = {122--139},
  doi       = {10.1007/978-3-319-30734-3_10}
}