SysML v2 is an upcoming version of the Systems Modeling Language that aims to address limitations in the current version (v1). It has a formal foundation using KerML, a new metamodel that is not limited by being a UML profile, and a textual notation to integrate with existing technologies. A standardized API will also allow SysML tooling to better interoperate. The goal of these changes is to enable effective model-based systems engineering by putting system models with real meaning and semantics at the center.

1. SysML v2
Ed Seidewitz
Chief Technology Officer
Model Driven Solutions
ed-s@modeldriven.com ● @seidewitz ● https://slideshare.net/seidewitz
OpenMBEE Workshop at MODELS 2020
19 October 2020
Copyright © 2020 Model Driven Solutions, Inc.
What's the Big Deal, Anyway?

2. Page 2
Systems Modeling Language™ (SysML®)
SysML v1.0 adopted in 2006
Standard profile of UML v2.1
Current version is SysML v1.6
v1.7 expected to be last for SysML v1
SysML v2 RFPs issue
Language: December 2017
API and Services: June 2018
Supports the specification, analysis, design, and verification and
validation of complex systems that may include hardware, software,
information, processes, personnel, and facilities
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.

3. Page 3
SysML v2 Submission Team (SST)
Formed December 2017
Leads: Sandy Friedenthal, Ed Seidewitz
A broad team of end users, vendors,
academics, and government liaisons
Currently 100+ members from 70+ organizations
Developing submissions to both RFPs
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.

4. Page 4
So What?
Has a formal foundation
Has a new metamodel
Has a textual notation
Has a standard API
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.

5. Page 5
Has a Formal Foundation
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
Root
Syntax
Core
Syntax
Core
Semantics
semantic
specification
Kernel Modeling Language
(KerML)
Kernel
Syntax
Kernel Model
Library
metamodel
semantic library
Systems
Syntax
Systems and
Domain Model
Libraries
metamodel
semantic library
Systems Modeling Language
(SysML)
Direct semantic mapping
to formal logic
Declarative semantic
base elements and
domain-specific libraries
modeled using SysML
Declarative semantic
base elements modeled
using KerML

6. Page 6
Has a Formal Foundation…So What?
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
What happens:
– Geometry changed
– Pieces mounted onto
machine
– Water removed
cking Semantic Conformance, Most Auto
22
Standard
Using a
standard
Model
Interpreting a
model
Modelinglanguage
andlibraries
Semantic conformance
checked automatically
by tools built manually for
checking all formal models
Operations
Engineering
model Graphics:
– Circles
– Lines
– Rectangles
Domain terms:
– Lathes, Feeders
– Drying, Shaping
Using terms:
– Connect a feeder
to a lathe
math /
logic
Yes / No
Things
being
modeled
Semantic conformance
checked automatically
by tools build manually
for checking all formal models
math /
logic
From: Conrad Bock, "(SysML v2) Semantics without Tears Math", ad/20-09-03

7. Page 7
Has a New Metamodel
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
MOF-conformant
abstract syntax model

8. Page 8
:>> tighteningTorque = 20 :>> tighteningTorque = 10
Has a New Metamodel…So What?
19 October 2020
Connector to
nested port
Copyright © 2020 Model Driven Solutions, Inc.
Usage-specific
property values
Usage-focused
modeling
SysML v2 language design isn't limited by being a UML profile

9. Page 9
Has a Textual Notation
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
Interactive DisplayDynamic Visualization
TableDiagram
Text

10. Page 10
Has a Textual Notation…So What?
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
Allows integration with many existing text-based language technologies.

11. Page 11
Has a Standardized API
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
From: SysML v2 API & Services RFP

12. Page 12
Has a Standardized API…So What?
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.
Lets SysML tooling interoperate with other tools

13. Page 13
Model-Based System Engineering (MBSE)
19 October 2020
A Practical Guide to SysML 3rd Edition (Figure 18.1)
puts the System Model
at the center
Copyright © 2020 Model Driven Solutions, Inc.

14. Page 14
So That's What!
To succeed at MBSE, we need…
Models with meaning
A modeling language that's expressive
Tools that work for engineers
And play well with each other
SysML v2
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.

15. Page 15
Pilot Implementation (2020-09 Release)
Publicly available on Google Drive
https://www.openmbee.org/sysml-v2-release/2020-09
Google group for comments and questions
https://groups.google.com/forum/#!forum/sysml-v2-release
(to request membership, provide name, affiliation and interest)
Content available on Google Drive
Read me file (includes installation instructions)
Specification documents (KerML, SysML, API & Services)
Training material for SysML textual notation
Installation file for Jupyter tooling
Installation site for Eclipse plug-in
Web access to prototype repository via SysML v2 API
Web access to Tom Sawyer visualization tooling
Source code to be available soon on GitHub
19 October 2020Copyright © 2020 Model Driven Solutions, Inc.