Basic category theory for computer scientists
Basic category theory for computer scientists
Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Hierarchical graph transformation
Journal of Computer and System Sciences
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Distributed Graph Transformation Units
ICGT '02 Proceedings of the First International Conference on Graph Transformation
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Extending UML for Model Composition
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Attributed graph transformation with node type inheritance
Theoretical Computer Science
A distribution technique for graph rewriting and model transformation systems
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
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
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
On Language-Independent Model Modularisation
Transactions on Aspect-Oriented Software Development VI
An algebra of hierarchical graphs
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
A component concept for typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A modular model composition technique
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Categorical foundations of distributed graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
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 |
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which deserve a modularization concept to enable their structured development in larger teams. Graphs are a natural way to represent the underlying structure of visual models. Typed graphs with inheritance and containment structures are well suited to describe the essentials of models based on the Eclipse Modeling Framework (EMF). Composite graphs can specify the logical distribution of EMF models and therefore, can form the conceptual basis for composite modeling in model-driven development. This is done based on the formal foundation of distributed graphs. Moreover, this category-theoretical foundation allows for the precise definition of consistent composite graph transformations satisfying all inheritance and containment conditions.