Reasoning about design patterns with an Aspect-Oriented approach

Abstract

The formal specification of design pattern clarifies the concepts underlying patterns, eliminates ambiguity, and complements the informal text-based descriptions. Based on previous works on formal specification of design patterns, this paper focuses on enriching the formal specification of design patterns using the Aspect-Oriented approach. This paper presents some properties of patterns in order to prove how predicate logic can be used to reason in the Aspect-Oriented approach.