Towards Extending the Validation Possibilities of ADOxx with Alloy

de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Towards Extending the Validation Possibilities of ADOxx with Alloy

de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika

2020 • In Lecture Notes in Business Information Processing 400

Peer reviewed

Permalink
https://hdl.handle.net/10993/44999

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

paper_45.pdf

Author preprint (776.38 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

metamodelingplatforms; ADOxx; Alloy; Well-formedness

Abstract :

[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 :

Computer science

Author, co-author :

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

External co-authors :

yes

Language :

English

Title :

Towards Extending the Validation Possibilities of ADOxx with Alloy

Publication date :

2020

Event name :

13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020)

Event date :

November 25-27, 2020

Main work title :

Lecture Notes in Business Information Processing 400

Publisher :

Springer

ISBN/EAN :

978-3-030-63478-0

Pages :

138 - 152

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 14 December 2020

Statistics

Number of views

89 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

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