Validating uml models and ocl constraints
use At this point you can enter commands at the prompt (try 'help' for a list of available commands).For example, you can enter OCL expressions by starting the input with a question mark.Views can be created any time by choosing an entry from the view menu or directly by a toolbar button. The next screen shot displays the main window after the creation of four views.The two upper views list the names of classes and associations defined in the model and shows the number of objects and links in the current system state.Now we have three objects, a department and two employees, but still no connections between them.The layout in the object diagram is continuously refined and updated.
Model Company (3 classes, 3 associations, 4 invariants, 0 operations) Enter `help' for a list of available commands.One of the invariants is selected and its definition is shown in the panel below the tree.The large area on the right is a workspace where you can open views visualizing different aspects of a system.Objects and links can be created which constitute a system state reflecting a snapshot of a running system.In every system state, the constraints are automatically checked for validity.
Search for validating uml models and ocl constraints:
The initial system state is empty, i.e., there are no objects and links yet.