%0 Journal Article
%T 基于规则库的电信业务UML活动图验证机制
%A 冯跃忠
%A 李晓峰
%J 北京邮电大学学报
%P 76-79
%D 2008
%R 10.13190/jbupt.200802.76.101
%X 在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制得可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试证明了该验证机制的正确性和高效性。
%K 模型驱动架构
%K 模型验证
%K 规则库
%K 统一建模语言
%K 平台无关模型
%K 平台相关模型
%U http://www.buptjournal.cn/CN/abstract/abstract519.shtml