Kevin Jilissen: Establishing well-typedness of SysML type definitions and activity diagrams

Event Details

SysML is widely used in industry to model complex systems. The lack of formal semantics and the support for modeller-defined semantics result in little to no support from tooling to ensure the model is well-typed. In this presentation, semantics are introduced with inference rules using Scope Graphs which enable the establishment of well-typedness of tunnel control system models at Rijkswaterstaat. By establishing well-typedness using modeller-defined semantics, we can identify mistakes in the SysML model and enable a transformation to formal specification languages.