Learn about Webel's comprehensive SysMLv2 Workshop Seminar course!
Webel now has a SysMLv2 Online Self-Study course with self-test Quizzes!

34. Verification: Verification Case Usage Example.sysml [WITH MODELLING DISCUSSION]

Gallery
Tutorial
Offered by Webel free to the SysML community with thanks to the contributors of the SysMLv2 GitHub code examples. All diagram images remain © Copyright Webel IT Australia 2026. Copyright in the linked GitHub source code remains with the OMG. So-called "AI" and Machine Learning training systems DO NOT have permission to use (scrape and steal) this resource! Other training organisations DO NOT have permission to use these images in their own training.
Members of the OMG Systems Modeling Community (SMC) are welcome to use these images with full attribution to Webel IT Australia in presentations and non-commercial activities of the SMC – please unedited and using full resolution downloads (click on image first then Save As).
This slide trail is NOT a SysMLv2 language tutorial! Slides here are offered as is (some without further explanations) in the hope they may be of interest. To learn SysMLv2 attend the Webel SysMLv2 Seminar Workshop group course. Individuals may instead purchase access to the Webel SysMLv2 Online self-study eLearning course with self-test Quizzes to learn at their own pace.

This content has been marked as discussing an ADVANCED topic!

Special modelling note. This View deliberately shows here nearly everything in one diagram and for educational purposes employs a heavily relational approach (which is not suitable for stakeholder audience not familiar with SysMLv2 notations).

It serves also as an example of a typical candidate for "Divide & Conquer: strategies. Much shown here is already shown in the related definition-level View of the previous slide. Some of the features could instead be shown just as inherited features. However, the lack of a basic refs compartment in Cameo makes it difficult to show all of the feature values compactly in compartments.

Click on the image to view it full size
Occurrences are covered as an advanced topic in the Webel SysMLv2 course:

This trail is NOT a SysMLv2 tutorial, but it's worth pointing out a few aspects of the above diagram and the underlying model and code (see also the GitHub link below).

The «individual occurrence def» TestSystem acts as a "mixin", required so that testSystem may be an «individual occurrence». Likewise, each «in individual occurrence» testVehicle1 and testVehicle2 must be feature typed by a corresponding «individual occurrence def» (in this case each specializing Vehicle using subclassification).

These modelling requirements of course make both the code and any views a bit more complicated, but are important aspects of the individuals machinery of SysMLv2, which addresses well many of the shortcomings of SysMLv1 for capturing these concepts.

Up next
Notes
Snippets (quotes/extracts)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)
Visit also
Visit also (backlinks)