An Analysis of the Semantic Foundation of KerML and SysML v2

João Paulo A. Almeida*, Luís Ferreira Pires, Giancarlo Guizzardi, Gerd Wagner

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Abstract

In the last decades, Model-Based Systems Engineering (MBSE) has received significant attention, leading to standards such as SysML. SysML is due to a recent and radical update, breaking the dependence of its specification from UML, and leading to the development of two languages: KerML, which provides a top layer of general constructs, and SysML v2, which specializes KerML for systems engineering. In this paper, we analyze the formal and real-world semantics of the proposed KerML and SysML v2 specifications, and draw implications for their improvement and further development. Our attention is focused towards key constructs of the languages. We also examine the approach taken in the specifications to deal with dynamic aspects, which is inspired by the ‘four-dimensionalist’ view.

Original languageEnglish
Title of host publicationConceptual Modeling - 43rd International Conference, ER 2024, Proceedings
EditorsWolfgang Maass, Hyoil Han, Hasan Yasar, Nick Multari
PublisherSpringer
Pages133-151
Number of pages19
ISBN (Print)9783031758713
DOIs
Publication statusPublished - 21 Oct 2024
Event43rd International Conference on Conceptual Modeling, ER 2024 - Pittsburgh, United States
Duration: 28 Oct 202431 Oct 2024
Conference number: 43

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume15238 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference43rd International Conference on Conceptual Modeling, ER 2024
Abbreviated titleER 2024
Country/TerritoryUnited States
CityPittsburgh
Period28/10/2431/10/24

Keywords

  • 2025 OA procedure
  • Kernel Modeling Language (KerML)
  • Model-Based Systems Engineering
  • Semantics
  • Systems Modeling Language (SysML) v2
  • Foundations

Fingerprint

Dive into the research topics of 'An Analysis of the Semantic Foundation of KerML and SysML v2'. Together they form a unique fingerprint.

Cite this