通用模板的形式框架设计方法研究

摘要

以协同工作平台服务(CWPS)软件构架研究项目为背景,从中抽象模板的通用形式框架.首先基于元模型理念,给出不同类型模板结构的元模型表示.进而探讨通用模板的形式框架,重点研究模板结构的形式语义表示,提出一种模板定义语言.最后给出形式模板的实例化方法以及典型案例.该元模型和模板定义语言,系统地总结并扩展了模板的形式化设计方法,具有可实现性.