Copyright © 2020-2023 www.SOT9.com. All Rights Reserved .
合作联系: QQ: 3217490875
使用是一个方便的系统,专为信息系统的规范和验证的基于统一建模语言(UML)和对象约束语言(OCL)的一个子集。
写在对象约束语言(OCL)的表达式是用来指定在模型上的神器出山:www.shenqi73.com额外的完整性约束。可以是动画的模型验证规范,以非正规的要求。
系统状态(正在运行的系统的快照),可以在动画中创建和操纵。对于每个快照的OCL约束系统会自动检查。有关系统状态的图形视图。 OCL表达式可以输入和评估,以查询有关系统状态的详细信息。