An Analysis of the Semantic Foundation of KerML and SysML v2

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

doi:10.1007/978-3-031-75872-0_8

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 proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings
Editors	Wolfgang Maass, Hyoil Han, Hasan Yasar, Nick Multari
Publisher	Springer
Pages	133-151
Number of pages	19
ISBN (Print)	9783031758713
DOIs	https://doi.org/10.1007/978-3-031-75872-0_8
Publication status	Published - 21 Oct 2024
Event	43rd International Conference on Conceptual Modeling, ER 2024 - Pittsburgh, United States Duration: 28 Oct 2024 → 31 Oct 2024 Conference number: 43

Publication series

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

Conference

Conference	43rd International Conference on Conceptual Modeling, ER 2024
Abbreviated title	ER 2024
Country/Territory	United States
City	Pittsburgh
Period	28/10/24 → 31/10/24

Keywords

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

Access to Document

10.1007/978-3-031-75872-0_8

978-3-031-75872-0_8Final published version, 978 KBLicence: Taverne

Cite this

Almeida, J. P. A., Ferreira Pires, L., Guizzardi, G., & Wagner, G. (2024). An Analysis of the Semantic Foundation of KerML and SysML v2. In W. Maass, H. Han, H. Yasar, & N. Multari (Eds.), Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings (pp. 133-151). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15238 LNCS). Springer. https://doi.org/10.1007/978-3-031-75872-0_8

Almeida, João Paulo A. ; Ferreira Pires, Luís ; Guizzardi, Giancarlo et al. / An Analysis of the Semantic Foundation of KerML and SysML v2. Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings. editor / Wolfgang Maass ; Hyoil Han ; Hasan Yasar ; Nick Multari. Springer, 2024. pp. 133-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b3f4a10ca45a4eea90ca0a7840eaa0bc,

title = "An Analysis of the Semantic Foundation of KerML and SysML v2",

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 {\textquoteleft}four-dimensionalist{\textquoteright} view.",

keywords = "2025 OA procedure, Kernel Modeling Language (KerML), Model-Based Systems Engineering, Semantics, Systems Modeling Language (SysML) v2, Foundations",

author = "Almeida, {Jo{\~a}o Paulo A.} and {Ferreira Pires}, Lu{\'i}s and Giancarlo Guizzardi and Gerd Wagner",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.; 43rd International Conference on Conceptual Modeling, ER 2024, ER 2024 ; Conference date: 28-10-2024 Through 31-10-2024",

year = "2024",

month = oct,

day = "21",

doi = "10.1007/978-3-031-75872-0_8",

language = "English",

isbn = "9783031758713",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "133--151",

editor = "Wolfgang Maass and Hyoil Han and Hasan Yasar and Nick Multari",

booktitle = "Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings",

address = "Germany",

}

Almeida, JPA, Ferreira Pires, L , Guizzardi, G & Wagner, G 2024, An Analysis of the Semantic Foundation of KerML and SysML v2. in W Maass, H Han, H Yasar & N Multari (eds), Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15238 LNCS, Springer, pp. 133-151, 43rd International Conference on Conceptual Modeling, ER 2024, Pittsburgh, Pennsylvania, United States, 28/10/24. https://doi.org/10.1007/978-3-031-75872-0_8

An Analysis of the Semantic Foundation of KerML and SysML v2. / Almeida, João Paulo A.; Ferreira Pires, Luís ; Guizzardi, Giancarlo et al.
Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings. ed. / Wolfgang Maass; Hyoil Han; Hasan Yasar; Nick Multari. Springer, 2024. p. 133-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15238 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An Analysis of the Semantic Foundation of KerML and SysML v2

AU - Almeida, João Paulo A.

AU - Ferreira Pires, Luís

AU - Guizzardi, Giancarlo

AU - Wagner, Gerd

N1 - Conference code: 43

PY - 2024/10/21

Y1 - 2024/10/21

N2 - 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.

AB - 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.

KW - 2025 OA procedure

KW - Kernel Modeling Language (KerML)

KW - Model-Based Systems Engineering

KW - Semantics

KW - Systems Modeling Language (SysML) v2

KW - Foundations

UR - http://www.scopus.com/inward/record.url?scp=85209587912&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-75872-0_8

DO - 10.1007/978-3-031-75872-0_8

M3 - Conference contribution

AN - SCOPUS:85209587912

SN - 9783031758713

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 133

EP - 151

BT - Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings

A2 - Maass, Wolfgang

A2 - Han, Hyoil

A2 - Yasar, Hasan

A2 - Multari, Nick

PB - Springer

T2 - 43rd International Conference on Conceptual Modeling, ER 2024

Y2 - 28 October 2024 through 31 October 2024

ER -

Almeida JPA, Ferreira Pires L , Guizzardi G, Wagner G. An Analysis of the Semantic Foundation of KerML and SysML v2. In Maass W, Han H, Yasar H, Multari N, editors, Conceptual Modeling - 43rd International Conference, ER 2024, Proceedings. Springer. 2024. p. 133-151. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-75872-0_8