Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
VIDEO: The Webel SysMLv2/MBSE course has landed! Take a quick tour!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!

If the declaration of an occurrence usage includes the the keyword individual (and, possibly, timeslice or snapshot), but no kind keyword, then this is equivalent to having included the occurrence keyword ...

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
34. Verification: Verification Case Usage Example.sysml [WITH MODELLING DISCUSSION]
Source
OMG Systems Modeling Language TM (SysML®) Version 2.0 formal/2025-09-03 (Sep 2025)
Copyright information
About Object Management Group copyright in text extracts quoted from OMG specifications for educational purposes
Snippet kind
INFO
Keywords
In this case, the occurrence usage must have exactly one definition that is an individual definition.
Full quote
If the declaration of an occurrence usage includes the the keyword individual (and, possibly, timeslice or snapshot), but no kind keyword, then this is equivalent to having included the occurrence keyword ...
Next snippet
Related snippets
An occurrence usage (of any kind) is considered to be an individual usage if it has a definition that is an individual definition. An occurrence usage must not have more than one definition that is an individual definition.
An occurrence usage may also be explicitly declared to be an individual usage using the keyword individual, placed after any of the other usage property keywords ... but before a timeslice or snapshot keyword (if any).
Related snippets (backlinks)
Visit also
Visit also (backlinks)