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
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 - https://www.scopus.com/pages/publications/85184108428
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 -