摘要： 设计模式形式规范描述的研究对于设计模式的广泛重用具有重要的意义。以设计模式的模型规范描(DPs)3(Three-model Specification)述方法为基础,提出了一种设计模式的混合规范描述模型。该模型采用图示化的手段描述的静态结构,采用图示化和时态逻辑方法相结DPs合的手段描述动态行为中各参与者行为操作的语义,克服了一般图示化方法对进行完整描述需借助自然语言的补充从而DPs(participants)DPs引起的二义性问题,比较精确、完整地描述了的静态结构和动态行为。DPs

关键词: 设计模式, 形式规范, 混合规范模型

Abstract: The research on formal specification for design patterns (DPs) acts an important role in reuse of design patterns. This paper proposes a hybrid specification model for DPs based on the three-model specification. This model depicts the static structure of DPs using diagrams, and it describes the semantics of participants' actions on DP dynamic behaviors through binding diagrams and temporal logic method. With doing so, the model avoids the ambiguity when using natural language as supplement on diagram specification, and it describes static structures and dynamic behaviors of DPs in a precise and complete way. ;;

中图分类号: 

• TP182