A Mathematical Formalism for Specifying Design Patterns

Model based software development uses design patterns to capture successful designs and micro-architectures. This paper presents the essential constructs of a mathematical formalism for the specification of design patterns. The specification constitutes an extension of basic concepts from many-sorted algebra. The approach can be used to determine efforts for component reuse, facilitate automatic program verification, and aid complex software development by providing the developer with design alternatives.