OCL with fuzzy semantics?



Date view Thread view Subject view Author view Attachment view

From: Dennis Wagelaar (dennis.wagelaar@vub.ac.be)
Date: Tue 13 Jul 2004 - 15:31:20 BST


Hello all,

Does anyone know if there's been any work on fuzzy logic in conjunction
with OCL already? This question is in the context of the following
situation:

I'd like to be able to distinguish between precise matches to a
constraint and more generic matches. For example, I have two alternative
model transformations available, which both pose constraints on the
target platform:

transf. 1:
context Platform
inv: self.vm->exists(oclIsKindOf(Java))

transf. 2:
context Platform
inv: self.vm->exists(oclIsKindOf(Java2))

Let's say the actual platform contains a J2SE virtual machine. J2SE is a
specialisation of Java2, which is a specialisation of Java. This means
both constraints hold, but transf. 2 is a more precise match. By
defining oclIsKindOf() as a fuzzy membership function, for example, the
OCL constraint could provide the answer of how precise it matches.

Best regards,
Dennis

Date view Thread view Subject view Author view Attachment view