OCL expression

OCL expression

From: ajaree naco <tsu_naco_at_yahoo.com>
Date: Sun, 17 Dec 2006 23:50:03 -0800 (PST)
Message-ID: <390702.87018.qm@web53512.mail.yahoo.com>
Dear All,

I have a problem on issuing OCL expression to   
restrict a class A's constraint as

"class A can not have any subclass"

How can I express this constraint between: 
1. context A inv: self.inheritedMember->isempty()

2. context A inv: self.generalization->size() = 0

or any suggestion ?

Best Regards,

Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
Received on Mon 18 Dec 2006 - 07:50:38 GMT