Re: OCL Question



Date view Thread view Subject view Author view

Shane Sendall (Shane.Sendall@epfl.ch)
Mon, 29 Oct 2001 10:22:42 +0100


Hi Les, I think what you need first of all is a (UML) statemachine. It gives you Event -> Guard -> Action. You can then describe the action as an operation with pre- and postconditions written in OCL. We (myself and Alfred Strohmeier) in fact have done some work on this area, e.g., we proposed a small extension to UML statemachines to model timing constraints, e.g., the duration of a fired transition must be between a certain interval, and various other related stuff. We had a paper at the UML conference that discusses this (and other stuff). If you're interested, it can be found here: http://lglwww.epfl.ch/cgi-bin/htgrep/file=bibliographies/lgl.ref&style=&refer=plain&max=250&query=&qry_footer=footer.html&ftpstyle=file&grab=&linemode=&hdr=hdr_publ.html&abstract=yes?Send01a I would be most interested in your feedback or questions. Cheers, Shane --------------------------------------------------------------------- - Shane Sendall - Swiss Federal Institute of Technology in Lausanne - - email : Shane.Sendall@epfl.ch http://lglwww.epfl.ch/~sendall/ - - phone : ++41 21 693 66 89 fax : ++41 21 693 50 79 - Les Munday wrote: >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 > > > >To remove yourself from this list please mail puml-list-request@cs.york.ac.uk >with a message containing the word "unsubscribe". >


Date view Thread view Subject view Author view