| 通用模板的形式框架设计方法研究 |
| |
| 引用本文： | 唐轫,万麟瑞.通用模板的形式框架设计方法研究[J].计算机工程与设计,2008,29(16). |
| |
| 作者姓名： | 唐轫 万麟瑞 |
| |
| 作者单位： | 南京航空航天大学,信息科学与技术学院,江苏,南京,210016 |
| |
| 摘 要： | 以协同工作平台服务(CWPS)软件构架研究项目为背景,从中抽象模板的通用形式框架.首先基于元模型理念,给出不同类型模板结构的元模型表示.进而探讨通用模板的形式框架,重点研究模板结构的形式语义表示,提出一种模板定义语言.最后给出形式模板的实例化方法以及典型案例.该元模型和模板定义语言,系统地总结并扩展了模板的形式化设计方法,具有可实现性.
|
| 关 键 词： | 模板结构 元模型表示 形式语义表示 扩展机制 实例化 |
Research on formal framework design method of general template |
| |
| TANG Ren,WAN Lin-rui.Research on formal framework design method of general template[J].Computer Engineering and Design,2008,29(16). |
| |
| Authors: | TANG Ren WAN Lin-rui |
| |
| Affiliation: | TANG Ren,WAN Lin-rui(College of Information Science , Technology,Nanjing University of Aeronautics , Astronautics,Nanjing 210016,China) |
| |
| Abstract: | General formal framework of template based on the project of CWPS(cooperative workflow platform service) is abstracted.First,meta-models of templates of different kinds are given.Then the formal framework of general template is discussed,the formal semantics of template structure is mainly explored and a language of template is built up.Finally,a method of instantiating formal tem-plates and an instance are given.Some meta-models and a template definition language are introduced which systematically summari... |
| |
| Keywords: | template structure meta-model representation formal semantic representation extensional mechanism instantiation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
