Formalizing model consistency based on the abstract syntax

Authors:
Frank Trollmann;Marco Blumendorf;Veit Schwartze;Sahin Albayrak
Affiliations:
Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany;Technische Universität Berlin, Berlin, Germany
Venue:
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
Year:
2011

Citing 11
Cited 0

A framework for multi-valued reasoning over inconsistent viewpoints

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
An adaptive casteship mechanism for developing multi-agent systems

International Journal of Computer Applications in Technology
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting model inconsistency through operation-based model construction

Proceedings of the 30th international conference on Software engineering
Global consistency checking of distributed models with TReMer+

Proceedings of the 30th international conference on Software engineering
A Survey of Consistency Checking Techniques for UML Models

ASEA '08 Proceedings of the 2008 Advanced Software Engineering and Its Applications
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective

REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
How far can enterprise modeling for banking be supported by graph transformation?

ICGT'10 Proceedings of the 5th international conference on Graph transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we define a notion to describe consistency within and between models, which has been identified as important issue when using model-based tools. We introduce the abstract syntax of models as attributed typed graphs and define a formalism of consistency based on this formal description. The application of the formalism is illustrated by an example.