[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.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
de Kinderen, Sybren; University of Duisburg-Essen
MA, Qin ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Kaczmarek-Heß, Monika; University of Duisburg-Essen
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Towards Extending the Validation Possibilities of ADOxx with Alloy
Date de publication/diffusion :
2020
Nom de la manifestation :
13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020)
Date de la manifestation :
November 25-27, 2020
Titre de l'ouvrage principal :
Lecture Notes in Business Information Processing 400
Andoni, A., Daniliuc, D., Khurshid, S.: Evaluating the “small scope hypothesis”. Technical report, MIT-LCS-TR-921, MIT CSAIL (2003)
Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Software Syst. Model. 7(3), 345–359 (2008)
Bock, A., Frank, U.: Multi-perspective enterprise modeling—conceptual foundation and implementation with ADOxx. Domain-Specific Conceptual Modeling, pp. 241– 267. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39417-6 11
Bork, D.: Metamodel-based analysis of domain-specific conceptual modeling methods. In: Buchmann, R.A., Karagiannis, D., Kirikova, M. (eds.) PoEM 2018. LNBIP, vol. 335, pp. 172–187. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-02302-7 11
Bork, D., Buchmann, R., Karagiannis, D., Lee, M., Miron, E.T.: An open platform for modeling method conceptualization: the OMiLAB digital ecosystem. Commun. Assoc. Inf. Syst. 44, 673–697 (2019). https://doi.org/10.17705/1CAIS.04432, http://eprints.cs.univie.ac.at/5462/
Cook, S., Jones, G., Kent, S., Wills, A.C.: Domain-Specific Development with Visual Studio DSL Tools. Pearson Education, London (2007)
Efendioglu, N., Woitsch, R.: Modelling method design: an adoxx realisation. In: 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW), pp. 1–8. IEEE Computer Society, Los Alamitos, CA, USA, September 2016. https://doi.org/10.1109/EDOCW.2016.7584376, https://doi.ieeecomputersociety.org/10.1109/EDOCW.2016.7584376
Englebert, V., Heymans, P.: Towards more extensible metacase tools. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) Advanced Information Systems Engineering, pp. 454–468. Springer, Heidelberg (2007)
Fill, H., Karagiannis, D.: On the conceptualisation of modelling methods using the adoxx meta modelling platform. EMISA 8(1), 4–25 (2013)
France, R.B., Frank, U., Oberweis, A., Rossi, M., Strecker, S.: Open models as a foundation of future enterprise systems (dagstuhl seminar 12131). In: Dagstuhl Reports. vol. 2. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)
Gammaitoni, L., Kelsen, P.: Domain-specific visualization of alloy instances. In: Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2014), pp. 324–327. LNCS 8477 (2014)
Gammaitoni, L., Kelsen, P., Glodt, C.: Designing languages using lightning. In: Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), pp. 77–82 (2015)
Gordijn, J., Akkermans, H.: Business models for distributed energy resources in a liberalized market environment. Electr. Power Syst. Res. J. 77(9), 1178–1188 (2005). http://docs.e3value.com/bibtex/pdf/Gordijn2005DER.pdf, preprint available. https://doi.org/10.1016/j.epsr.2006.08.008
Gordijn, J., Akkermans, J.: e3-value: design and evaluation of e-business models. IEEE Intelligent Systems, pp. 11–17 (2001)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2 2012), revised edition
Jarke, M., Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S.: ConceptBase— a Deductive Object Base for Meta Data Management. J. Intell. Inf. Syst. 4(2), 167–192 (1995). https://doi.org/10.1007/BF00961873
Jeusfeld, M.A.: SemCheck: Checking Constraints for Multi-perspective Modeling Languages, pp. 31–53. Springer, Cham (2016)
Jeusfeld, M.A., Jarke, M., Nissen, H.W., Staudt, M.: Conceptbase: managing conceptual models about information systems. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, pp. 273–294. Springer, Heidelberg (2006)
Jeusfeld, M.A., Neumayr, B.: Deeptelos: Multi-level modeling with most general instances. In: International Conference on Conceptual Modeling, pp. 198–211. Springer, Heidelberg (2016)
Karagiannis, D., Buchmann, R.A.: A proposal for deploying hybrid knowledge bases: the ADOxx-to-GraphDB interoperability case. In: Proceedings of the 51st Hawaii International Conference on System Sciences (2018)
Kelsen, P., Ma, Q.: A lightweight approach for defining the formal semantics of a modeling language. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 690–704. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87875-9 48
Schwab, M., Karagiannis, D., Bergmayr, A.: i* on adoxx ®: A case study. In: iStar 2010-Proceedings of the 4th International i* Workshop, p. 92 (2010)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: eclipse modeling framework. Pearson Education, London (2008)
Tolvanen, J.P., Kelly, S.: Metaedit+ defining and using integrated domain-specific modeling languages. In: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp. 819–820 (2009)
Torlak, E., Jackson, D.: Kodkod: a relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632–647. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71209-1 49
