文献类型：期刊文章

作　　者：万剑怡[1] 薛锦云[2]

机构地区：[1]上海交通大学 [2]江西师范大学计算机科学系,南昌330027

出　　处：《计算机工程》

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

年　　份：2001

卷　　号：27

期　　号：5

起止页码：8-9

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP311.1]