Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!
Learn about the Webel Q&A     online self-testing system for SysML v2/v1
Learn about the Webel SysMLv2 Ports audio mixer case study course module!

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]
06-Individual and Snapshots: 6-Individual and Snapshots.sysml
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
Previous snippet
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)