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}\) 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Please note that UML does not fully match the ADOxx meta meta model. For example, UML roles do not have a clear counterpart in ADOxx. As such their implementation requires a workaround.
- 3.
AQL queries can be ad hoc formulated by a user, or pre-defined by a meta model developer in the Development Toolkit.
- 4.
Fields in Alloy can define relations of any arity, not only just binary ones as in the case of ADOxx. In this paper, we introduce only the part of Alloy that is relevant for this work.
- 5.
As stated, as far as we know, there is no counterpart to UML roles in the ADOxx development environment.
References
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.: Value-based requirements engineering: exploring innovative e-commerce ideas. Ph.D. thesis, Vrije Universiteit Amsterdam (2002)
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
Lankhorst, M.: Enterprise Architecture at Work. TEES. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-29651-2
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 IFIP International Federation for Information Processing
About this paper
Cite this paper
de Kinderen, S., Ma, Q., Kaczmarek-Heß, M. (2020). Towards Extending the Validation Possibilities of ADOxx with Alloy. In: Grabis, J., Bork, D. (eds) The Practice of Enterprise Modeling. PoEM 2020. Lecture Notes in Business Information Processing, vol 400. Springer, Cham. https://doi.org/10.1007/978-3-030-63479-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-63479-7_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-63478-0
Online ISBN: 978-3-030-63479-7
eBook Packages: Computer ScienceComputer Science (R0)
