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

2008年4月 北 京 邮 电 大 学 学 报 Apr．2008 第31卷 第2期 Journal of Beijing University of Posts and Telecommunications V01．3l NO．2 文章编号：1007—5321(2008)02—0076—04 基于规则库的电信业务UML活动图验证机制 冯跃忠， 李晓峰 (北京邮电大学 网络与交换技术国家重点实验室，北京100876) 摘要：在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言(UML)活动图验证机制．通过 将模型验证规则与模型验证引擎相分离的方式，提高了验证机制的可扩展性和灵活性．模型验证软件通过在模型 驱动架构(MDA)业务平台中的测试，证明了该验证机制的正确性和高效性． 关 键 词：模型驱动架构；模型验证；规则库；统一建模语言；平台无关模型；平台相关模型 中图分类号：TP393．03 文献标识码：A A Rule Database Based UML Activity Model Checking Mechanism in Telecommunication Service FENG Yue—zhong， LI Xiao—feng (State Key Laboratory of Networking and Switching Technology．Beijing University of Posts and Telecommunications，Beijing 100876，China) Abstract：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 separa— ting 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． Key words：model driven architecture；model checking；rule database；unified modeling language； platform independent model；platform specific model 基于模型驱动架构(MDA)的业务生成方式是 程不熟悉，或业务逻辑过于复杂，无法保证搭建的模 新一代的软件开发方法学_1 J．MDA核心理念是一 型与当初设想一致．模型验证是保证业务逻辑图在 切以模型为中心，在基于MDA电信业务开发的整 语义上满足建模规则要求，从模型层面确保逻辑的 个流程中模型不再仅是描述系统，辅助沟通的工具， 正确性和完整性，为模型转换生成代码提供正确性 而是软件开发的核心．模型是以精确定义的语言对 的前提．在MDA中，模型验证范畴包含验证平台无 系统(或系统的一部分)做出的描述_2 J．具有精确定 关模型(PIM)及平台相关模型(PSM)正确性，验证 义的形式(语法)和含义(语义)的语言适合计算机自