关键词: 模型驱动架构, 模型验证, 规则库, 统一建模语言, 平台无关模型, 平台相关模型

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 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 also testified.

Key words: model driven architecture, model checking, rule database, unified modeling language, platform independent model, platform specific model