The SysML v2 Book

This book teaches you textual SysML v2 by building a model, not by reading the specification.

You will start with an empty file, grow it into a realistic system model, and learn each language feature as you need it. The running example throughout is a Smart Coffee Machine.

How to Read This Book

If you are new to SysML v2, start at Chapter 1 and read in order. Each chapter builds on the one before it, and the coffee machine model grows as you go.

If you already model in SysML v2, jump to the chapter you need. Chapters 3 to 10 cover the core language and Chapter 11 assembles it into one model. Chapters 12 to 14 cover specialization, metadata and views, and libraries; Chapters 15 and 16 cover working in projects and running what you have built. The ten appendices are reference material: syntax, migration from SysML v1, the Systems Modeling API, tooling notes, physics-aware simulation, diagnostic codes, relationship and element kinds, lexical rules, review checklists, and occurrences, time slices, and snapshots.

What You Will Build

By Chapter 11, you will have a complete system model with structure, behavior, requirements, and verification links – all connected into one coherent design.

About this book

The book teaches SysML v2 as the OMG specification defines it, and cites clauses where a claim is load-bearing so you can check it for yourself. Where something is a particular tool’s behaviour rather than the language’s, it says so – usually in a note like this one – so you can skip it and still learn the language.

This book is the language half of a documentation pair. Its companion, the sysml-rs documentation portal, documents the sysml-rs tool itself – installation, projects and dependencies, the CLI, execution, editors, and integrations. Tool-specific notes in these chapters link there rather than duplicating it.

Every code sample is checked against a real parser rather than written from memory.

This is a pre-1.0 draft. Chapters are still being verified against the specification, and some are thinner than others. If you find something wrong, please say so – corrections are the most useful contribution.

The prose is licensed CC-BY-4.0. The code samples are MIT OR Apache-2.0, so you can lift one into your own model without picking up an attribution obligation.