TY - GEN
T1 - Embedding Formal Verification in Model-Driven Software Engineering with Slco
T2 - 19th International Conference on Formal Aspects of Component Software, FACS 2023
AU - Wijs, Anton
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2024/1/13
Y1 - 2024/1/13
N2 - In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed around this language to conduct research on a wide range of topics, all related to the construction of complex, component-based software, with formal verification being applied in every development step. In this paper, we present this range, and draw connections between the various, at first glance disparate, research results. We discuss the current status of the Slco framework, i.e., the language in combination with the tools, and plans for future work.
AB - In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed around this language to conduct research on a wide range of topics, all related to the construction of complex, component-based software, with formal verification being applied in every development step. In this paper, we present this range, and draw connections between the various, at first glance disparate, research results. We discuss the current status of the Slco framework, i.e., the language in combination with the tools, and plans for future work.
KW - Domain-Specific Language
KW - Model-Driven Software Engineering
KW - component-based software
KW - formal verification
KW - parallel software
UR - http://www.scopus.com/inward/record.url?scp=85184108428&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-52183-6_11
DO - 10.1007/978-3-031-52183-6_11
M3 - Conference contribution
SN - 978-3-031-52182-9
T3 - Lecture Notes in Computer Science (LNCS)
SP - 206
EP - 227
BT - Formal Aspects of Component Software
A2 - Cámara, Javier
A2 - Jongmans, Sung-Shik
PB - Springer
CY - Cham
Y2 - 19 October 2023 through 20 October 2023
ER -