如何解决OCL inv：合理软件架构中的错位构造错误
好的，请帮助我对 OCL 书面约束没有太多了解。在下图中，我试图对 J 类施加一个约束，即它的属性在它之后应该为真，但它给了我一个错误 解析错误：1:1:4“inv:”错位的构造。 我不知道如何解决这个错误，在下一个类中，anonymous key=".0" 我也试图设置一个约束，如果 J 类“State”的属性为真，那么这个类是可见的，请帮忙如果有人知道 ocl 约束并指导我了解状态机 谢谢。
解决方法
（我不熟悉 RSA，除非我可以从 10 年过时的 Eclipse OCL 行为中推断出来。）
OCL 本身几乎没有用，因为它没有可操作的模型；它需要嵌入到模型提供程序中。
一个这样的提供者是 OCL-in-UML，其中 Essential OCL 表达式由 OpaqueExpression 封装。 self.state=true 或者实际上只是 self.state 将是布尔值约束/不变量的一个看似合理的基本 OCL 表达式。
另一种提供者是一个完整的 OCL 文档，它补充了元模型。
您在本应使用 Essential OCL 的地方使用了 Complete OCL 语法。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
