Research on formal framework design method of general template
Wan Lin-rui · Jisuanji gongcheng yu sheji · 2008
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 summarize and extend the formal design methods of templates and are realizable.