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

作者：冯跃忠; 李晓峰

来源：北京邮电大学学报, 2008, (02): 76-79.

• 模型驱动架构
• 模型验证
• 规则库
• 统一建模语言
• 平台无关模型
• 平台相关模型 model driven architecture
• model checking
• rule database
• unified modeling language
• platform independent model
• platform specific model

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

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