Formal Foundation for Pattern-Based Modelling

Authors:
Paolo Bottoni;Esther Guerra;Juan Lara
Affiliations:
Università di Roma "Sapienza", Italy;Universidad Carlos III de Madrid, Spain;Universidad Autónoma de Madrid, Spain
Venue:
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
Year:
2009

Citing 12
Cited 2

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Towards pattern-based design recovery

Proceedings of the 24th International Conference on Software Engineering
Workflow Patterns

Distributed and Parallel Databases
Precise Visual Specification of Design Patterns

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Support for Design Patterns Through Graph Transformation Tools

AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A UML-Based Pattern Specification Technique

IEEE Transactions on Software Engineering
Precise Modeling of Design Patterns in UML

Proceedings of the 26th International Conference on Software Engineering
Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
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)
Visualizing Design Patterns in Their Applications and Compositions

IEEE Transactions on Software Engineering
Pattern-based design evolution using graph transformation

Journal of Visual Languages and Computing
Finding the pattern you need: the design pattern intent ontology

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

A language-independent and formal approach to pattern-based modelling with support for composition and analysis

Information and Software Technology
Lessons learned from building a graph transformation system

Graph transformations and model-driven engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a new visual and formal approach to the specification of patterns, supporting pattern analysis and pattern-based model completion. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Novel in our proposal is the possibility of describing (nested) variable submodels, as well as inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns). We illustrate the approach on UML design patterns, and discuss its generality and applicability on different types of patterns, e.g. workflow patterns using Coloured Petri nets.