检索结果-内蒙古大学图书馆

交互流建模语言到PHP开发环境的映射

引用

陕西理工大学学报（自然科学版） 2019年第6期35卷 48-52页

作者：曹荣凯刘晓燕李丹丹吉春山昆明理工大学信息工程与自动化学院云南昆明650500 金川镍钻研究设计院甘肃金昌737100

为了把交互流建模语言(IFML)建模模型平滑过渡到PHP所在的开发环境中,提出了从IFML模型映射到该环境下的映射方法。首先介绍IFML模型建模的概念,其次给出从IFML模型映射到PHP开发环境的具体方法,最后以实例说明了该方法的可行性。

关键词：交互流建模语言图形化建模 PHP 开发环境映射方法

来源：评论

学校读者我要写书评

暂无评论

基于交互流建模语言的微服务架构建模研究

引用

软件导刊 2018年第1期17卷 165-168页

作者：邓禹刘晓燕昆明理工大学信息工程与自动化学院云南昆明650500

微服务架构以其先进的架构风格将应用分割成细小的服务,而MDA(Model Driver Architecture)集成化的模型开发方法也为解决软件开发效率和可移植性问题提供了实现机制。结合模型驱动实现了微服务架构建模开发,将微服务建模分为概念模型和... 详细信息

微服务架构以其先进的架构风格将应用分割成细小的服务,而MDA(Model Driver Architecture)集成化的模型开发方法也为解决软件开发效率和可移植性问题提供了实现机制。结合模型驱动实现了微服务架构建模开发,将微服务建模分为概念模型和交互模型两个过程。基于交互流建模语言定义概念元模型,设计了模型转换方法,将概念元模型映射到交互模型,并根据其提供的组件设计出一种微服务模型重用机制,提高了开发效率。最终的交互模型以图形化方式显示,提供了直观的模型视图。

关键词：微服务架构 MDA 交互流建模语言模型转换概念元模型

来源：评论

学校读者我要写书评

暂无评论

面向安卓应用建模的IFML扩展

引用

软件学报 2019年第10期30卷 3148-3167页

作者：陆一飞潘敏学张天王林章李宣东计算机软件新技术国家重点实验室(南京大学)

随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模... 详细信息

随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模型来描述其开发需求与设计,以帮助开发人员更好地将注意力集中于应用,加深对开发意图的理解,更好地进行后续的开发工作.然而,当前对安卓应用的建模都采用了传统模型,无法满足安卓应用事件驱动和注重图形用户界面的特点.为此,将注重前端展示以及事件交互的交互流建模语言(IFML)应用于安卓应用的建模,描述应用中的 GUI 结构以及其中工作流的传递,从而指导应用的开发工作.考虑到安卓平台的特点,对IFML 进行了相应的面向安卓的扩展,提高了其可用性与对安卓应用的适用性,并对 IFML 模型进行了形式化定义,使得 IFML 模型能以丰富而又精确的语义来刻画开发者对于安卓应用的设计,并在应用的实现和演化中不断发挥指导作用.另外,进一步探索了 IFML 模型在应用测试这一场景中的作用.基于模型的测试方法能够检验设计和实现的一致性,还能在应用的演化过程中避免测试用例的重复编写.在案例研究中,针对 5 个安卓应用进行了 IFML 建模与测试.实验结果表明,扩展后的 IFML 在安卓应用的建模上可行、有效,所建立的 IFML 模型可直接用于测试工作,用于检测应用实现与设计是否保持一致,从而保证应用的开发质量.

关键词：交互流建模语言安卓应用模型驱动工程基于模型的测试

来源：评论

学校读者我要写书评

暂无评论

一种基于Web和跨平台移动应用的建模语言研究

引用

软件 2017年第12期38卷 246-248页

作者：曹荣凯刘晓燕朱汇龙乐婷婷李丹丹昆明理工大学信息工程与自动化学院云南昆明650500

移动应用的前端设计是一个涉及多门学科而且复杂的任务,这个任务在各方面都不是独立的,并且要使用户体验完美地适应应用目标。然而,移动用户交互的发展在很大程度上仍然是一个手工的工作,这导致了工作中会出现编码错误,不一致和效率低... 详细信息

移动应用的前端设计是一个涉及多门学科而且复杂的任务,这个任务在各方面都不是独立的,并且要使用户体验完美地适应应用目标。然而,移动用户交互的发展在很大程度上仍然是一个手工的工作,这导致了工作中会出现编码错误,不一致和效率低下等问题。模型驱动开发(MDD)以文本或视觉语言代表高级应用程序,可用于通过模型到模型和模型到代码转换来自动生成最终产品。本文提出了一种基于IFML标准模型驱动的移动应用程序开发方法。而且描述了***,一个开源的在线模型驱动开发(MDD)工具,用于从交互流建模语言(IFML)规范中指定和自动生成快速原型的Web和移动应用程序。

