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

• 作者: 万剑怡 薛锦云
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 设计模式 形式规范 混合规范模型
• 年，卷（期）: 2001,（5）
• 所属期刊栏目: 国家级基金项目论文
• 页码范围: 8-9，21
• 页数: 3页
• 分类号: TP182
• 字数: 2914字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2001.05.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	万剑怡		33	207	8.0	12.0
3	薛锦云	江西师范大学计算机科学系	77	745	15.0	23.0