中文摘要：

在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（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.