关键词：交互流建模语言模型驱动开发跨平台移动应用开发

来源：评论

学校读者我要写书评

暂无评论

基于模型的移动应用功能场景自动标注方法

引用

计算机工程与设计 2023年第10期44卷 3039-3046页

作者：郑晓梅钱正轩李刚王天舒南京中医药大学人工智能与信息技术学院江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210023

对于程序功能场景的识别一直是程序理解方面的难点之一,现有的方法主要还是依靠人工标注。针对该难点,对移动应用的执行过程进行研究,提出一种基于模型的功能场景自动化标注方法AFSLM。基于交互流建模语言IFML国际标准构造刻画移动应用... 详细信息

对于程序功能场景的识别一直是程序理解方面的难点之一,现有的方法主要还是依靠人工标注。针对该难点,对移动应用的执行过程进行研究,提出一种基于模型的功能场景自动化标注方法AFSLM。基于交互流建模语言IFML国际标准构造刻画移动应用执行特征的应用执行路径ARP动态模型,用于直接对应移动应用的测试脚本,设计用于度量功能场景相似度的模型匹配算法,提出基于模型的功能场景自动化标注方法AFSLM,实现将人工测试模型的功能场景标签泛化到自动化工具探索模型上,实现高效的功能场景自动化标注。通过实例研究和实验评估,展示方法的有效性。

关键词：功能场景人工标注自动化标注方法交互流建模语言应用执行路径相似度泛化

来源：评论

学校读者我要写书评

暂无评论

基于IFML元模型自动生成RIA用户界面测试用例研究

引用

现代电子技术 2020年第18期43卷 43-46页

作者：李丹丹刘晓燕曹荣凯严馨昆明理工大学信息工程与自动化学院云南昆明650500

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本... 详细信息

最近OMG推出的交互流建模语言(IFML),其强大的用户界面建模功能现已逐渐应用于RIA用户界面模型驱动开发早期的建模阶段。然而针对RIA用户界面测试依旧停留在开发后期才能使用传统技术进行的问题,使得测试工作需要花费大量的时间和成本。文章给出一种基于IFML元模型自动生成RIA用户界面测试用例的方法。首先,通过Eclipse IFML编辑器建立RIA用户界面的IFML元模型;然后,分别阐述了将IFML元模型转换到测试用例、时间自动机的转换规则,并通过转换引擎生成对应文件;其次,通过UPPAAL对生成的自动机导航模型进行死锁和可达性验证;最后以实例进行了方法验证。

关键词： RIA用户界面测试用例自动生成交互流建模语言元模型建立转换规则文件生成

来源：评论

学校读者我要写书评

暂无评论

基于扩展的IFML模型的安卓应用的自动化测试研究

基于扩展的IFML模型的安卓应用的自动化测试研究

引用

作者：陆一飞南京大学

学位级别：硕士

当前,智能手机以及平板电脑之类的移动终端逐渐成为日常生活中不可或缺的一部分,其上的移动应用也随之蓬勃发展,应用复杂度呈几何倍数增长。与此同时,作为移动市场的主导者之一,安卓平台存在着碎片化问题,这使得同一个安卓应用,需要为... 详细信息

当前,智能手机以及平板电脑之类的移动终端逐渐成为日常生活中不可或缺的一部分,其上的移动应用也随之蓬勃发展,应用复杂度呈几何倍数增长。与此同时,作为移动市场的主导者之一,安卓平台存在着碎片化问题,这使得同一个安卓应用,需要为多个系统版本和不同的设备进行分别的设计和开发。为此,本文倡导采用模型驱动工程来解决这些问题。同时作为软件生命周期中最为耗时的步骤之一,测试一直是软件开发工作中的一个重要过程。目前工业界的安卓测试还停留在人工编写脚本自动化执行的阶段,学术界虽然也存在一些完全自动化的测试工具/方法,但是由于缺少人工的指导,它们难以达到良好的测试效果。故本文希望采用基于模型的测试这一方法,即利用模型来描述应用,指导测试的进行,从而提高测试的效果。在当前已有的针对安卓应用的基于模型测试方法中,其采用的模型对应用前端的描述都太过简略或是表现力不足,并不适用于注重前端展示和事件交互的安卓应用。针对这一点,本文选择了着重描述应用前端展示与事件交互的建模语言——交互流建模语言,即IFML,来描述安卓应用。然而当前的IFML在描述安卓应用时依然过于抽象和宽泛,为此本文在安卓官方指导文档的基础上,辅之以一系列的针对当前热门安卓应用的调研工作,总结了安卓应用的前端特征,对IFML进行了安卓端的扩展,提高了其可用性以及与安卓应用的契合程度。随后,本文提出了基于该扩展后的IFML模型的测试方法。该方法通过模型遍历的方式选取模型中的可执行路径,并使用约束求解器对输入进行求解,从而生成符合覆盖要求的测试用例并进行执行。在此基础上,本文也实现了相应的建模与测试工具ADAMANT。在ADAMANT中,使用者能够有效地以图形的方式使用IFML为安卓应用建模,随后ADAMANT以完全自动化的方式遍历IFML模型,生成测试用例并执行。本文将该工具运用到6个真实的安卓应用上。实验结果表明,无论是在测试覆盖度、执行时间还是缺陷发现能力上,该工具都有很好的表现。

