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

【文件属性】：
文件名称：基于规则库的电信业务UML活动图验证机制 (2008年)
文件大小：238KB
文件格式：PDF
更新时间：2021-05-25 10:21:26
自然科学 论文 在分析现有的技术背景后，提出了一种基于规则库的电信业务统一建模语言（UML）活动图验证机制。通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制的可扩展性和灵活性。模型验证软件通过在模型驱动架构（MDA）业务平台中的测试，证明了该验证机制的正确性和高效性。