Reference : Towards Extending the Validation Possibilities of ADOxx with Alloy
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Towards Extending the Validation Possibilities of ADOxx with Alloy
de Kinderen, Sybren mailto [University of Duisburg-Essen]
Ma, Qin mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Kaczmarek-Heß, Monika mailto [University of Duisburg-Essen]
Lecture Notes in Business Information Processing 400
138 - 152
13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020)
November 25-27, 2020
[en] metamodelingplatforms ; ADOxx ; Alloy ; Well-formedness
[en] 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 e3value modeling language as a point of departure, we particularly provide (a) a partial ADOxx implementation of e3value, (b) a proof-of-concept XML2Alloy parser, which allows for converting e3value models created in ADOxx into Alloy format, so that (c) e3value well-formedness constraints stated in Alloy can be used to check the valid- ity of an e3value 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.

File(s) associated to this reference

Fulltext file(s):

Limited access
paper_45.pdfAuthor preprint758.18 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.