Kedar Dongre (kdongre@CLEMSON.EDU)
Tue, 28 Dec 1999 11:48:55 -0500
Hello Everyone, I need a minor clarification on the oclInState constraint as defined in the OCL specifications defined in UML 1.3. The documentation states that the operation oclInState(s : OclState) returns in true if the object is in state s. The value of s are the names of the states in the state machine(s) attached to the classifier of the object. The type of the to this operation is OclState. However there are no given constraints or properties defined on OclState, expect simply that a OclState is specified using the name of the state in the statemachine. I belive this is incomplete since it provides no means to evaluate the oclInState expression. Also i belive there should be some constraints definitions to define a OCL state, since an object state at that given time is mainly a combination the value of the class attributes in a given range. With regards, Kedar A. Dongre Graduate Student Dept. of Computer Science Clemson University.