Skip to main content

User account menu

Show — User account menu Hide — User account menu
  • Log in
Home
Webel IT Australia
Model-based systems engineering, software, and IT Training for industry, science and education
  • Home
  • About
  • UML/SysML Training
  • SysML/MBSE Parsing Analysis
  • Services
    • Model-Based Systems Engineering
    • Model-Driven Software Engineering
    • UML Analysis and Design
    • Data analysis and visualisation
    • Drupal CMS web sites
    • Media: Video, Audio, Graphics
    • Synthesis, simulation, animation
    • Photography
  • R & D
    • Drancel motion-driven synthesis
    • NeXML
  • Keywords
  • Contact

Breadcrumb

  1. Home
  2. Node

Object Constraint Language Version 2.4

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
We are Australia's Systems Modeling Language (SysML®) specialists!
The home of the  Webel Parsing Analysis recipe for Model-Based Systems Engineering with SysML®

Browse by content type

Show — Browse by content type Hide — Browse by content type
  • SysML Videos
  • Tutorials & Trails
  • Slides
  • Images
  • Galleries
  • Snippets
  • Notes
  • Sources
  • Publications
  • Events
  • Activities
  • Organisations
  • Mini SysML/UML simulations
  • Drancel light art videos
  • GreenDesk videos

Zones

  • IT zone
  • Profile
  • IT Education and Training courses
  • Services
  • R & D projects
  • Client showcase
  • Science zone

Related sites

  • Webel's SysML/MBSE videos on Vimeo
  • Webel's LinkedIn company page
  • Dr Darren's LinkedIn profile page
  • Webel's photo channel.
  • Webel's Drancel videos on Vimeo
  • GreenSoft company site
  • GreenDesk tutorial site
  • GreenDesk video channel on Vimeo
  • GreenSoft Twitter stream

Tools

Show — Tools Hide — Tools
  • Webel Best Practices for UML & SysML
  • Search MagicDraw and Cameo issues
  • Search MagicDraw and Cameo tips
  • Search SysPhS keywords
  • Search UML/SysML keywords
  • Webel Parsing Analysis: Requirements
  • Search Modelica keywords
  • Search Mathematica TIPs
© Copyright 2000 - 2022 Webel IT Australia (WEBEL.COM.AU) (ABN 67 677 268 579). All rights reserved.
Excluded: Text from OMG™ specifications parsed into UML™ and SysML™ analysis models remains © Copyright The Object Management Group™.
Excluded: Text from Wikipedia articles quoted for educational purposes is subject to the Wikipedia Creative Commons Attribution ShareAlike Licence
Excluded: Text from Java™ tutorials and documentation - parsed into UML™ analysis models - remains © Copyright Oracle
UML® is a registered trademark of the Object Management Group.
SysML® is a registered trademark of the Object Management Group.
OMG® is a registered trademark of the Object Management Group.