摘要
在分析现有的技术背景后,提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制.通过将模型验证规则与模型验证引擎相分离的方式,提高了验证机制的可扩展性和灵活性.模型验证软件通过在模型驱动架构(MDA)业务平台中的测试,证明了该验证机制的正确性和高效性.
After analyzing current technology background, a kind of unified modeling language（UML） activity model checking mechanism based on rule database in telecom services is proposed. By separating the model checking rules and the model checking engine, the scalability and agility of the checking mechanism are improved. When using in the model driven architecture （MDA） service platform, the correctness and high-performance of the model checking software based on the mechanism are testified.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2008年第2期76-79,共4页
Journal of Beijing University of Posts and Telecommunications
基金
国家自然科学基金项目(60672122)
中兴通讯研究基金项目(WL220052N002)
关键词
模型驱动架构
模型验证
规则库
统一建模语言
平台无关模型
平台相关模型
model driven architecture
model checking
rule database
unified modeling language
platform independent model
platform specific model
