A Combined Formal Model for Relational Context-Dependent Roles
Role-based modeling has been investigated for over 35 years as a promising paradigm to model complex, dynamic systems. Although current software systems are characterized by increasing complexity and context-dependence, all this research had almost no influence on current software development practice, still being discussed in recent literature. One reason for this is the lack of a coherent, comprehensive, readily applicable notion of roles. Researchers focused either on relational roles or context-dependent roles rather then combining both natures. Currently, there is no role-based modeling language sufficiently incorporating both the relational and context-dependent nature of roles together with the various proposed constraints. Hence, this paper formalizes a full-fledged role-based modeling language supporting both natures. To show its sufficiency and adequacy, a real world example is employed.
Tue 27 OctDisplayed time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | Formal Modeling and Language ValidationSLE at Grand Station 2 Chair(s): Marco Brambilla Politecnico di Milano, Italy | ||
10:30 30mTalk | Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview SLE Christoff Bürger Lund University, Sweden DOI | ||
11:00 30mTalk | Example-Based Validation of Domain-Specific Visual Languages SLE Jesús J. López-Fernández Autonomous University of Madrid, Spain, Esther Guerra Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain DOI | ||
11:30 30mTalk | A Combined Formal Model for Relational Context-Dependent Roles SLE Thomas Kühn TU Dresden, Germany, Stephan Böhme TU Dresden, Germany, Sebastian Götz TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany DOI |