基于规则库的电信业务UML活动图验证机制 (2008年)

【文件属性】：

文件名称：基于规则库的电信业务UML活动图验证机制 (2008年)

文件大小：238KB

文件格式：PDF

更新时间：2024-06-14 04:08:06

自然科学 论文

在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制的可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试，证明了该验证机制的正确性和高效性。