模型驱动的业务生成技术中模型验证的研究与实现

来源 :北京邮电大学 | 被引量 : 1次 | 上传用户:jiangqiqi77
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
模型驱动架构(MDA)是对象管理组织(OMG)于2002年提出的新一代的业务生成方法。在过去的五年中,MDA技术取得了很大发展,被应用到诸如电信、航空航天、银行以及医疗卫生行业。作为一种新的业务生成方式,MDA越来越受到人们的关注。将模型驱动技术引入到电信领域,用于新一代电信业务生成具有重大意义。模型验证是模型驱动的业务生成技术中的关键技术。本文对模型验证技术进行了研究,并设计了一种基于模型验证规则库的模型验证技术框架,实现了模型验证引擎和模型验证规则的分离,提高了模块的可重用性,从而简化了模型验证引擎的开发。
其他文献
Adhoc网络是一组具有路由和转发功能的移动节点组成的一个多跳临时性自治系统。随着AdHoc网络传输多媒体业务需求的增加,要求网络支持服务质量(QoS)。然而AdHoc网络的单向链路
随着网络技术和网络应用的发展,网络安全问题显得越来越重要。分布式拒绝服务攻击(DDoS,DistributedDenialofService)是近年来对Internet具有巨大影响的恶意攻击方式,给互联网造
论文首先简要介绍了PSTN和IP网络,论述了PSTN网络与IP网络的互联互通在下一代网络发展过程当中扮演的重要角色,并给出了解决方案,引出了本文论述的主要对象中继网关。中继网
电网企业领导在指挥生产和管理中,需要及时了解电网实时信息,以便做出正确的决策。这时就需要一个能实时显示电网工作状况并且能关联生产管理系统的具有高实用性的“电网安全
由于广播环境、音质、功耗等因素的影响,调幅广播正在由传统的模拟信号向数字信号转变。DRM数字广播系统已成为从模拟广播向数字广播过渡的主要手段和更新换代的重要方向。本
网络的拓扑结构可以用图来表示,称为网络拓扑图.可以通过研究图的性质来研究网络的结构.研究图的性质的理论是图论,图论在计算机科学中的应用非常广泛.例如在开关理论与逻辑设
网格是一种新型的分布式计算技术,是信息社会的网络基础设施,网格是继传统因特网、Web之后的第三代因特网应用。网格的目的是把整个因特网整合成一台巨大的超级虚拟计算机,实现
为了从本质上解决当前互联网存在的问题,各国都致力于研究全新的下一代互联网架构,命名数据网络(NamedDataNetwork)是其中最具竞争力的一个项目。NDN以内容名字取代了传统网络
受虚拟现实技术飞速发展的驱动和客观应用需求的牵引,虚拟人技术逐渐成为虚拟现实技术的一个重要分支,虚拟人的路径规划问题作为该领域的一个重要研究方向,已经成为新的研究热点
Web服务的产生和发展使得人们可以不论平台、不论地点、不论时间地使用模块化的应用程序。然而用户在使用Web服务之前并不知道它的存在,这就涉及到服务的发现和定位问题。目