Formalization and Mechanization of Design Patterns
Design patterns are widely used to achieve largescale reuse by capturing successful practice in software development, but their implementations still remain redundant and burdensome. The paper presents a theory-based framework to formalize design patterns and mechanize the refinement process from pattern specifications to executable programs. The framework focuses concern on the interactive relationships between objects and explicitly supports object-oriented specification composition and refinement at different levels of abstraction and granularity.Using category theoretic computations, a predefined design pattern and its refinement path can be directly applied to a new problem within the same pattern context, and an executable, provably correct program can be automatically generated.
Design Pattern Category theory Refinement
ZHENG Yujun SHI Haihe XUE Jinyun
Systems Engineering Institute of Engineer Equipment Beijing 100093, China College of Computer Information Engineering Jiangxi Normal University Nanchang 330027, China
国际会议
厦门
英文
892-897
2006-07-27（万方平台首次上网日期，不代表论文的发表时间）