Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy

Sybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß. Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy. Computers in Industry, 151:103974, October 2023. [doi]

Abstract

Abstract is missing.