Portal de Periódicos da CAPES

Teaching Low-Code Formal Methods with Coloured Petri Nets

2023; Springer Science+Business Media; Linguagem: Inglês

10.1007/978-3-031-27534-0_7

1611-3349

Somsak Vanit-Anunchai,

Formal Methods in Verification

This paper proposes teaching formal methods using Coloured Petri Nets and CPN Tools. This tool can hide the mathematical complexity and provides a simple and easy way for non-technical users to build their models without extensive coding (low-code). According to our experience in Coder Dojo workshops, when applying CPN Tools to a certain class of simple problems, even the youths can create, maintain the model and play with it. They can use the formal methods without realizing it. This paper tries to convince the idea of low-code formal methods by illustrating various examples. Finally, we suggest teaching low-code formal methods not as a separate subject but rather weaving it into the mainstream curriculum.