文件名称：ocl-backwardreasoning
文件大小：107KB
文件格式：ZIP
更新时间：2024-06-05 20:05:37
Java
模型转换的向后推理 模型转换是模型驱动工程的关键要素。 转换语言当前面临的挑战包括提高可用性（即表达转换意图的简洁手段）和设计强大的分析方法。 在这项工作中，我们展示了向后推理在这两个方面如何提供帮助。 推理基于这样的方法：给定OCL表达式和转换规则，当且仅当原始OCL表达式之后可满足时，才在规则应用之前计算可满足的约束。 通过这种方法，我们可以通过自动得出规则（或规则序列）的适用条件来保证规则的应用不会破坏任何完整性约束（例如，元模型约束），从而提高规则执行过程的可用性。 当与模型查找器结合使用时，此方法有助于转换的验证，验证，测试和诊断。 有关模式 对象删除 属性更新 链接删除 链接创建 对象创建 工具状态 实际上，该工具涵盖了删除对象，删除/创建链接，更新属性的模式。 我们正在处理其余部分以及对象创建的特殊模式。
【文件预览】：
ocl-backwardreasoning-master
----plugin()
--------cat.icrea.ocl.backwardreasoning()
----examples()
--------cat.icrea.ocl.backwardreasoning.example.bank()
--------cat.icrea.ocl.backwardreasoning.example.productionsystem()
----README.md(1KB)