关键词：移动平台模型驱动工程安卓应用碎片化问题基于模型的测试交互流建模语言测试用例生成

来源：评论

学校读者我要写书评

暂无评论

基于IFML的web软件建模及到EJB平台的模型变换

基于IFML的web软件建模及到EJB平台的模型变换

引用

作者：曹荣凯昆明理工大学

学位级别：硕士

目前,Web应用程序前端界面的开发仍处于不断研究发展阶段,人工编码的传统开发方式不仅需要耗费大量的人力资源和时间成本,同时所开发的应用程序在代码移植和重用方面存在很大的局限性。随着Web应用的快速发展以及前端界面复杂性的提升,... 详细信息

目前,Web应用程序前端界面的开发仍处于不断研究发展阶段,人工编码的传统开发方式不仅需要耗费大量的人力资源和时间成本,同时所开发的应用程序在代码移植和重用方面存在很大的局限性。随着Web应用的快速发展以及前端界面复杂性的提升,相应的框架和技术也随之出现来解决Web应用的开发问题,但很多技术虽然适用范围广泛,对于复杂的前端界面没有针对性,对Web应用程序前端界面接口的描述能力有限。为解决上述问题,本文采用模型驱动的开发方法并在前端界面的建模中引入了一种新的语言——交互流建模语言(IFML)来弥补传统建模语言的不足,接着利用Web扩展的IFML构建平台无关模型(PIM),以查询/视图/转换(QVT)描述IFML＿PIM(以IFML描述的平台无关模型)到EJB＿PSM(EJB的平台相关模型)的映射规则,完成到Enterprise Java Beans(企业Java Beans简称EJB)平台的模型转换。本文主要的研究工作如下:(1)为满足对Web应用程序前端界面的建模需求,对标准的IFML进行了Web扩展,包括对多样的用户控件如按钮、文本框、图片、表格等以及频繁的事件交互等模型元素进行扩展。(2)为解决传统开发方法工作量大、可移植性差、重用率低等问题采用以模型来描述需求的模型驱动开发方式,以Web扩展的IFML对应用程序建立PIM模型。(3)为实现从IFML＿Web＿PIM(Web扩展的IFML描述的平台无关模型)到EJB＿PSM的模型转换采用QVT标准的形式化语言来定义映射规则并基于上述映射规则完成元模型间的映射,完成IFML＿Web＿PIM模型到EJB＿PSM模型的转换。(4)为实现模型到代码的生成,采用基于EMF平台的Acceleo作为EJB＿PSM向代码生成的工具,同时定义代码转换模板,完成EJB＿PSM模型到Java代码的自动生成。(5)为说明上述研究的可行性和有效性,以实例来展示验证基于IFML进行Web应用程序的模型驱动开发过程。

关键词：模型驱动开发交互流建模语言 EJB QVT Acceleo

来源：评论

学校读者我要写书评

暂无评论

基于本体和IFML对富互联网软件用户界面建模及模型转换研究

基于本体和IFML对富互联网软件用户界面建模及模型转换研究

引用

作者：朱汇龙昆明理工大学

学位级别：硕士

随着互联网的发展,人们对软件的需求量不断增大,为了满足当前对软件产品的需求,富互联网应用（Rich Internet Application简称RIA）应运而生。RIA作为一种新型的WEB应用程序,不仅提供了更加有效的组件,并且促进了传统应用程序和客户应... 详细信息

