Topic outline for Full SysMLv2 Workshop Seminar (5-Day) course version: 'Model-Based Systems Engineering with the OMG's Systems Modeling Language v2 (SysML®) and the Cameo (CATIA Magic™) tools for SysMLv2'

[WCA-SYSML2-CSM-5] - 'Full SysMLv2 Workshop (5-Day)'

This course version requires access to Cameo SysMLv2 Plugin tool licences in order for attendees to explore the workshop exercises.

Webel IT now offers all courses worldwide as Live Online web seminars, including online tool workshop sessions! We have strategies for optimising the Live Online presentation experience and for managing tool exercises remotely.

We recommend where possible the On-Site (your training space) or Off-Site (external training facilities) course format for Workshop course versions with tool exercises over the Live Onsite web seminar format. But we have developed strategies for optimal presentation of training materials for the Live Onsite format, and for managing mini-workshop tool exercises during web seminars.

Are you based outside Australia? We can travel to you! On-Site and Off-Site courses are available within Australia and also internationally by special arrangement (subject to additional travel expenses).

We've made course enquiries easy for you! There is now a Webel SysML/MBSE Course Info Pack PDF to assist you with your course enquiries and a comprehensive Webel Course Questionnaire PDF form for streamlining the application process. Available only to prospective Webel course clients. Please contact us to request copies.

Topic outline for full 5-day workshop course version

Some typical mini tool exercises are indicated with a cogs icon .

Tool-specific topics are indicated with a single cog icon .

Some more advanced topics are indicated with a brain icon.

0. SysMLv2 Quick Start
   • Introduction – Why SysMLv2?
   • SysML^® v2 as a new standard and common systems engineering language
   • Concerning SysMLv1 vs SysMLv2
   • About the SysMLv2 textual representation modelling code
   • About the SysMLv2 Plugin for Cameo Systems Modeler
   • About the General View diagram type
   • Quick intro to the «part def»
   • Quick intro to the «part»
   • Notation for feature typing
   • About subclassification using code specialization or :>
   • Quick intro to packages
   • Containment operator notation
   • SysMLv2 relationship short codes, code keywords, and graphical representations
   • Definition vs Usage
   • Features
   • Indicating inherited feature with prefix ^
   • Multiplicity cases
   • KerML & SysMLv2 metamodel basics
   • SysMLv2 vs KerML library packages
1. Elements in SysMLv2
   • Element ID, name and short name
   • Relationship example: Dependency
   • One-to-one, one-to-many, and many-to-many relationships
   • Dependency vs Package imports
2. Annotation, Comment, Documentation, and Textual Representation
   • Types of Comments
   • Textual representation: rep in language
3. Attributes and values
   • Real data type used as attribute
   • Redefinition of a Real value in a part
   • Custom «attribute def» and «attribute»
   • Redefining a standalone attribute
   • Structured «attribute def»
   • Quantity attributes with units
   • Feature values and := vs =
4. Enumerations
   • Enum def quick start example ColorKind
   • Enumeration with fixed values and units
   • Advanced: Enumeration with sub-values
5. Parts
   • Part vs Item vs Occurrence
   • The Webel worked Balls & Boxes sample problem
   • Composite vs reference parts
   • Part subsetting with :>
   • Parts and behavior: Action & State quick intro
   • Variations and variants
6. Intro to Evaluations in Cameo
   • Workshop mini exercises.
   • Evaluation using attributes binding with =
7. Connections quick intro
   • Basic part-to-part connection
   • Connection usage with reference subsetting ::>
   • Nested part-to-part connection
   • Binding connection (ref to part)
   • N-ary connections
8. Items & Flows intro
   • Streaming item flows
   • Compatible item flows
   • Message flows (currently limited tool support)
   • Item binding
9. Ports & Interfaces
   • Part def with port
   • About interface connections
   • Connecting ports using an interface and ~ conjugation
   • Connecting compatible ports using an interface
   • Connecting ports using an interface with a flow
   • Nested ports
   • Nested ports with direct inner interface connections
   • ADVANCED: Nested interface decomposition
10. Allocations
    • Kinds of allocations
    • Relating allocations to formal systems engineering methodologies
    • The SysMLv2 machinery of allocations
    • Allocation mini exercises
11. Constraints
    • A «constraint def» used in a «part def»
    • Asserted constraints
    • “Inline” asserted constraints
    • Constraint evaluation in Cameo
    • Advanced: Constraint usages with implied reference subsetting ::> and redefined :>> parameters
    • Advanced exercise: Direct constraint evaluation cases.
