Expressing model relations as basis for structural consistency analysis in models@run.time

Authors:
Frank Trollmann;Sahin Albayrak
Affiliations:
Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany
Venue:
Proceedings of the 7th Workshop on Models@run.time
Year:
2012

Citing 10
Cited 0

Plasticity of User Interfaces: A Revised Reference Framework

TAMODIA '02 Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)

Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Attributed graph transformation with node type inheritance

Theoretical Computer Science
Survey of Traceability Approaches in Model-Driven Engineering

EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Correctness of high-level transformation systems relative to nested conditions†

Mathematical Structures in Computer Science
Models@ run.time

Computer
An agent-based approach to user-initiated semantic service interconnection

AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Bridging models and systems at runtime to build adaptive user interfaces

Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Incremental model synchronization for efficient run-time monitoring

MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Structural consistency is crucial in models@run.time. Since the designer is usually not around at run time the running system needs to be able to detect and resolve inconsistencies automatically. This requires means to formally express consistency requirements in and between models. In this vision paper we informally introduce the formalism of Graph Diagrams which can serve as a notation for multiple models@run.time and their relationships as a basis for structural consistency analysis.