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!

In this case, the occurrence usage must have exactly one definition that is an individual definition.

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
Individuals Examples: JohnIndividualExample.sysml
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
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).
Full quote
In this case, the occurrence usage must have exactly one definition that is an individual definition.
Next snippet
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 ...
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.
Related snippets (backlinks)
Visit also
Visit also (backlinks)