Towards Extending the Validation Possibilities of ADOxx with Alloy - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß. Towards Extending the Validation Possibilities of ADOxx with Alloy. In Janis Grabis, Dominik Bork, editors, The Practice of Enterprise Modeling - 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25-27, 2020, Proceedings. Volume 400 of Lecture Notes in Business Information Processing, pages 138-152, Springer, 2020. [doi]

The following publications are possibly variants of this publication:

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 AlloySybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß. cii, 151:103974, October 2023. [doi]

runs on WebDSL