Skip to content

A Semantically Well-Founded Full Parser for the SysML v2

A semantically well-founded standard-compliant SysML v2 parser and model validator with a strong type system and semantic foundation.

Model Validation via Fully Checked Context Conditions
SpesML Functional Modeling Profile

Coming Soon

API Access
Formal Verification via a Connection to the Theorem Prover Isabelle
Digital Twin Synthesis
Project Artifact Analysis Capabilities
Simulation Capabilities
Advanced Code Generation
Read More Reference SpesML Reference
Vehicle Model
Vehicle.sysml 
part def Vehicle {
  attribute mass :> ISQ::mass;
  attribute dryMass;
  attribute cargoMass;
  attribute electricalPower;

  port pwrCmdPort;
  port vehicleToRoadPort;

  perform action providePower;
  perform action provideBraking;

  exhibit vehicleStates;
}

The Systems Modeling Language v2

One of the interesting new capabilities is the exchange of models between tools using a human-readable textual form of the SysML language in the spirit of a modern programming language (even though it has a number of special constructs that resemble modelling concepts).

This textual form will play a major role in the exchange of models between tools thus allowing to build toolchains, as well as in the versioning of models, e.g., in GitHub, and also in the efficient definition of models by people who prepare textual notations.

It is therefore highly relevant to have consistent parsing mechanisms available. The SysML v2 Pilot-Implementation contains a parser for this textual notation.

We know from the definition of programming languages, that it is, however, helpful to provide a second source parser, such that parsing results can be compared and therefore compilers, linters, checkers of context conditions and other advanced tooling, receive the level of quality desired for industrial use.

The SpesML v2 Functional Modeling Profile

In complex systems and software engineering, specifying functional behavior early in the design process is essential for ensuring correctness and consistency across development artifacts. However, existing modeling languages, including SysML v2, are often either too abstract or require premature commitment to implementation details, limiting the ability to capture partial specifications.

To overcome these limitations, we introduce a SysML v2 profile that embodies lessons learned from modeling with SysML v2. This profile restricts the broad SysML v2 language to a usable, semantically well-founded subset, while extending it with communication history-oriented specification constructs that leverage underspecification.

  •   Getting Started

    Is this your first time using SysML v2? Set up a project and start modeling.

    For Users
    For Developers

  •   SpesML

    Learn more about SpesML and the SPES framework.

    Read more

  •   License

    Learn about the license and how you can use the generated code.

    Read more

Get Started with SysML Today!

Discover Component-Based Modeling

Take the Tour

Found an issue?

This SysML v2 tooling is actively maintained by the Chair of Software Engineering. There are multiple ways in which you can improve it to help you and others who might encounter the same issues in the future.

Hint

Before submitting an issue, make sure to:

  • Check that no similar issue already exists here
  • You provided all the information needed to understand the issue

Further Information

Find more information about SysML v2 and other projects and publications by the Chair of Software Engineering under the following links: