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

《模型驱动的业务生成技术中模型验证的研究与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京邮电大学硕士学位论文模型驱动的业务生成技术中模型验证的研究与实现姓名：冯跃忠申请学位级别：硕士专业：计算机科学与技术指导教师：李晓峰20080228北京邮}U人学硕l：学位论文模型驱动的业务生成技术中模型验证的研究1j实现模型驱动的业务生成技术中模型验证技术的研究与实现摘要模型驱动架构(MDA)是对象管理组织(OMG)于2002年提出的新一代的业务生成方法。在过去的五年中，MDA技术取得了很大发展，被应用到诸如电信、航空航天、银行以及医疗卫生行业。作为一种新的业务生成方式，MDA越来越受到人们的关注。将模型驱动技术引入到电信领域，用于

2、新一代电信业务生成具有重大意义。模型验证是模型驱动的业务生成技术中的关键技术。本文对模型验证技术进行了研究，并设计了一种基于模型验证规则库的模型验证技术框架，实现了模型验证引擎和模型验证规则的分离，提高了模块的可重用性，从而简化了模型验证引擎的开发。关键词模型驱动电信业务生成规则库验证规则模型验证引擎北京邮电人学网络与交换国家重点实验室北京邮电人学硕Jj学位论文模型驱动的业务生成技术中模型验证的研究oj实现MODELCHECⅪNGTECHNOLOGYRESEARCHANDIMPLEMENTp汀10NINMDAABSTRACTModelDr

3、ivenArchitectureisanewservicecreationapproachwhichlaunchedbyOMGin2002．Inthepastfiveyears，MDAtechnologyhasdevelopedveryfastandithasbeenappliedinTelecom，Aerospace，BankingandHospitalindustries．Asanewservicecreationapproach，MDAhasreceivedincreasingattentioninrecentyears．Itwou

4、ldbegreatsignificancetobringtheMDAservicecreationapproachintotheTelecomservicecreationfield．ModelcheckingisacriticaltechnologyinModelDrivenService—creationapproach．Thispaperhasinvestigatedthetechnologyanddesignedamodelcheckingruledatabasebasedonmodelcheckingtechnologyfram

5、ework．Itmakesthemodelcheckingengineandmodelcheckingruleseparately,inthiswaycanmakethemodelsmorereusableandsimplifythemodelcheckingengine’Sdevelopment．北京邮电大学网络与交换国家重点实验室1北京邮I【1人学硕I：学位论文模型驱动的业务生成技术中模型验证的研究，‘j实现KEYWORDSmodeldrivenarchitecturetelecomservicecreationruledatabas

6、echeckingrulemodelcheckingengine．北京邮电人学网络与交换国家重点实验室2．▲上．—J一刖昌模型驱动架构(ModelDrivenArchitecture，MDA)技术作为新一代的软件开发方法学的出现为提高软件的开发效率，增强软件的可移植性、可重用性、协同工作能力以及可维护性提供了解决办法。与此同时，在通信领域中随着通信技术和Intemet的快速发展，网络的融合步伐正在不断加快。网络架构朝着下一代网络的方向演进，它是一种融合了各种异构网络(移动、固定通信网，互联网以及各种新型网络)和技术的开放式通信网络，形成能

7、够随时随地为用户提供“量身定做”的个性化服务的和谐通信的业务环境。社会不断发展，人们对信息的需求闩益增大，对电信业务提出了越来越高的要求。在此背景之下，就要求业界能提供一种快速灵活、及时有效地开发各种新型增值业务的方法。模型驱动架构(MDA)技术就是满足这些需求的业务生成方法，将MDA引入到电信业务生成领域具有重大意义。在国内，北京邮电大学交换与网络国家重点实验室交换与智能控制研究中心最早开始将MDA方法学引入下一代电信业务生成领域。经过三年多的技术跟踪以及研究摸索，取得了丰硕的成果。目前实验室已成功申请三项国家专利，发表了与该模型驱动架

8、构(MDA)课题相关的数十篇国内外核心刊物学术论文，同时还成功申请了与模型驱动业务生成相关的电信企业基金研发项目和国家自然科学基金项目(No．60672122融合网络环境下业务智能化研究)，后