一种设计模式的混合规范描述模型研究

摘要：

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

关键词：设计模式、形式规范、混合规范模型

所属期刊栏目：27

分类号：TP182(自动化基础理论)

资助基金：国家自然科学基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：8-9，21