Dual Deep Instantiation and Its ConceptBase Implementation

Application integration requires the consideration of instance data and schema data. Instance data in one application may be schema data for another application, which gives rise to multiple instantiation levels. Using deep instantiation, an object may be deeply characterized by representing schema data about objects several instantiation levels below. Deep instantiation still demands a clear separation of instantiation levels: the source and target objects of a relationship must be at the same instantiation level. This separation is inadequate in the context of application integration. Dual deep instantiation (DDI), on the other hand, allows for relationships that connect objects at different instantiation levels. The depth of the characterization may be specified separately for each end of the relationship. In this paper, we present and implement set-theoretic predicates and axioms for the representation of conceptual models with DDI.

[1]  Pär J. Ågerfalk,et al.  Ontological and linguistic metamodelling revisited: A language use approach , 2013, Inf. Softw. Technol..

[2]  Bernd Neumayr,et al.  Multi-Level Domain Modeling with M-Objects and M-Relationships , 2009, APCCM.

[3]  Juan de Lara,et al.  Extending Deep Meta-Modelling for Practical Model-Driven Engineering , 2014, Comput. J..

[4]  Daniel Schreiber,et al.  Can programming be liberated from the two-level style: multi-level programming with deepjava , 2007, OOPSLA.

[5]  Antonio Vallecillo,et al.  Objects, Models, Components, Patterns , 2011, Lecture Notes in Computer Science.

[6]  Bernhard Thalheim,et al.  Modeling Techniques for Multi-level Abstraction , 2008, The Evolution of Conceptual Modeling.

[7]  Roland H. Kaschek,et al.  On the evolution of conceptual modeling , 2008, The Evolution of Conceptual Modeling.

[8]  Colin Atkinson,et al.  A Flexible Infrastructure for Multilevel Language Engineering , 2009, IEEE Transactions on Software Engineering.

[9]  Tok Wang Ling,et al.  Conceptual Modeling - ER 2011, 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings , 2011, ER.

[10]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[11]  Michael Schrefl,et al.  Metaclasses and Their Application: Data Model Tailoring and Database Integration , 1995 .

[12]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[13]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[14]  Juan de Lara,et al.  Model-driven engineering with domain-specific meta-modelling languages , 2015, Software & Systems Modeling.

[15]  Colin Atkinson,et al.  A Systematic Approach to Connectors in a Multi-level Modeling Environment , 2008, MoDELS.

[16]  Matthias Jarke,et al.  Metamodeling for Method Engineering , 2009 .

[17]  Brian Henderson-Sellers,et al.  A powertype-based metamodelling framework , 2006, Software & Systems Modeling.

[18]  Colin Atkinson,et al.  Profiles in a strict metamodeling framework , 2002, Sci. Comput. Program..

[19]  Tomi Männistö,et al.  Nivel: a metamodelling language with a formal semantics , 2009, Software & Systems Modeling.

[20]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[21]  Giancarlo Guizzardi,et al.  Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML , 2011, ER.

[22]  Colin Atkinson,et al.  The Essence of Multilevel Metamodeling , 2001, UML.

[23]  Serge Abiteboul,et al.  Data functions, datalog and negation , 1988, SIGMOD '88.

[24]  Alain Pirotte,et al.  Materialization: A Powerful and Ubiquitous Abstraction Pattern , 1994, VLDB.

[25]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[26]  Friedrich Steimann,et al.  Tiefe Charakterisierung , 2004, Modellierung.

[27]  Walter L. Hürsch Should Superclasses be Abstract? , 1994, ECOOP.