Thursday, December 6, 2007 07:18 AM
I have a transition with an associated change event, in which I have to quantify the objects that are linked to the class. For example, say there is a transition that may only be followed when the temperature in each room is above a certain threshold. So, for each room linked to the object (to which the state model belongs), I have to check whether room.currentTemperature > threshold. Is there a specific notation that I can use for this? For now, I simply put "all room.currentTemperature > threshold" (and I use "any" for existential quantification).