Icon class icon_class far fa-file-alt icon_class_computed far fa-file-alt Keywords Object Constraint Language Specification keywords OCL-2.4 Copyright information About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes Snippets (quotes/extracts) The operation oclIsInState(s) results in true if the object is in the state s. Possible states for the operation oclIsInState(s) are all states of the statemachine that defines the classifier's behavior. For nested states the statenames can be combined... External links https://www.omg.org/spec/OCL/2.4/PDF https://www.omg.org/spec/OCL/About-OCL/ OMG Document Number: formal/2014-02-03 Visit also Object Management Group™ (OMG™) Object Constraint Language (OCL) zone UML zone SysML zone Visit also (backlinks) On OMG copyright in text extracts and figures reproduced for educational purposes Flags