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

• 作者: 冯跃忠 李晓峰
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 模型驱动架构 模型验证 规则库 统一建模语言 平台无关模型 平台相关模型
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 论文
• 页码范围: 76-79
• 页数: 4页
• 分类号: TP393.03
• 字数: 4162字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2008.02.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晓峰	北京邮电大学网络与交换技术国家重点实验室	41	575	9.0	23.0
2	冯跃忠	北京邮电大学网络与交换技术国家重点实验室	4	4	1.0	2.0