![]() Ma, Qin ![]() in Software and Systems Modeling (2022) Detailed reference viewed: 21 (2 UL)![]() ; ; Ma, Qin ![]() in Data and Knowledge Engineering (2022), 141 Detailed reference viewed: 12 (2 UL)![]() ; Ma, Qin ![]() in Lecture Notes in Business Information Processing (2022) Detailed reference viewed: 11 (1 UL)![]() ; ; Ma, Qin ![]() Report (2021) Detailed reference viewed: 67 (4 UL)![]() ; ; Ma, Qin ![]() in Enterprise Modelling and Information Systems Architectures (2021), 16 Detailed reference viewed: 78 (3 UL)![]() Ma, Qin ![]() in The Practice of Enterprise Modeling - 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24-26, 2021, Proceedings (2021) Detailed reference viewed: 26 (1 UL)![]() ; Ma, Qin ![]() in Lecture Notes in Business Information Processing 400 (2020) 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 ... [more ▼] 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. [less ▲] Detailed reference viewed: 49 (0 UL)![]() ; ; et al in WIRTSCHAFTSINFORMATIK 2019 PROCEEDINGS (2019) Detailed reference viewed: 43 (2 UL)![]() ; ; Ma, Qin ![]() in IEEE 12th International Conference on Research Challenges in Information Science (2018) Detailed reference viewed: 90 (1 UL)![]() ; Ma, Qin ![]() in 19th IEEE Conference on Business Informatics, CBI 2017, Thessaloniki, Greece, July 24-27, 2017, Volume 2: Workshop Papers (2017) Detailed reference viewed: 110 (5 UL)![]() ; ; Ma, Qin ![]() in Lecture Notes in Business Information Processing 305 (2017) Detailed reference viewed: 103 (3 UL) |
||