SysML v2 beta
The beta specifications of SysML version 2 were approved by the Object Management Group (OMG) on 10 July and explained in a press release. The specifications enable next-generation systems modelling with improved precision, expressiveness, consistency, usability, interoperability and extensibility. The SysML v2 Submission Team, co-led by Sandy Friedenthal and Ed Seidewitz, included representatives from more than 80 organisations.
SysML v2 provides complementary textual and graphical representations of the underlying model, enabling a better understanding of systems. A standard API and a set of services for navigating, querying and updating the model enable interoperability with other tools and software applications throughout the system development lifecycle. The OMG anticipates final adoption of the three specifications in 2024. The OMG specifications address middleware, modelling and vertical domain frameworks.
For Sparx Systems, the OMG press release quotes J.D. Baker, Sparx Ambassador and OMG Architecture Board Member, "Sparx Systems has followed the development of SysML v2 closely. Now that the specifications are in finalisation, Sparx Systems will work to equip Enterprise Architect users with the specified capabilities."
The SysML v2 beta includes:
- The Kernel Modeling Language (KerML) version 1.0 beta specification.
- The specification of the Systems Modeling Language (SysML) version 2.0 beta and
- The Systems Modeling Application Programming Interface (API) and Services specification version 1.0 beta
"SysML v2 enables the modelling of increasingly complex systems as part of the evolving practice of model-based systems engineering," Friedenthal said.
SysML v2 extends KerML to include concepts for modelling systems with deeply nested hierarchies of structure, behaviour, requirements and overarching relationships. It also allows developers to specify analysis and verification cases. "KerML defines a new meta-model that forms the basis for SysML v2," says Seidewitz. "Its formal semantics, specified as first-order logic, with 4D semantics of temporal and spatial extension, provides a new level of expressiveness and precision."