Programming Pattern-based Composition in Golog
Pattern-based composition is rather complex and need formal treatments. This paper demonstrates an approach based on logic programming language Golog, whose logical foundations roots in the Situation Calculus. The first step is formalizing design patterns by a set of fluents, actions and corresponding axioms in the Situation Calculus. Based on the formal specification of the underlying patterns, we program their composition in Golog. The program constructs available in Golog provide us with flexible and expressive means for pattern composition. Since the composed specifications in Golog can be regress into the Situation Calculus formulas by Golog interpreter, the properties of underlying patterns can be preserved in their composition. As a case study, we formalize and compose the Mediator pattern and Observer pattern.
design pattern composition logic programming Siuation Calculus Golog
QIANG LIU ZONGYUAN YANG Ying Liu
Department of Computer Science and Technology, East China Normal University Shanghai, China Department of Computer Science, Shandong Economic and Commercial Vocational College Shandong, China
国际会议
北京
英文
1234-1238
2009-08-08（万方平台首次上网日期，不代表论文的发表时间）