skip to main content
10.1145/3239372.3239411acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article

Exploring Potency

Published:14 October 2018Publication History

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.

References

  1. 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 ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarCross RefCross Ref
  6. 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 ScholarGoogle Scholar
  7. Colin Atkinson, Thomas Kühne, and Juan de Lara. 2017. Theme Issue on Multi-Level Modeling. SoSyM Theme Issue. Springer Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle ScholarCross RefCross Ref
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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 ScholarGoogle Scholar
  13. Juan de Lara and Esther Guerra. 2010. Deep Meta-modelling with MetaDepth. In Proceedings of TOOLS (48). 1--20. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 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 ScholarGoogle Scholar
  15. 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 ScholarGoogle ScholarCross RefCross Ref
  16. 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 ScholarGoogle Scholar
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. 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 ScholarGoogle Scholar
  19. 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 ScholarGoogle Scholar
  20. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  21. Bastian Kennel. 2012. A Unified Framework for Multi-Level Modeling. Ph.D. Dissertation. University of Mannheim.Google ScholarGoogle Scholar
  22. Thomas Kühne. 2006. Matters of (Meta-) Modeling. Software and System Modeling 5, 4 (2006), 369--385.Google ScholarGoogle ScholarCross RefCross Ref
  23. Thomas Kühne. 2018. Unifying Nominal and Structual Typing. Software & Systems Modeling (Feb 2018).Google ScholarGoogle Scholar
  24. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  25. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  26. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  28. OMG 2007. Unified Modeling Language Superstructure Specification, Version 2.1.1. OMG. OMG document formal/07-02-05.Google ScholarGoogle Scholar
  29. OMG 2017. Unified Modeling Language Specification, Version 2.5.1. OMG. OMG document formal/17-12-05.Google ScholarGoogle Scholar
  30. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  31. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  32. Jos Warmer and Anneke Kleppe. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. 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 ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Exploring Potency

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        MODELS '18: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
        October 2018
        478 pages
        ISBN:9781450349499
        DOI:10.1145/3239372

        Copyright © 2018 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 14 October 2018

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article
        • Research
        • Refereed limited

        Acceptance Rates

        MODELS '18 Paper Acceptance Rate29of101submissions,29%Overall Acceptance Rate118of382submissions,31%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader