基于模型驱动的Web应用服务系统开发理论框架  

Theoretical Framework for Model-driven Web Service Application Development

作　　者：侯金奎[1] 鹿旭东 陈春雷 王磊[1] HOU Jin-kui;LU Xu-dong;CHEN Chun-lei;WANG Lei(School of Computer Engineering,Weifang University,Weifang 261061,China;School of Computer Software,Shandong University,Jinan 250061,China)

机构地区：[1]潍坊学院计算机工程学院 [2]山东大学软件学院

出　　处：《小型微型计算机系统》2018年第10期2345-2352,共8页Journal of Chinese Computer Systems

基　　金：山东省科技发展计划项目(2011YD01042;2011YD01043)资助;山东省星火计划项目(2011XH06017)资助

摘　　要：从软件设计实践出发,针对基于Web应用服务和设计模式的软件设计方法,提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础,以服务构件标识为范畴对象,以服务构件之间的交互和依赖关系为范畴态射,从而用范畴图表给出了软件体系结构模型的框架描述.设计模式看成是构件规范的模板,模板的实例化和规范的集成过程就是软件设计和实现的过程,从而建立起了模型转换和精化中特性描述和一致性研究的统一框架.应用研究表明,该框架符合模型驱动软件设计的本质要求,为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究的指导架构.Starting from software practice, and aimed at Web service application based and design pattern oriented software design methodology, a new theoretical framework for model-driven software development is proposed in this paper. The framework is based on signature and formalized with typed categories, in which service component signature is used as category object, and the interaction and dependency relationships among the service components are regarded as category morphisms. In this way, the framework description of software architecture is given by typed category diagram. Herein, design patterns are viewed as component specification templates, and the process of template instantiation as well as specification integration axe the process of software design and implementation. Upon these, the formal morphology and its semantics preservation or semantics equivalence of model transformation are established. The research experiment shows that the framework conforms to the essential requirement of model driven software design, and provides a new theoretical guideline for the cognition, analysis and research of model transformation and model driven Web service application development.

关 键 词：Web应用服务系统 模型驱动开发 模型转换 模型精化 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]