Skip to Main content Skip to Navigation
New interface
Conference papers

Towards Extending the Validation Possibilities of ADOxx with Alloy

Abstract : While ADOxx is a popular platform for the creation and use of enterprise modeling languages, it provides only limited support for a well-formedness check of created enterprise models. In this paper, we propose to complement the meta modeling platform ADOxx with Alloy, which natively provides extensive model checking capabilities, so as to enable a well-formedness check of enterprise models created in ADOxx.Using the $$e^{3}{value}$$ modeling language as a point of departure, we particularly provide (a) a partial ADOxx implementation of $$e^{3}{value}$$, (b) a proof-of-concept XML2Alloy parser, which allows for converting $$e^{3}{value}$$ models created in ADOxx into Alloy format, so that (c) $$e^{3}{value}$$ well-formedness constraints stated in Alloy can be used to check the validity of an $$e^{3}{value}$$ model with the Alloy Evaluator. Beyond the specific proof-of-concept, we also discuss further possibilities of using ADOxx in conjunction with Alloy, particularly in checking the soundness of meta models underlying an enterprise modeling language.
Document type :
Conference papers
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, November 18, 2021 - 1:39:08 PM
Last modification on : Friday, November 19, 2021 - 4:20:28 PM
Long-term archiving on: : Saturday, February 19, 2022 - 7:04:27 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Sybren De Kinderen, Qin Ma, Monika Kaczmarek-Hess. Towards Extending the Validation Possibilities of ADOxx with Alloy. 13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.138-152, ⟨10.1007/978-3-030-63479-7_10⟩. ⟨hal-03434656⟩



Record views