随着互联网的发展,人们对软件的需求量不断增大,为了满足当前对软件产品的需求,富互联网应用（Rich Internet Application简称RIA）应运而生。RIA作为一种新型的WEB应用程序,不仅提供了更加有效的组件,并且促进了传统应用程序和客户应用程序的融合,而且还提供类似于桌面程序那样随和的交互式界面。但是,目前RIA在设计与实施时存在以下问题:RIA设计和实施需要时间成本;RIA开发方式众多,每个富互联网应用开发都存在特定的开发工具和开发语言,基于模型驱动的开发需要更高级别的抽象模型,当前抽象模型尚未达到要求,且单靠交互流建模语言（Interaction Flow Modeling Language,简称IFML）语言已经无法完成大规模的RIA前端建模设计,这样就造成了重复开发、开发成本高、项目周期长,开发难度大。为了解决这些问题,本文首先分析了当前富互联网应用用户界面开发技术中存在的问题,同时研究了对象管理组织（Object Management Group简称OMG）采用的前端建模可视化标准交互流建模语言的相关理论以及用户界面（User interface简称UI）本体的相关理论,然后采用了一种基于模型驱动的工程方法,用UI本体和IFML共同对富互联网应用用户界面平台无关模型（Platform Independent Model,简称PIM）建模,选择Flex作为目标实现平台相关模型（Platform Specific Model,简称PSM）,采用查询/视图/转换（Query/View/Transformation简称QVT）作为规则描述,使用acceleo工具作为代码生成工具,该方法抽象级别高节省开发时间,缩短开发周期。具体工作如下:（1）本文首先采用UI本体与IFML分别构建了RIA用户界面的逻辑模型与交互模型,并将以上两种模型共同作为PIM元模型,与此同时为了增强RIA的交互性而对IFML元模型进行了扩展;（2）为了实现PIM到FlexPSM的转换分别定义了由UI本体PIM元模型到FlexPSM模型的映射规则与IFML的PIM元模型到FlexPSM模型的映射规则;（3）使用Acceleo工具将生成的FlexPSM模型转换成相关的代码,实现了代码的自动生成;（4）通过实例验证说明了本文设计的模型转换过程与映射规则的有效性与合理性,并自动生成实例代码。

关键词：模型驱动用户界面本体交互流建模语言映射规则富互联网

来源：评论

学校读者我要写书评

暂无评论

基于IFML的语义Web用户界面建模及模型转换研究

基于IFML的语义Web用户界面建模及模型转换研究

引用

作者：李丹丹昆明理工大学

学位级别：硕士

传统的Web是一种面向对象为人的网络,它在大多时候是充当组织、呈现、共享信息媒介的角色,但是传统的Web并没有能力去理解数据所表达的具体含义,所以在处理大多数复杂的过程都需要人类的参与。人们想要从现在爆发式增长的网页中,快速准... 详细信息

传统的Web是一种面向对象为人的网络,它在大多时候是充当组织、呈现、共享信息媒介的角色,但是传统的Web并没有能力去理解数据所表达的具体含义,所以在处理大多数复杂的过程都需要人类的参与。人们想要从现在爆发式增长的网页中,快速准确地获取到对自己有价值信息的难度变得越来越大,所以为了解决这个问题,研究人员加大了对语义Web的研究。相对于传统的Web,在语义Web中的信息,都具有明确的含义,这就使得计算机和人类能够更好的合作。随着语义Web的快速发展,市场上对语义Web用户界面的需求也逐渐变大。在语义Web中,用户界面不仅包含与用户交互的图形部分,同时还包含了由本体描述的语义部分。对于用户界面的图形部分,传统的开发方式是编码,而对于本体的开发,仍然是以手工构建为主要方式。综合考虑用户界面图形部分和语义部分的实现,将会涉及到很多的背景实现技术,这会对开发人员的本身具备的领域知识背景要求很高,大大增加开发者的困境。并且随着语义Web应用程序规模的不断扩大,以传统编码和手工构建的开发方式分别实现用户界面中的图形部分和语义部分,体现出开发效率低,成本高,后期维护难的窘况。因此,开发语义Web用户界面并不是一项简单的任务。为了解决这些问题,本文首先分析了当前语义Web用户界面开发存在的问题,同时研究了模型驱动架构、OMG提出的针对用户界面建模的交互流建模语言、Struts2框架平台以及本体的相关理论知识,然后给出了一种基于IFML的模型驱动的工程方法。使用IFML分别对语义Web用户界面进行PIM层交互流模型建模以及领域模型建模,并选择Struts2和ODM作为目标实现平台的PSM模型,采用ATL标准定义模型转换规则,最后使用Acceleo为代码生成工具实现用户界面图形部分的代码和本体文件的生成。使用基于IFML的模型驱动方法进行语义Web用户界面的开发,将分析得到的应用程序需求建立成独立于平台的模型,通过模型转换规则转换到实现平台,对于具体实现平台次要的技术细节不再给予过多的关注,提高了软件开发效率,增强软件的可移植性和可维护性。

关键词：交互流建模语言模型驱动架构语义Web 用户界面本体

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：