
分類
同一實體類型的范疇規定了實體如何根據它們的特征(比如所有員工都缺勤)互相相關。分類的語法使用了在 OCL(對象約束語言)中指定的與該關系連接的約束條件。
約束條件旨在指定動態行為。當約束條件被評估為有效時,這些關系也是有效的。
通常約束條件是互相排斥的,可以利用互斥關系之間的約束條件{xor}為約束條件建模。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
發布: 2008-10-17 09:08 | 作者: 不詳 | 來源: 測試時代采編 | 查看: 112次 | 進入軟件測試論壇討論
分類
同一實體類型的范疇規定了實體如何根據它們的特征(比如所有員工都缺勤)互相相關。分類的語法使用了在 OCL(對象約束語言)中指定的與該關系連接的約束條件。
約束條件旨在指定動態行為。當約束條件被評估為有效時,這些關系也是有效的。
通常約束條件是互相排斥的,可以利用互斥關系之間的約束條件{xor}為約束條件建模。
文章來源于領測軟件測試網 http://www.kjueaiud.com/