An Algebraic Formalization of the GoF Design Patterns

Details An Algebraic Formalization of the GoF Design Patterns An Algebraic Formalization of the GoF Design Patterns

2010-03-17

arxiv.org/abs/1003.3338v1

Computer Science

Software Engineering

17 pages and 41 figures. Supplementary material for the paper to appear in the Information and Software Technology Journal.

Scientific paper

This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Being based on category theory, the approach can be applied to formalize patterns in different domains. Novel in our proposal is the possibility of describing (nested) variable submodels, inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns), pattern composition, and conflict analysis.

Affiliated with

Also associated with

No associations

Rating

An Algebraic Formalization of the GoF Design Patterns does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Algebraic Formalization of the GoF Design Patterns, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Algebraic Formalization of the GoF Design Patterns will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-233695