UML state model: guard conditions/change events on transactions
0 posts in topic
Flat View  Flat View

Posted By:   Anonymous
Posted On:   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).

Best regards,


About | Sitemap | Contact