Citation Context

...ase study, we solve the impedance mismatch arising when one needs to relate models at different meta-levels (a complicated technical issue in twolevel frameworks such as EMF). Section 5 compares with related approaches and Section 6 concludes. A beta version of the tool can be downloaded from http://astreo.ii.uam.es/∼jlara/metaDepth/. 2 Deep Meta-Modelling Some authors have pointed out the limitations of considering only two metamodelling levels at the same time [5, 9], either for language engineering or for domain modelling. A common example is the item-description or the type object pattern [16], where one needs to design a language containing both ProductTypes (e.g. Books) and Products (e.g. the book “Moby Dick”). In the classical metamodelling approach, one would propose a two-level solution like the one to the left of Fig. 1. Although this solution is valid, it has some drawbacks. First, the user has to manually maintain the type links between each instance of Product and its ProductType at the model level. These links are indeed a (manually maintained) form of ontological instantiation relation for which the system does not provide automatic conformance checks. Should we have inh...

Citation Context

...4, Pirotte et al. 1994, Dahchour et al. 2002), powertypes (Odell 1998, Henderson-Sellers & Gonzalez-Perez 2005, GonzalezPerez & Henderson-Sellers 2006), and deep instantiation (Atkinson & Kühne 2001, =-=Kühne & Schreiber 2007-=-). While these techniques simplify multi-level modeling and support deep characterisation, they do not support (or at least do not directly support) nonuniform sub-hierarchies. Materialization provide...

Citation Context

... approach is based on the idea of distinguishing two orthogonal classification dimensions [7], [3], [8] and fits roughly between the two extremes represented by the approaches described above. By allowing an arbitrary number of logical classification levels to be defined by the user, but nevertheless organizing them according to the principles of strictness [4], the approach manages to combine conceptual soundness with ease-of-use. Despite its benefits, however, to our knowledge no tool has yet been built from the ground up to support multi-level modeling based on the OCA. Kühne and Schreiber [14] have built a programming environment that supports multiple classification levels in the context of Java programming, while others such [9],[10], [13] have built modeling environments that support the notion of separate instantiation dimensions. However, these tools do not apply the rules of strictness to organize the logical metalevels. To fill this vacuum, and explore the efficacy of these ideas, we are building an OCA-based, multi-level modeling tool based on the principles and concepts outlined by Atkinson and Kühne. However, during the course of this work we realized that the set of OCA ...

Citation Context

...ted by a ‘typeOf’ relationship. Such a relationship, however, lacks the formal semantics of “true” instantiation. Thus, additional code is required, which produces a severe threat to system integrity =-=[19]-=-. 4 Solution Approach In this section we explain the core features of XMF, which serves to implement an OrgML modeling editor. Then, we describe the implementation architecture of a modeling tool for ...

Citation Context

...do), it rather considers the clabject-based approach proposed by the multilevel modeling community. Two implementations of the multilevel paradigm already exist. One for the programming language Java =-=[9]-=- and one in the metamodeling community Nivel [10] that comes with a formal semantics. Discussions about the possibility to extend the uml metamodel to tackle multilevel features are on-going but no li...

Citation Context

...to some concrete 0-member of Engine or to a descendant of Engine. 6 Related Work DDI is heavily influenced by the classical work on deep instantiation of Atkinson and Kühne [1]. Kühne and Schreiber =-=[5]-=- introduced the notion of superclabject and propose the use of metaclass compatibility rules and represent the abstractness of clabjects by giving them potency 0. De Lara et al. [7] propose to declare...

Citation Context

... was elaborated by a megamodel of various software language engineering artefact kinds such as parse trees, visual models, lexical templates, etc, in the context of (un)parsing in a broad sense [18]. The contribution of this paper to that trend was showing that concrete syntaxes are ontological instances of the abstract syntax (more precisely, ∧∨L ι−→ ∨∧L). The idea that a software language should be allowed to have different syntaxes while staying essentially the same language, is not new but has always been rejected by formalisations. Atkinson [1], Bézivin [3], Favre [6], Gašević [7], Kühne [11], Muller [13] and many others have made significant contributions to comprehension and refinement of the processes of modelling, metamodelling and megamodelling. This paper is an endeavour to contribute to that trend by making a yet another step in improving the formalisations, as well as by providing concrete examples from software and grammarware engineering, even when they seemed less suitable to discuss ontological matters than the classic Lassie/Fido – Collie – Breed example. We hope such results will both help to identify problems we can solve in the future and bring less meta-minded mod...

Citation Context

... was elaborated by a megamodel of various software language engineering artefact kinds such as parse trees, visual models, lexical templates, etc, in the context of (un)parsing in a broad sense [18]. The contribution of this paper to that trend was showing that concrete syntaxes are ontological instances of the abstract syntax (more precisely, ∧∨L ι−→ ∨∧L). The idea that a software language should be allowed to have different syntaxes while staying essentially the same language, is not new but has always been rejected by formalisations. Atkinson [1], Bézivin [3], Favre [6], Gašević [7], Kühne [11], Muller [13] and many others have made significant contributions to comprehension and refinement of the processes of modelling, metamodelling and megamodelling. This paper is an endeavour to contribute to that trend by making a yet another step in improving the formalisations, as well as by providing concrete examples from software and grammarware engineering, even when they seemed less suitable to discuss ontological matters than the classic Lassie/Fido – Collie – Breed example. We hope such results will both help to identify problems we can solve in the future and bring less meta-minded mod...

Citation Context

..., each developing different sets of researches. First, the modeling community produced several examples of multi-level modeling languages, and at least one explicitly multi-level programming language =-=[14]-=-. In addition, the knowledge engineering and semantic web communities provided strong logic-based artifacts, OWL2 being one of them, that are related to this work. The model engineering community has ...