DESIGN PATTERNS IN SITUATION CALCULUS

The formalization of design patterns should concern both their structure and behavior. However, many proposed approaches either focused on only one aspect of them or handled them separately using different and incompatible formalisms. To complete and merge the specification of both aspects, we propose an approach based on Situation Calculus in this paper. Firstly, we introduced the core concepts in design patterns and distinguished two types of relations: static relation and dynamic relation, which are capable of modeling pattern's structure and behavior respectively. Then we established a mapping relation between the concepts in design patterns and Situation Calculus, which can serve as a general strategy for translating the informal descriptions of design patterns into their formal correspondences in Situation Calculus. As a case study, we formalized the Observer pattern. Finally we explored the potential uses of our approach by using Projection and Planning in Situation Calculus.