如何在UML中建模互斥属性？

作者: Minions
发布时间: 2024-05-30 03:25:26 (28天前)
转自：

3 条回复

0#
回复此人
一只特立独行的猪 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 我将研究使用对象约束语言来描述它。 </p> <P> 我从来没有真正使用它，除了几个讲座，但我很确定这是你需要的。 </p> <P> 这样的事情可能表达你想要的条件： </p> <pre> <code> {context SomeClass inv isBaz==True implies isQuux==False inv isQuux==True implies isBaz==False} </code> </pre> <P> 这个 <a href="http://www.cse.dmu.ac.uk/~aoc/teaching-notes/Contents/CSCI3007/OCL_files/v3_document.htm" rel="nofollow noreferrer"> 介绍 </A> 可能会给你一个很好的起点。 </p> </DIV>

编辑
1#
回复此人
哈哈哈哈 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 只有两个选项，将属性建模为与布尔数据类型的关联或使用OCL约束。 </p> <P> 简化和更正（在OCL中等于只有一个“=”）可能是：context SomeClassinv not isBaz = isQuux </p> <P> 顺便说一句，我不确定“互斥”概念对你的确切含义。这通常实现XOR（标准中关联的预定义约束），然后使用NAND。您的模型中是否有可能两个属性都具有错误值？（我假设这在我的OCL约束中是不可能的） </p> </DIV>

编辑

登录后才能参与评论