基于模型驱动的Web应用服务系统开发理论框架
|
摘要
从软件设计实践出发,针对基于Web应用服务和设计模式的软件设计方法,提出了一种新的模型驱动开发理论框架.该框架以类型范畴理论为基础,以服务构件标识为范畴对象,以服务构件之间的交互和依赖关系为范畴态射,从而用范畴图表给出了软件体系结构模型的框架描述.设计模式看成是构件规范的模板,模板的实例化和规范的集成过程就是软件设计和实现的过程,从而建立起了模型转换和精化中特性描述和一致性研究的统一框架.应用研究表明,该框架符合模型驱动软件设计的本质要求,为模型转换和模型驱动的Web应用服务开发提供了新的认知、分析和研究的指导架构.
Starting from software practice,and aimed at Web service application based and design pattern oriented software design methodology,a newtheoretical 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 are 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 newtheoretical guideline for the cognition,analysis and research of model transformation and model driven Web service application development.
Starting from software practice,and aimed at Web service application based and design pattern oriented software design methodology,a newtheoretical 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 are 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 newtheoretical guideline for the cognition,analysis and research of model transformation and model driven Web service application development.
引文
[1]Wang Gui-ling,Han Yan-bo,Zhang Zhong-mei,et al. Cloud-based integration and service of streaming data[J]. Chinese Journal of Computers,2017,40(1):108-124.
[2]Lv Chen,Jiang Wei,Hu Song-lin,et al. Dynamic environment–oriented self-adaptation of service composition[J]. Chinese Journal of Computers,2016,39(2):305-322.
[3]Tahereh Nodehi,Sudeep Ghimire,Ricardo Jardim-Goncalves,et al.On M DA-SOA based inter-cloud interoperability framew ork[J].Computational M ethods in Social Sciences,2013,1(1):5-22.
[4]He Xiao,Ma Zhi-yi,Wang Rui-chao,et al. Semantics-Configurable model transformation[J]. Journal of Softw are,2013,24(7):1436-1454.
[5]Yang Bo,Wu Ji,Xu Luo,et al. An approach of modeling software testing requirements and generating test case[J]. Chinese Journal of Computers,2014,37(3):522-538.
[6]Du Yi,Guo Dan-huai,Chen Xin,et al. Model-driven visualization generation system[J]. Journal of Software,2016,27(5):1199-1211.
[7]He Xiao,Li Wen-feng,Zhang Tian,et al. Randomized approach to softw are model generation[J]. Journal of Softw are,2017,28(4):907-924.
[8]Sun Wei-jun,Li Shi-xian,Yan Yu-qing. Study on the formalization of model evolution w ith model driven architecture[J]. Computer Science,2012,39(6):116-119,150.
[9]Li Jin,Zhan De-chen,Nie Lan-shun,et al. Research on the architecture of modeling languages for model driven development[J].Journal of Nanjing University(Natural Sciences),2010,46(4):465-475.
[10]Nie Kun-ming,Zhang Li. A software product line domain requirement model construction method based on model difference and model composition[J]. Chinese Journal of Computers,2014,37(3):539-550.
[11]Barr Michael,Wells Charies. Category theory for computing science[M]. New Jersey:Prentice-Hall,1990.
[12]Hou Jin-kui,Wan Jian-cheng,Yang Xiao,et al. Formal semantics of component-based architecture model mapping[J]. Journal of Computer Research and Development,2009,46(2):310-320.
[13]Hou Jin-kui. Research on formal architectural semantics and transformational consistency supporting model driven development[D]. Jinan:Shandong University,2008.
[14] Lu Xu-dong. Research on semantic consistency in user interface model[D]. Jinan:Shandong University,2010.
[15]Paulo S C Alencar,Donald D Cowan,Carlos J P Lucena. A logical theory of interfaces and objects[J]. IEEE Transactions on Softw are Engineering,2002,28(6):548-575.
[16] Lu Ru-qian. Towards a mathematical theory of knowledge[J].Journal of Computer Science and Technology,2005,20(6):751-757.
[17]Weston Nathan,Chitchyan Ruzanna,Rashid Awais. Formal semantic conflict dection in aspect oriented requirements[J]. Requirements Engineering,2009,14(4):247-268.
[18]Hou Jin-kui,Wang Lei. Formal model supporting web service composition and verification[J]. Journal of Computer Applications,2015,35(6):1773-1779.
[1]王桂玲,韩燕波,张仲妹,等.基于云计算的流数据集成与服务[J].计算机学报,2017,40(1):108-124.
[2]吕晨,姜伟,虎嵩林,等.面向动态环境的复合服务自适应方法[J].计算机学报,2016,39(2):305-322.
[4]何啸,麻志毅,王瑞超,等.语义可配置的模型转换[J].软件学报,2013,24(7):1436-1454.
[5]杨波,吴际,徐珞,等.一种软件测试需求建模及测试用例生成方法[J].计算机学报,2014,37(3):522-538.
[6]杜一,郭旦怀,陈昕,等.一种模型驱动的可视化生成系统[J].软件学报,2016,27(5):1199-1211.
[7]何啸,李文峰,张天,等.一种随机化的软件模型生成方法[J].软件学报,2017,28(4):907-924.
[8]孙为军,李师贤,严玉清.模型驱动环境下模型演化的形式化研究[J].计算机科学,2012,39(6):116-119,150.
[9]李晋,战德臣,聂兰顺,等.支持模型驱动式软件开发的建模语言框架研究[J].南京大学学报(自然科学),2010,46(4):465-475.
[10]聂昆明,张莉.基于模型对比和组合的软件产品线领域需求建模[J].计算机学报,2014,37(3):539-550.
[12]侯金奎,万建成,杨潇,等.构件式体系结构模型映射的形式化语义[J].计算机研究与发展,2009,46(2):310-320.
[13]侯金奎.支持模型驱动开发的体系结构形式化语义与转换一致性研究[D].济南:山东大学,2008.
[14]鹿旭东.用户界面模型语义一致性研究[D].济南:山东大学,2010.
[18]侯金奎,王磊.支持web服务组合与验证的形式化模型[J].计算机应用,2015,35(6):1773-1779.
[2]Lv Chen,Jiang Wei,Hu Song-lin,et al. Dynamic environment–oriented self-adaptation of service composition[J]. Chinese Journal of Computers,2016,39(2):305-322.
[3]Tahereh Nodehi,Sudeep Ghimire,Ricardo Jardim-Goncalves,et al.On M DA-SOA based inter-cloud interoperability framew ork[J].Computational M ethods in Social Sciences,2013,1(1):5-22.
[4]He Xiao,Ma Zhi-yi,Wang Rui-chao,et al. Semantics-Configurable model transformation[J]. Journal of Softw are,2013,24(7):1436-1454.
[5]Yang Bo,Wu Ji,Xu Luo,et al. An approach of modeling software testing requirements and generating test case[J]. Chinese Journal of Computers,2014,37(3):522-538.
[6]Du Yi,Guo Dan-huai,Chen Xin,et al. Model-driven visualization generation system[J]. Journal of Software,2016,27(5):1199-1211.
[7]He Xiao,Li Wen-feng,Zhang Tian,et al. Randomized approach to softw are model generation[J]. Journal of Softw are,2017,28(4):907-924.
[8]Sun Wei-jun,Li Shi-xian,Yan Yu-qing. Study on the formalization of model evolution w ith model driven architecture[J]. Computer Science,2012,39(6):116-119,150.
[9]Li Jin,Zhan De-chen,Nie Lan-shun,et al. Research on the architecture of modeling languages for model driven development[J].Journal of Nanjing University(Natural Sciences),2010,46(4):465-475.
[10]Nie Kun-ming,Zhang Li. A software product line domain requirement model construction method based on model difference and model composition[J]. Chinese Journal of Computers,2014,37(3):539-550.
[11]Barr Michael,Wells Charies. Category theory for computing science[M]. New Jersey:Prentice-Hall,1990.
[12]Hou Jin-kui,Wan Jian-cheng,Yang Xiao,et al. Formal semantics of component-based architecture model mapping[J]. Journal of Computer Research and Development,2009,46(2):310-320.
[13]Hou Jin-kui. Research on formal architectural semantics and transformational consistency supporting model driven development[D]. Jinan:Shandong University,2008.
[14] Lu Xu-dong. Research on semantic consistency in user interface model[D]. Jinan:Shandong University,2010.
[15]Paulo S C Alencar,Donald D Cowan,Carlos J P Lucena. A logical theory of interfaces and objects[J]. IEEE Transactions on Softw are Engineering,2002,28(6):548-575.
[16] Lu Ru-qian. Towards a mathematical theory of knowledge[J].Journal of Computer Science and Technology,2005,20(6):751-757.
[17]Weston Nathan,Chitchyan Ruzanna,Rashid Awais. Formal semantic conflict dection in aspect oriented requirements[J]. Requirements Engineering,2009,14(4):247-268.
[18]Hou Jin-kui,Wang Lei. Formal model supporting web service composition and verification[J]. Journal of Computer Applications,2015,35(6):1773-1779.
[1]王桂玲,韩燕波,张仲妹,等.基于云计算的流数据集成与服务[J].计算机学报,2017,40(1):108-124.
[2]吕晨,姜伟,虎嵩林,等.面向动态环境的复合服务自适应方法[J].计算机学报,2016,39(2):305-322.
[4]何啸,麻志毅,王瑞超,等.语义可配置的模型转换[J].软件学报,2013,24(7):1436-1454.
[5]杨波,吴际,徐珞,等.一种软件测试需求建模及测试用例生成方法[J].计算机学报,2014,37(3):522-538.
[6]杜一,郭旦怀,陈昕,等.一种模型驱动的可视化生成系统[J].软件学报,2016,27(5):1199-1211.
[7]何啸,李文峰,张天,等.一种随机化的软件模型生成方法[J].软件学报,2017,28(4):907-924.
[8]孙为军,李师贤,严玉清.模型驱动环境下模型演化的形式化研究[J].计算机科学,2012,39(6):116-119,150.
[9]李晋,战德臣,聂兰顺,等.支持模型驱动式软件开发的建模语言框架研究[J].南京大学学报(自然科学),2010,46(4):465-475.
[10]聂昆明,张莉.基于模型对比和组合的软件产品线领域需求建模[J].计算机学报,2014,37(3):539-550.
[12]侯金奎,万建成,杨潇,等.构件式体系结构模型映射的形式化语义[J].计算机研究与发展,2009,46(2):310-320.
[13]侯金奎.支持模型驱动开发的体系结构形式化语义与转换一致性研究[D].济南:山东大学,2008.
[14]鹿旭东.用户界面模型语义一致性研究[D].济南:山东大学,2010.
[18]侯金奎,王磊.支持web服务组合与验证的形式化模型[J].计算机应用,2015,35(6):1773-1779.