12. Requirements
    • Aside: About EARS for some formal requirements statements
    • Quantitative «requirement def» vs «requirement» subject
    • Requirements with constraint usages
    • Supporting a requirement with assumed constraints
    • Advanced: The SysMLv2 machinery of subject
    • Requirement actors and stakeholders
    • Composite requirements
    • Satisfying an “on-the-fly” «requirement»
    • Satisfying an “on-the-fly” «requirement» from a «partt»
    • Satisfying an “on-the-fly” «requirement» from a «partt» with implicit ::>
    • Satisfying a parametrised requirement
    • Exercise: Check a requirement in Cameo
    • «concern def» with stakeholders
    • Framing a concern usage in a requirement
    • Advanced exercise: Direct requirement evaluation cases (as used in verifications.
13. Actions & Successions
    • Actions can run and can calculate
    • Exercise: Cameo: Simple calculation with an «action def» and items
    • Performed actions
    • Simple successions
    • Successions with start and done
    • Actions with item flows, successions, and bindings
    • Assignment actions
    • Assignment action usage with for loop
    • Successions with decide and [guard]
    • Succession with blocking [guard]
    • Decide and Merge
    • Fork and Join
    • Loop until
    • While
    • if/then/else
    • SysMLv2 perform action “swimlanes”
    • SendAction and AcceptAction
    • Advanced: SendAction and AcceptAction metamodel
    • «send action» via a port
    • «accept action» via a port
    • «send action» via ports to «send action» with «part def» context
    • TerminateAction vs done
    • Terminate action usage (defaulted)
    • Terminate «part def» or «part» with this
    • Advanced: Terminate a referenced action
14. States
    • State actions: entry, do, exit
    • Composite «state def»
    • Transition triggers
    • Trigger [guard] and /doAction
    • «part def» exhibit state
    • Trigger transition via a port of a state
    • Trigger a transition via a port of part
    • Parallel states
    • States with directional parameters
    • Transition with timer
15. Calculations
    • Calculation Definition parameters and return
    • Calculation as Function invocation syntax
    • Simple «calc def» evaluation in Cameo
    • Using calculation usages with invocation by name
    • Calculation with structured items
16. Cases, Analysis Cases, Verification Cases
    • AnalysisCase Definition examples
    • Advanced: The TradeStudies library package
    • Advanced: Example Trade Study: Optimal algorithms comparison
    • Advanced: The VerificationCases library package
    • Advanced: Example of a Verification Definition
17. Events quick look
    • Basic event occurrences
    • Event occurrence multiplicities
    • Event occurrence with reference subsetting ::>
18. Use Cases
    • Basic Use Case Definition
    • Use Case with event sequence
    • A «use case» usage as redefining scenario
    • Elaborating a Use Case using ports
    • Elaborating an actor using behavior (states with actions)
    • Elaborating a subject using behavior (actions)
19. Metadata
    • Metadata with attributes
    • Notation for applying metadata
    • Metadata applied in an owner context
    • “Tagging” metadata with no features
    • Advanced: SemanticMetadata and #
    • Advanced: User defined #keyword for SemanticMetadata
    • Images and Icon metadata
20. Advanced: Occurrences
    • Advanced: Terminology: lifetime, time slice, snapshot
    • Advanced: «part def» with time slices and snapshots
    • Advanced: Part snapshots
    • Advanced: Direct Occurrence Definition (time focussed)
    • Advanced: Individual parts
    • Advanced: Individual occurrences
21. Advanced: Views & Viewpoints
    • Advanced: Viewpoint examples
    • Advanced: View examples
    • Advanced: View rendering and filter examples
    • Diagrams as Views (examples in Cameo)
22. The SysMLv2 Web Services API
    • About the Systems Modeling Application Programming Interface (API) and Services for SysMLv2
    • SysMLv2 as KerML JSON
    • SysMLv2 REST OpenAPI
    • Terminology: PIM vs PSM
    • The API Cookbook in JupyterLab
    • HOWTO Setup a SysMLv2 "model server"
    • HOWTO Explore existing public SysMLv2 repositories
23. The ShapeItems library
    • Standalone shape items.
    • Shape items as boundaries and envelopes of other items.
    • Webel's example of SysMLv2 Shapes in Wolfram Mathematica
24. Cameo tool tips
    • Project Quick Start
    • Using the textual representation code editor
    • Sync textual representation to project model
    • Sync project model to textual representation
    • Draft project vs committed versions.
    • Exporting to SysMLv2 code.
    • Backing up projects
    • How the menu items related to SysMLv2
    • Diagram/View types
    • Customising table views
    • HOWTO: Evaluate models using the SysMLv2 Evaluation Plugin
    • And lots of Webel Best Practice modelling tips!

Course attendees also get an annual subscription to the unique Webel Q&A     online self-testing quiz system for SysML!