Towards Extending the Validation Possibilities of ADOxx with Alloy - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Towards Extending the Validation Possibilities of ADOxx with Alloy


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.
Fichier principal
Vignette du fichier
500489_1_En_10_Chapter.pdf (758.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03434656 , version 1 (18-11-2021)





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⟩
59 View
25 Download



Gmail Facebook X LinkedIn More