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

摘要 从软件设计实践出发，针对基于Web应用服务和设计模式的软件设计方法，提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础，以服务构件标识为范畴对象，以服务构件之间的交互和依赖关系为范畴态射，从而用范畴图表给出了软件体系结构模型的框架描述.设计模式看成是构件规范的模板，模板的实例化和规范的集成过程就是软件设计和实现的过程，从而建立起了模型转换和精化中特性描述和一致性研究的统一框架.应用研究表明，该框架符合模型驱动软件设计的本质要求，为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究的指导架构