Topic outline for 3-day overview course version: Model-based systems engineering with the OMG's Systems Modeling Language (SysML®) and the SysML Plugin for MagicDraw® and Cameo™

Topic outline for 3-day overview course version

0. Introduction – Why SysML?
   • SysML^® as a new standard and common systems engineering language
   • Stakeholders: OMG + INCOSE + industry players + academia and research
   • UML^® for software engineering vs SysML for systems engineering
1. Overview of SysML
   • What SysML is and what SysML is not
   • The SysML diagrams vs the UML diagrams
   • The main SysML element stereotypes and notations
   • Aspects of UML2 useful for systems engineering and how SysML builds on them
   • The SysML extension mechanism
   • UML4SysML: Elements that SysML includes and excludes
2. UML “101” for SysML
   • The main UML metaclasses
   • Classifier, Class, Type
   • Class basics and Class notations and compartments
   • Generalization, VisibilityKind, and inherited Features
   • Associations, multiplicity, navigability, and Property cases
   • UML instances, links, and Object Diagrams
   • Composite structure and Connectors
   • UML Behaviors and Classes
   • Encapsulation and Ports
   • ValueSpecification and OpaqueExpressions
   • Behavior: States, StateMachines, and StateMachine Diagrams
   • Behavior: UML Activities and Activity Diagrams
   • Behavior: Actions, Pins, and structured actions
   • Behavior: Interactions and Sequence Diagrams
   • Execution: About Foundational UML (fUML^®)
   • Simulation: About Cameo™ Simulation Toolkit and UML/fUML
3. The SysML Block
   • What Blocks can model
   • Block compartments and notations
   • The Block Definition Diagram (BDD)
   • The Internal Block Diagram (BDD)
   • Case study: A home entertainment system
   • Part Property representations
   • Reference Property vs shared aggregation
   • Use of Generalization (inheritance) in systems engineering domain modelling
   • Redefining/Subsetting Properties
   • Associations vs Dependency vs Usage relationships
   • Association vs Connector
   • Encapsulation: Blocks with parts and ports
   • Connector kinds
   • SysML :features compartments in IBDs
   • Useful user-defined stereotypes for Blocks
   • The IBD as top-level Context Diagram
   • Breakdown of a system hierarchy
4. Values and quantities with units in SysML
   • The SysML ValueType and Unit
   • Representing physical, engineering, industrial, and financial quantities in SysML
   • The ISO-80000 ModelLibrary and the International System of Quantities (ISQ)
   • DataType vs PrimitiveType vs ValueType
   • Structured ValueTypes
   • Enumerations in SysML
   • Objects and instances: Slots as value carriers
   • The SysML :values compartment in IBDs
   • The SysML QuantityKind and the International Vocabulary of Metrology (VIM)
   • Creating a custom ValueType, Unit, and QuantityKind
5. Context-specific values and system configuration
   • Block with parts as creation templates
   • The limits of UML default values
   • The SysML initialValues compartment in IBDs
   • Levels of customisation and deep configuration in SysML
   • Mini workshop session: Deep configuration using training props
6. Ports and flows
   • Port notations and display options
   • Types of Ports
   • Creating Ports in BDDs and IBDs
   • Connecting to nested Properties and the SysML property path name
   • Standard UML Ports and Connector types
   • UML Port conjugation vs type-based SysML conjugation
   • The SysML InterfaceBlock and ~InterfaceBlock
   • SysML required/provided DirectedFeatures
   • SysML DirectedFeatures vs UML Interface
   • Displaying DirectedFeatures on Ports in IBDs
   • ItemFlows on Associations and Connectors
   • ItemFlow with itemProperty
   • The SysML FlowProperty and flow directions
   • Using FlowProperties on parts and Ports
   • Combining ItemFlows on Connectors with Ports and flows
   • Port vs SysML ProxyPort vs SysML FullPort
   • The BindingConnector and the ProxyPort
   • ProxyPort cases
   • The SysML FullPort
   • Combining port types
7. SysML Activity modelling extensions
   • SysML ControlFlow notation
   • Activity notations for BDDs
   • Control as and control operators
   • Continuous systems and rate of flow
   • Probabilities for edge decisions
   • Timing and duration constraints
   • ObjectNode extensions: NoBuffer and Overwrite
   • Understanding Actions with Pins vs ObjectFlows and ObjectNodes
   • AdjunctProperty and Activity decomposition in a BDD
8. SysML Requirements
   • The Requirement Diagram and the Requirement symbol compartments
   • Tracing, refining, deriving, and copying Requirements
   • Using callouts and compartments to expose relationship queries
   • Decomposing requirements and Requirement hierarchies
   • The Satisfy relationship and tracking satisfaction
   • Satisfaction matrices and query tables
   • Derived relationships: Satisfaction of a Block vs a Property
   • The Verify relationship and TestCases
   • Verify matrices and query tables
   • Using Trace for model element elicitation
   • The AbstractRequirement base
   • The non-normative ExtendedRequirements and their constraints
9. Use Cases
   • Examples of Use Cases in SysML
   • UseCase owner vs subject
10. SysML Allocations
    • Functional (behavioral) allocation, structural allocation, model refinement allocation
    • The Allocate relationship, allocation notations, and the allocation compartments
    • Using allocation callouts for non-Block elements
    • Definition level vs usage level allocations
    • Allocating to any Element anywhere
    • Functional (behavioral) allocation
    • Functional allocation using Activity Diagram swimlane partitions
    • Allocation tracing using matrices and query tables
11. Comment stereotypes
    • The Problem and Rational comments
    • Creating custom Comment stereotypes
    • Case study: A JIRA issue tracking comment with tagged values
    • Linking to external resources
12. The SysML ElementGroup and logical grouping
    • ElementGroup members
    • On combining text and graphical symbols in diagrams
13. The Webel Parsing Analysis recipe for the ElementGroup
    • Using the ElementGroup for model element elicitation
    • The Snippet text extract extension of the SysML ElementGroup
    • Relating a Snippet text extract to a domain source document
    • Parsing Analysis as a meta-process
    • Parsing Analysis for requirements elicitation
    • Mini workshop session: Traceable elicitation of model elements from a source document
14. Views and Viewpoints
    • Communicating with Stakeholders
    • View vs Viewpoint conformance
    • The Viewpoint as rules for a View
    • Exposing model elements for a View
    • Creating a View as a query over model elements
15. Mathematics with SysML Parametrics
    • A brief demonstration may be included in this short-course version on request
16. Tools: Tips for using the MagicDraw^® SysML Plugin and Cameo Systems Modeler^™
    • Versions of the tools, plugins, and product bundles
    • Getting started with a project
    • About the Webel Best Practice modelling policies
    • Recommended naming conventions
    • Power tips for rapid diagram modelling and element manipulation
    • Creating well-organised, navigable projects
    • Optional: Sharing versioned projects via the Cameo™ Teamwork Server/Cloud
    • About the Cameo™ Simulation Toolkit
    • Examples: The SysML specification Hybrid Sports Utility Vehicle sample problem
    • Examples: The SysML specification figure diagrams
17. Concluding remarks
    • The bright future of Model-Based Systems Engineering (MBSE) with SysML