OCL Question



Date view Thread view Subject view Author view

Les Munday (baldrick@ureach.com)
Fri, 26 Oct 2001 18:46:49 -0400


I'm trying to demonstrate how to represent class operations in UML. I have a template I use that is of the format: Precondition -> Stimulus -> {Action} -> Postcondition -> Time. The precondition describes the state the system must be in prior to the operation occuring. The stimulus is an event that triggers the operation. The action describes the process that occurs a result of the event occuring {and is optional}. The postcondition is the state that the system is in at the completion of the operation. Time is the maximum time for the operation to complete. So far I have: context ClassName::OPerationName::ReturnResult pre olcInState() post ActionResult and oclInState() Any ideas how to reference an event from my model and how to specify time to execute in OCL? Any references to OCL examples would be helpful. Thanks, Leslie. ________________________________________________ Get your own "800" number Voicemail, fax, email, and a lot more http://www.ureach.com/reg/tag


Date view Thread view Subject view Author view