Tue 27 Oct 2015 11:30 - 12:00 at Grand Station 2 - Formal Modeling and Language Validation Chair(s): Marco Brambilla

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 Oct

Displayed 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
30m
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff Bürger Lund University, Sweden
DOI
11:00
30m
Talk
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
30m
Talk
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