No 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 wellformedness 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.

No abstract

No abstract

No abstract