首页> 中文期刊> 《北京邮电大学学报》 >基于规则库的电信业务UML活动图验证机制

基于规则库的电信业务UML活动图验证机制

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制.通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制的可扩展性和灵活性.模型验证软件通过在模型驱动架构(MDA)业务平台中的测试,证明了该验证机制的正确性和高效性.

著录项

来源
《北京邮电大学学报》 |2008年第2期|76-79|共4页
作者
冯跃忠; 李晓峰;
展开▼
作者单位

北京邮电大学网络与交换技术国家重点实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.03;
关键词
模型驱动架构; 模型验证; 规则库; 统一建模语言; 平台无关模型; 平台相关模型;

相似文献

中文文献
外文文献
专利

1. 一种基于UML活动图的工作流模式描述与验证方式 [J] . 何锋 . 科技信息 . 2009,第033期
2. 基于UML的商业建模及模型验证机制研究 [J] . 段盛 . 计算机工程与设计 . 2008,第012期
3. 基于UML的嵌入式系统建模及模型验证机制研究 [J] . 段盛 ,李仁发 ,谢桂芳 . 计算机工程与科学 . 2007,第008期
4. 基于UML的嵌入式系统模型验证机制的研究 [J] . 石柯 ,阳富民 ,胡贯荣 . 计算机工程与应用 . 2001,第023期
5. 基于UML活动图的无人车变道可靠性预测 [J] . 吴兆贤 ,吴培培 . 软件导刊 . 2022,第1期
6. 基于UML活动图的电信业务过程建模方法 [C] . 陈章耀 ,李晓峰 . 2008年中国信息技术与应用学术论坛 . 2008
7. 基于SPIN的UML活动图验证 [A] . 薛克 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号