RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Merging partial behavioural models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views
VLHCC '05 Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Proceedings of the 2006 international workshop on Global integrated model management
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Towards a distributed modeling process based on composite models
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, each one of them describing some aspect of the system. Existing formal techniques supporting view-based visual modeling are based on typed attributed graphs, where views are related by typed attributed graph morphisms. Such morphisms up to now require a fixed type graph, as well as a fixed data signature and domain. This is in general not adequate for view-oriented modeling where only parts of the complete type graph and signature are known and necessary when modeling a partial view of the system. The aim of this paper is to extend the framework of typed attributed graph morphisms to generalized typed attributed graph morphisms, short GAG-morphisms, which involve changes of the type graph, data signature, and domain. This allows the modeler to formulate type hierarchies and views of visual languages defined by GAG-morphisms between type graphs, short GATG-morphisms. In this paper we study the interaction and integration of views, and the restriction of views along type hierarchies. In the main result we present suitable conditions for the integration and decomposition of consistent view models. As a running example we use a visual domain-specific modeling language to model coarse-grained IT components and their connectors in decentralized IT infrastructures.