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

sle2015
10:30 - 12:00: SLE - Formal Modeling and Language Validation at Grand Station 2
Chair(s): Marco BrambillaPolitecnico di Milano, Italy
sle201510:30 - 11:00
Talk
Christoff BürgerLund University, Sweden
DOI
sle201511:00 - 11:30
Talk
Jesús J. López-FernándezAutonomous University of Madrid, Spain, Esther GuerraAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain
DOI
sle201511:30 - 12:00
Talk
Thomas KühnTU Dresden, Germany, Stephan BöhmeTU Dresden, Germany, Sebastian GötzTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI