The Meta-DENDRAL program is a vehicle for studying problems of theory formation in science. The general strategy of Meta-DENDRAL is to reason from data to plausible generalizations and then to organize the generalizations into a unif ied theory. Three main subprobleras are discussed: (1) explain the experimental data for each ind i vidual chemical structure, (2) generalize the results from each...

This article introduces meta-modeling hierarchies additional to the conventional metamodeling hierarchy in a model-driven architecture. Additional hierarchies are introduced orthogonal to the conventional meta-modeling hierarchy for an appropriate correlation of information on combined hierarchies. In particular, orthogonal meta-modeling enables the grouping of models on the same conventional m...

The popularity of the UML and the recent focus on its extension mechanisms has raised the general awareness of the value and importance of metamodelling. However, the effectiveness of metamodelling with the UML is being hindered by the lack of suitable notational support. In particular the stereotype mechanism is not consistently applied to the UML’s four-layer meta-architecture. The result is ...

In this paper we show how a modeling language from the area of business process engineering can be formally specified using meta modeling concepts. This serves as a basis for the implementation on an industry-scale meta modeling platform. For this purpose we revert to the Horus modeling method and the FDMM formalism that has recently been introduced to formally describe meta models and models. ...

Realistic superstring models generically give rise to exotic matter states, which arise due to the “Wilson–line” breaking of the non–Abelian unifying gauge symmetry. Often such states are protected by a gauge or local discrete symmetry and therefore may be stable or meta–stable. We study the possibility of a flux of high energy neutrinos coming from the sun due to the annihilation of such exoti...

Realistic superstring models generically give rise to exotic matter states, which arise due to the “Wilson–line” breaking of the non–Abelian unifying gauge symmetry. Often such states are protected by a gauge or local discrete symmetry and therefore may be stable or meta–stable. We study the possibility of a flux of high energy neutrinos coming from the sun and the earth due to the annihilation...

Meta-synthesis method is proposed to tackle with open complex giant system problems which cannot be effectively solved by traditional reductionism methods by a Chinese system scientist Qian, Xuesen (Tsien HsueShen) around the early 1990s. The method emphasizes the synthesis of collected information and knowledge of various kinds of experts, and combining quantitative methods with qualitative kn...

Das SPEM (Software Process Engineering Metamodel) der OMG ist ein UML-basiertes Metamodell zur Spezifikation von Software-Entwicklungsprozessmodellen. Die vorliegende Fallstudie beschreibt die Erfahrungen, welche die Autoren beim praktischen Einsatz des SPEM gewonnen haben. Ziel der Fallstudie war es, einen in der Praxis etablierten Entwicklungsprozess aus dem Bereich der Automobilindustrie auf...

Metamodelling is an increasingly prevalent tool in conceptual modelling – in particular in the context of OMG standards such as UML, MOF and SPEM. However, when applying a standard metamodelling approach based solely on instantiation semantics, many problems arise. These are shown to be solved using a powertype-based approach instead. Here we summarize this approach and focus on the ease with w...

Meta modeling is a well-established technique to describe the structure modeling languages. Method engineering environments utilize the technique to provide a flexible environment for defining and adapting modeling environments. We show that basing meta modeling strictly on firstorder logic provides not only clean semantics but also the ability to define high-level constructs such as transitivi...