ABSTRACT
The original notion of potency -- one of the core features underpinning many forms of multi-level modeling -- has come under pressure in several ways: First, since its inception new modeling challenges have come to the fore that raise serious questions about classic potency. Second, classic potency was developed in the context of constructive modeling and does not accommodate exploratory modeling, thus representing a major hindrance to the unification of constructive and exploratory modeling in a multi-level modeling context. Third, as the discipline of multi-level modeling has evolved, a number of alternative interpretations of potency have emerged. In part, these are based on different underlying principles, yet an explicit recognition of the respective differences at a foundational level and an explicit discussion of the tradeoffs involved has been missing from the literature to date. In this paper, I identify limitations of classic potency, propose to evolve it to a potency notion based on a new foundation which -- along with further novel proposals -- addresses the aforementioned challenges, and finally conduct a comparison to three alternative definitions of potency.
- João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne. 2018. Multi-level Modelling (Dagstuhl Seminar 17492). Dagstuhl Reports 7, 12 (2018), 18--49.Google Scholar
- Thomas Aschauer, Gerd Dauenhauer, and Wolfgang Pree. 2009. Representation and Traversal of Large Clabject Models. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, USA, October 4-9, 2009., Andy Schürr and Bran Selic (Eds.). Springer Verlag, 17--31. Google ScholarDigital Library
- Colin Atkinson, Ralph Gerbig, and Bastian Kennel. 2012. Symbiotic General-purpose and Domain-specific Languages. In Proceedings of the 34th International Conference on Software Engineering (2012-01-01) (ICSE '12). IEEE Press, Zurich, Switzerland, 1269--1272. Google ScholarDigital Library
- Colin Atkinson and Thomas Kühne. 2001. The Essence of Multilevel Metamodeling. In Proceedings of the 4th International Conference on the UML 2000, Toronto, Canada (LNCS 2185), Martin Gogolla and Cris Kobryn (Eds.). Springer Verlag, 19--33. Google ScholarDigital Library
- Colin Atkinson and Thomas Kühne. 2001. Processes and Products in a Multi-Level Metamodeling Architecture. International Journal of Software Engineering and Knowledge Engineering 11, 6 (2001), 761--783.Google ScholarCross Ref
- Colin Atkinson and Thomas Kühne. 2007. A Tour of Language Customization Concepts. In Advances in Computers, Marvin Zelkowitz (Ed.). Vol. 70. Academic Press, Elsevier, Chapter 3, 105--161.Google Scholar
- Colin Atkinson, Thomas Kühne, and Juan de Lara. 2017. Theme Issue on Multi-Level Modeling. SoSyM Theme Issue. Springer Verlag. Google ScholarDigital Library
- Freddy Brasileiro, João Paulo A. Almeida, Victorio A. Carvalho, and Giancarlo Guizzardi. 2016. Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata. In Proceedings of the 25th International Conference Companion on World Wide Web (WWW '16 Companion). International World Wide Web Conferences Steering Committee, 975--980. Google ScholarDigital Library
- Victorio A. Carvalho and João Paulo A. Almeida. 2016. Toward a well-founded theory for multi-level conceptual modeling. Software & Systems Modeling (2016), 1--27. Google ScholarDigital Library
- Victorio A. Carvalho, João Paulo A. Almeida, Claudenir M. Fonseca, and Giancarlo Guizzardi. 2015. Extending the Foundations of Ontology-Based Conceptual Modeling with a Multi-level Theory. In Proceedings of ER'15. Springer Verlag, 119--133.Google ScholarCross Ref
- Victorio A. Carvalho, João Paulo A. Almeida, Claudenir M. Fonseca, and G. Guizzardi. 2017. Multi-level ontology-based conceptual modeling. Data & Knowledge Engineering 109 (2017), 3--24. Google ScholarDigital Library
- Victorio A. de Carvalho, João Paulo A. Almeida, and Giancarlo Guizzardi. 2014. Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages. In Advanced Information Systems Engineering, Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, and Jennifer Horkoff (Eds.). Springer Verlag, 488--502.Google Scholar
- Juan de Lara and Esther Guerra. 2010. Deep Meta-modelling with MetaDepth. In Proceedings of TOOLS (48). 1--20. Google ScholarDigital Library
- Claudenir M. Fonseca, João Paulo A. Almeida, Giancarlo Guizzardi, and Victorio A. Carvalho. 2018. Multi-Level Conceptual Modeling: From a Formal Theory to a Well-Founded Language. In Proceedings of the 37th International Conference on Conceptual Modeling (ER 2018) (LNCS). Springer Verlag.Google Scholar
- Ulrich Frank. 2014. Multilevel Modeling -- Toward a New Paradigm of Conceptual Modeling and Information Systems Toward. Business & Information Systems Engineering 6, 6 (2014), 319--337.Google ScholarCross Ref
- Ralph Gerbig. 2011. The Level-agnostic Modeling Language: Language Specification and Tool Implementation. Master's thesis. University of Mannheim, Mannheim, Germany. https://ub-madoc.bib.uni-mannheim.de/37153Google Scholar
- Muzaffar Igamberdiev, Georg Grossmann, Matt Selway, and Markus Stumptner. 2016. An integrated multi-level modeling approach for industrial-scale data interoperability. Software & Systems Modeling (2016), 1--26. Google ScholarDigital Library
- Muzaffar Igamberdiev, Georg Grossmann, and Markus Stumptner. 2016. A Feature-based Categorization of Multi-Level Modeling Approaches and Tools. In Proceedings of the 3rd Workshop on Multi-Level Modelling co-located with the 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) (CEUR Workshop Proceedings), Vol. Vol-1722. 45--55.Google Scholar
- Andreas Jordan, Matt Selway, Georg Grossmann, Wolfgang Mayer, and Markus Stumptner. 2014. Reengineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective. Springer International Publishing, 248--255.Google Scholar
- Gerti Kappel, Elisabeth Kapsammer, Horst Kargl, Gerhard Kramler, Thomas Reiter, Werner Retschitzegger, Wieland Schwinger, and Manuel Wimmer. 2006. Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages. In Proceedings of MODELS'06 (2006-12-07) (LNCS), Vol. 4199. 528--542. Google ScholarDigital Library
- Bastian Kennel. 2012. A Unified Framework for Multi-Level Modeling. Ph.D. Dissertation. University of Mannheim.Google Scholar
- Thomas Kühne. 2006. Matters of (Meta-) Modeling. Software and System Modeling 5, 4 (2006), 369--385.Google ScholarCross Ref
- Thomas Kühne. 2018. Unifying Nominal and Structual Typing. Software & Systems Modeling (Feb 2018).Google Scholar
- Thomas Kühne and Daniel Schreiber. 2007. Can programming be liberated from the two-level style? -- Multi-level programming with DeepJava. In Proceedings of the 22nd ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), R. P. Gabriel, D. F. Bacon, C. Videira Lopes, and G. L. Steele Jr. (Eds.). ACM, USA, 229--244. Google ScholarDigital Library
- Juan De Lara, Esther Guerra, and Jesús Sánchez Cuadrado. 2014. When and How to Use Multi-level Modelling. ACM Transactions on Software Engineering and Methodology 24, 2, Article 12 (2014), 46 pages. Google ScholarDigital Library
- Bernd Neumayr and Michael Schrefl. 2009. Multi-level Conceptual Modeling and OWL. In Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FPUML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives (ER '09). Springer-Verlag, 189--199. Google ScholarDigital Library
- Bernd Neumayr, Christoph G. Schuetz, Manfred A. Jeusfeld, and Michael Schrefl. 2016. Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic. Software & Systems Modeling (2016), 1--36. Google ScholarDigital Library
- OMG 2007. Unified Modeling Language Superstructure Specification, Version 2.1.1. OMG. OMG document formal/07-02-05.Google Scholar
- OMG 2017. Unified Modeling Language Specification, Version 2.5.1. OMG. OMG document formal/17-12-05.Google Scholar
- Chris Partridge, Sergio de Cesare, Andrew Mitchell, and James Odell. 2018. Formalization of the classification pattern: survey of classification modeling in information systems engineering. Software & Systems Modeling 17, 1 (February 2018), 167--203. Google ScholarDigital Library
- Christoph Georg Schütz, Bernd Neumayr, and Michael Schrefl. 2015. Multilevel Modeling for Business Process Automation. In Proceedings of the 8th International Workshop on Evolutionary Business Processes (EVL-BP 2015) in conjunction with the 19th IEEE Conference on Enterprise Computing Conference (EDOC 2015), Adelaide, Australia. IEEE Computer Society, 51--60. Google ScholarDigital Library
- Jos Warmer and Anneke Kleppe. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley. Google ScholarDigital Library
- Manuel Wimmer, Petr Novak, Radek Sindelar, Luca Berardinelli, Tanja Mayerhofer, and Alexandra Mazak. 2017. Cardinality-Based Variability Modeling with AutomationML. In Proceedings of ETFA 2017. IEEE, 1--4.Google ScholarCross Ref
Index Terms
- Exploring Potency
Recommendations
Meaningful metrics for multi-level modelling
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsOne of the key enablers of further growth of multi-level modeling will be the development of objective ways to allow multi-level modeling approaches to be compared to one another and to two-level modeling approaches. While significant strides have been ...
Multi-dimensional multi-level modeling
AbstractThe growth of multi-level modeling has resulted in an increase of level-organization alternatives which significantly differ from each other with respect to their underlying foundations and the well-formedness rules they enforce. Alternatives ...
Join potency: a way of combining separate multi-level models
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsMulti-level modeling has become a mature modeling paradigm both theoretically and by technical means. It has proved itself when a single domain has to be created without accidental complexity. However, when several interconnected domains are to be ...
Comments