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