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

作     者：万剑怡 薛锦云 

作者机构：上海交通大学 江西师范大学计算机科学系南昌330027 

基　　金：国家自然科学基金项目 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2001年第27卷第5期

页      码：8-9,21页

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

主 题 词：设计模式 形式规范 混合规范模型 软件设计 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2001.05.004

馆 藏 号：203741111...