Constraints 如何将自然语言转换为OCL约束？

我有一个类图，它由一个系统名的类组成。我已经为这个系统的可用性编写了一个约束条件

例如：

该系统应全天候可用。

---

现在我想把上面的语句转换成OCL约束。我是OCL的新手。我已经搜索并尝试了一些研究和视频，但没有找到具体的可用性。

Ar运行时：OCL使用即时系统状态评估和检查查询

OCL不支持时间，但您可以在谷歌上搜索时间OCL，以了解各种研究人员正在做什么。一般来说，时间是一个没有固溶体的活跃研究领域。未更改，OCL只能访问up time变量并检查其是否大于24小时。。。。当您第一次启动时，您的系统是否会因为24/7不可用而失败

如果你考虑你的具体疑问，显然是不可能的。在实践中，设计人员可以分析一/二/三/倍冗余系统上与相关可预见故障机制相关的故障率。任何系统都不可能在无法预料的失败中幸存下来，更不用说一些内部人士或消息灵通的外部人士的敌对行为了。更现实地说，应该有一个SLA，它接受每年一定的停机时间，停机时间越短，成本越高

---

在设计时，您可以使用OCL作为设计约束的公式。e、 g.计算单个服务器的总故障率或冗余服务器的复合故障率的数学。但是OCL并不是我进行复杂浮点计算的第一选择。

一旦您吞下了该文档，您就可以编写OCL了。基本上，这就是你的秘密所在：是否有任何方法可以为用户访问级别编写约束，如“只有管理员才能生成授权码”？回答错误的问题很好。OP要了一把猎枪，举了一枪作为例子（见上面他的附加颗粒）。我错过了评论。答案考虑了时间/可靠性的相关因素。考虑OCL约束，即“外壳颜色应该是石灰绿色”。这只能在OCL中实现，前提是有精确确定颜色的控件，或者有能够测量颜色的传感器，并且如果约束被重新设定为具有某些RGB空间公差。OCL只能约束对计算可用的内容。在确定合理的公差和输入传感器后，提问者需要重新表述。