|Re: Helper functions in OCL constraints [message #989129 is a reply to message #989061]
||Tue, 04 December 2012 12:48
| Cássio Santos
Registered: November 2012
Thanks a lot! With your information and a some adjusts in the sentences I was able to specify these functions.
If someone is passing through the same, here's my final specification for the functions. (Some names are a little bit diferent like Role = Concept, and superrolePlus = superconceptStar)
operation superconceptStar() : Concept[*]
operation superconceptStarOnSet(rs : Concept[*]) : Concept[*]
if rs.superconcept()->exists(r : Concept | rs->excludes(r))
The invariant for no cicles is:
Thanks a lot again Ralph!
Powered by FUDForum
. Page generated in 0.01603 seconds