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.
Cite
CITATION STYLE
Bottoni, P., Guerra, E., & Lara, J. D. (2009). Formal foundation for pattern-based modelling. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5503, pp. 278–293). https://doi.org/10.1007/978-3-642-00593-0_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
