便捷模型驱动软件开发方法在线教学系统的研究与实现

发布时间：2020-03-19 09:14

【摘要】：软件工程一直面临的巨大挑战是如何提高软件开发的效率和软件的质量。模型驱动软件开发(Model Driven Development,MDD),是改变软件生产效率低、质量差、维护难等问题的最有效方法,是软件开发技术的革命性变革。当前实现MDD的途径主要分为两种:基于UML的MDD和基于形式化方法的MDD。尽管基于UML的MDD已经得到广泛使用,但却存在语法和语义不够严格等问题,难以保证软件的质量,因此备受学术界的批评。便捷模型驱动软件开发方法,是本文指导教师薛锦云教授提出的一种基于形式化的MDD开发方法,该方法具有严格的数学理论基础,同时提出了诸多创新性概念与技术,使得建模语言、模型表示、模型变换和模型的正确性验证,均建立在严谨的理论基础上。应用该方法开发的软件具有可靠性高和可维护性好等优点,并已经应用在航空军用等领域的安全性攸关(Safety-Critical)软件中。尽管如此,理解掌握该软件开发方法的人仍较少,其主要原因是该方法理论知识较复杂,缺少相应的辅助教学系统,学生自学难度大,限制了该方法的推广。因此,急需研制针对该方法学习特点的在线教学系统。本文对便捷模型驱动软件开发方法进行了深入的研究,针对该方法的学习特点,设计实现了相应的在线教学系统。该系统的功能包括跨媒体课程教学、在线建模、在线程序编译运行等,这些功能能够帮助学生在学习的过程中理论与实践相结合,循序渐进地理解掌握便捷模型驱动软件开发方法。本文的主要创新包括以下几个方面:1、本教学系统在课程制作上充分应用了新型泛型思想,将文字、图片、音频、视频等各种形式的课程内容高度抽象成为统一的对象,使得将各种课程内容的添加转换成统一的对象的添加,极大地简化了课程的制作过程,有利于快速制作课程。2、本教学系统不仅使用了跨媒体服务组合技术,使得课程内容的表现形式更加丰富,有利于将课程内容讲解得生动活泼,更是提供了在线建立模型、模型转换、程序运行等功能,使得用户在线学习理论课程的同时还可以直接进行动手实践,十分有利于提高用户的学习效率。这些功能在MOOC等在线教学系统中都不支持。
【图文】：

流程图,模型驱动,软件开发,流程

语法 σ{条件 C}(表名/集合 A) 从 A {属性集 S}(表名/集合 A) A X B 返A ∞ B 返A ∪ B A － B A ÷ B 便捷模型驱动软件开发流程的介绍，我们对便捷模型驱动软件开，便捷模型驱动的软件开发流程，即是，每一个变换的过程都可以用前面介绍模流程如图 2-1：非量词问题

架构图,模型驱动,教学系统,开发方法

图 3-1 便捷模型驱动开发方法教学系统架构图第一层为用户表现层，该层为教学系统的页面展示，用户通过浏览器即可访问到教学系统的用户界面。当用户在页面点击相应功能进行操作时，前端界面的操作请求，会与位于第二层的业务处理层进行交互。页面将用户的操作请求发送给处理模块，处理模块完成处理后将结果返回给页面。此外，根据处理模块需要实现的功能不同，还需要与位于第三层的服务支撑层进行交互，服务支撑层包括流媒体服务器、MySQL 数据库、模型转换服务等。对于需要与数据库交互（如数据的查询、存储）的模块，需要访问本系统选择的物理数据库——MySQL 数据库。对于模型转换处理模块，将访问部署在服务器上的模型转换服务。对于课程学习模块需要请求流媒体服务器，实现流媒体视频的播放。程序编译运行模块的处理则需要调用对应语言的编译器。3.3.2 系统的功能结构通过对便捷模型驱动软件开发方法在线教学系统的需求分析，本系统的可分
【学位授予单位】：江西师范大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：G434;TP311.52

【相似文献】