分享到:

模型驱动的业务生成方法及业务智能化支撑技术研究

开放和融合是当前网络发展的趋势。未来的融合业务将需要跨越多种承载网络、跨越多个运营商域,具有普遍访问,按需组合,上下文处理,无缝应用的能力,从而形成一个以用户为中心的个性化、智能化的业务环境。这对传统的电信网络提出了重大的挑战,涉及到了业务层面、网络和终端的不同层次的演进和融合。本文主要针对融合网络的业务层面展开研究,主要包括未来的融合业务网络环境、融合业务生成方法、语义化的电信网络能力服务及基于语义Web服务的统一业务环境、业务上下文信息的处理和推理等问题。论文的主要研究内容可以进一步归纳如下:(1)针对现有的业务生成技术存在的缺陷,将模型驱动架构(MDA,Model Driven Architecture)的软件开发方法系统的应用到融合电信网和互联网的业务生成中,提出了完整的、系统的模型驱动的融合业务生成方法,使得业务逻辑模型独立于具体开放接口技术以及实现平台技术,增强了应用的重用性和移植性。提出利用MDA元建模的方法来构建  (本文共201页) 本文目录 | 阅读全文>>

《计算机工程与设计》2017年09期
计算机工程与设计

模型自动转换与一致性验证方法

0引言本文对基于模型驱动的软件测试技术中的模型形式化转换部分进行相关的研究。主要贡献可总结如下:(1)对复杂软件系统UML模型集合进行解析,获得模型网络拓扑关系信息;(2)利用网络拓扑关系信息自动构建时间自动机网络模型,并建立验证机制保障转换前后模型的一致性和可靠性;(3)以真实项目中无人机飞控系统为对象,测试本文提出的方法,为后期的软件测试步骤提供可靠的基础。1相关工作和背景1.1研究背景基于模型驱动的测试技术是目前软件测试领域被深入研究的一个方向。该测试方法是利用被测系统的图形化的模型完成测试行为,通过模型描述整个测试架构。模型驱动测试可以保持模型和测试脚本的同步,实现从模型到测试脚本的自动转换。这样可以将复杂的测试脚本的维护转化成对图形化的测试用例模型的维护,从而降低了难度,提高了测试人员的工作效率。基于模型驱动的测试方法大致流程如图1所示。UML作为一种事实上的工业标准,具有统一规范的严格语法,是图形化的标准建模语言,支...  (本文共7页) 阅读全文>>

《计算机科学》2017年11期
计算机科学

模型驱动的移动应用测试方法

CNNIC发布的第三十七次《中国互联网发展状况统计报告》[1]显示,截至2015年12月,手机上网人数已有近6.20亿,目前其使用的主流平台有Android平台、IOS平台等。运行在移动智能终端上提供服务的软件系统,即用户手机安装的App的数量和种类都在高速增加[2],用户对其要求也越来越高,主要考虑该应用是否安全可信、友好、耗电等。而国家电网所提供的应用已经涉及到大多数用户,其可信度尤为重要。为保障某个移动应用的质量,一般在发布该应用之前对其进行全面的测试。由于多平台(Android,IOS)特性,对于同一个移动应用,开发和测试团队需要对不同的平台分别进行开发和测试,但由于缺乏跨平台测试技术,导致资源浪费。当前移动应用开发团队在开发应用的过程中主要面临的问题有:1)对应用的功能测试问题;2)跨平台问题。本文提出了模型驱动的移动应用开发和测试方法[3-4],希望能够在一定程度上解决上述问题。该方法首先,帮助开发团队实现测试时的自...  (本文共9页) 阅读全文>>

浙江大学
浙江大学

基于模型驱动工程模式的SDN网管系统设计与实现

近些年,随着网络规模的急剧扩大以及云计算、大数据等新型业务的出现,传统网管系统逐渐地暴露出其在网络管理方面的缺陷。一方面,在传统网络中,为了应对来自网络数据流量爆炸性增长带来的压力和挑战,设备厂商在网络设备上叠加了越来越多的技术元素,如虚拟局域网、区分服务、多协议标记交换、网络地址转换等,使得传统网管系统的功能越来越依赖于设备厂商,逐渐趋于僵化。另一方面,随着SDN(Software Defined Networking,软件定义网络)的快速发展,为传统网络的变革带来了更多的机会。SDN重构了传统网络架构,采取了完全不同的设计思想,使得传统的网管系统已经不再适用于新的网络架构,因此需要研发适用于新型网络的网管系统,用于提高网络管理效率和促进网络功能创新。本文重点是在模型驱动工程模式的基础上,结合SDN的自身特点,将模型驱动工程模式融入到SDN网管系统的开发实现中,使用YANG建模语言对管系统中的业务功能建立高层抽象,分析并设计了...  (本文共77页) 本文目录 | 阅读全文>>

中国科学技术大学
中国科学技术大学

基于模型驱动的嵌入式实时系统设计与实现

嵌入式实时系统在设计实现过程中不仅需要保证可靠性还要保证时间准确性,时间可预测是解决系统时间准确性的重要研究方向之一。目前传统的抽象模型如线程模型缺乏对时间可预测的有效支持。执行流服务体模型(Servant/Exe-flow,SEFM)是一款面向服务的抽象模型。SEFM模型中的功能属性由一组服务体组成,服务体之间显式地交互,避免了线程模型因同步和竞争导致的时间不可预测。另一方面,从系统建模到系统实现涉及控制工程师和软件工程师,传统的系统实现过程容易丢失抽象模型原有的语法语义。基于模型驱动的开发框架依靠严谨的开发流程和建模工具,可以最大程度地保证系统在实现过程中抽象模型语法语义的完整性。本文对基于模型驱动的嵌入式实时系统设计与实现进行研究,主要工作如下:(1)设计了具有时间可预测属性的TSEFM(Timed SEFM)模型。在SEFM模型的基础上,简化了服务体的抽象概念并加入了模型时间语义,提出了更适合嵌入式实时系统设计的新模型T...  (本文共81页) 本文目录 | 阅读全文>>

《河南科技》2013年12期
河南科技

浅谈模型驱动

1引言随着现代信息技术的迅猛发展,利用计算机技术对信息进行规范化管理,己经成为企业发展必不可少的需求。面对一系列新的业务需求和新的技术的出现,如何采用高效,灵活的技术来适应这些变化,是一个迫切需要解决的问题。软件系统和软件产品开发一般包括:需求分析、原形设计、软件编程、应用测试、应用维护等过程。其中,软件编程、应用维护的开发效率低与成本高一直是困扰软件发展的技术瓶颈。IT项目实践已证明,基于平台化的软件复用可提高软件开发效率,缩短开发周期,降低开发成本,并改善软件质量。而模型驱动应用开发平台工具(MDAPT),正是通过建立面向业务总线接口的统一软件架构平台和基于平台的业务模型驱动生成引擎,实现了基于业务设计模型的无需进行程序编码的业务应用平台及工具系统。从而彻底改变了软件系统的开发方式、效率与成本,研究成果在企业信息化、政务信息化领域、软件工程领域有广泛应用前景,并将取得明显的经济效益。2模型驱动的体系结构及开发生命周期2.1M...  (本文共2页) 阅读全文>>