SLE 2015 paper:
A Combined Formal Model for Relational Context-Dependent Roles

Thomas Kühn, Stephan Böhme, Sebastian Götz, Uwe Aßmann

DOI: 10.1145/2814251.2814255
T1A: Design
- The paper proposes a coherent role-based modeling language that combines relational and context-dependent roles.
T5D: Formal Methods
- It develops a formal model with constraints/definitions to precisely characterise the language.
T1B: Static Semantics
- The language includes well-defined constraints that act as static semantic checks over role models.
T3C: DSLs
- Role-based modeling is treated as a domain-specific modeling language for complex systems.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.