Reasonable MBSE Workshop

Quick info


Workshop to discuss the elaboration of reasoning capabilities to support system engineering design to reduce effort on experiments and early validation.


Thursday 23 November 2023, 9:00 - 18:00.


University of Antwerp, Campus Middelheim, Building G, CDF Room (M.G.028).


09:00 - 09:10: Welcoming and Overview (Hans Vangheluwe)

09:10 - 09:35: Early V&V in Model-Based Systems Engineering (Johan Cederbladh and Antonio Cicchetti) [PDF]

Abstract: In essence I work with Models in Systems Engineering in early phases for validation of systems design, mostly architecture and high level conceptual evalutations. At the moment it is mostly about co-simulation but I think our work could be a nice addition, and I am hoping we can reach a point where we can evaluate it inside the Volvo CE context (given we still use that as a use case).

09:35 - 10:00: Experiment workflow management for system engineering (Lucas Lima) [PDF]

Abstract: In the realm of model-driven engineering, the effective management and representation of complex workflows and their associated artefacts stand as pivotal challenges. This work aims to address them by introducing a comprehensive framework designed to model workflows, including their activities and artefacts. At the core of this framework, we have ontological constructs, organizing information and forging meaningful connections between conceptual entities. In this presentation, we illustrate the application of this framework describing the workflow design, enactment and querying data from the executed experiments. By encapsulating the components, processes, and dependencies, the framework offers a structured approach to minimise the inherent complexity of such systems.

10:00 - 10:25: Experiment Specifications for Provenance of Experiment Data (Rakshit Mittal)

Abstract: ExSpec (Experiment Specification) is a (work-in-progress) language to define the provenance of data from experiments and simulations (read: experiments-in-silico). It defines the conditions, system/s, environments, actors, and stakeholders associated with an experiment instance. The goal is to have this experiment specification in the knowledge graph as a virtual representation of the data generated from the experiments. This 'metadata' can be queried to identify what experiments have already been conducted. The immediate benefit of using this information is that we do not have to load/materialize the data to answer the query. The bigger picture is to characterize representational validity, validity frames, etc. using these experimental specifications as the foundation.

10:25 - 10:50: Semantical Reflection for Computational Structures (Eduard Kamburjan) [PDF]

Abstract: We present recent advances on using knowledge graphs and ontologies in the context of digital twins, in particular for structural reconfiguration and explicit use of domain knowledge in simulation. We discuss the use of semantic technologies from both the aforementioned application side, but also from the perspective of programming language design for domain-aware and reflective computations.

10:50 - 11:00: Break

11:00 - 12:00: Wrap-up (discussion on focuses, cases, planning and deciding working groups for the afternoon)

12:00 - 13:00: Lunch at Komida

13:00 - 15:00: Work in groups

15:00 - 15:30: Break

15:30 - 17:00: Work in groups

17:00 - 18:00: Roadmapping and discuss publications

18:30 - ...: social event: Happy hour at Spéciale Belge Taproom

Maintained by Hans Vangheluwe. Last Modified: 2023/11/22 14:36:04.