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.