基于MDA的电信业务开发过程中的模型验证研究

所有作者：高兴彩 李晓峰 乔秀全

作者单位：北京邮电大学网络技术研究院

论文摘要：MDA业务生成方式是目前软件工程研究的热点，将这种业务生成方式引入到电信领域中具有重要的意义。在MDA开发过程中，模型验证是其中一个非常重要的环节，关系到用户搭建的模型是否符合要求以及最终我们生成的业务代码是否正确可用。但是MDA只是提出了一个软件开放的框架和标准，不同领域可以根据各自领域业务的特点，提出自己的具体实现。且目前主流的模型验证工具和研究未能满足电信领域业务特点。本文中提出了基于MDA开发电信业务过程中模型验证一些方法和规则，并从形式化的角度描述了这些验证的规则并给出了相应的算法支持。

关键词： MDA 模型验证 电信业务 UML 活动图

免费下载《基于MDA的电信业务开发过程中的模型验证研究》PDF全文（已停止下载）
　　本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！

〖返回计算机科学论文列表〗

下一篇：基于身份与位置分离的下一代路由框架

• 【返回首页】【大 中 小】【加入收藏】【回到顶部】