3. Formalism Modeling

The third branch of research investigates the theory and application of meta-modeling [2,19], the enabling technology for (i) the design of tailored formalisms and tools by constituting an infinitely fine grained spectrum of formalisms, (ii) the use of domain specific formalisms and tools to facilitate high level model-based programming, and (iii) finding analogies, similarities, and differences between models of different system views and aspects.