Figure 3 - uploaded by Hans Vangheluwe
Content may be subject to copyright.
Download
View publication
Valid and invalid model connections

Valid and invalid model connections

Source publication
Figure 3: Valid and invalid model connections
Figure 5: Modelling the Petri-Nets formalism 
Figure 6: Generated tool for processing Petri-Nets models 
Figure 7: A model of a string list type and an invalid recursive type
Types for Multi-Paradigm Modelling
Article
Full-text available
  • Jan 2002
In this article we discuss the limitations found in regular programming language types when used in the context of multiparadigm modelling. By multi-paradigm, we mean the combination of meta-modelling (i.e., modelling models), multi-formalism modelling, and multiple abstraction levels. In particular, we propose the inclusion, in types, of informati...
Cite
Download full-text

Similar publications

Fig. 1. Formalism Transformation Graph (FTG).
Fig. 2. Meta-... Modelling in AToM 3 .  
Fig. 3. Model Transformation in AToM 3 .  
Fig. 4. Meta-Model of the Petri-Net Formalism (left) and Generated Tool...
+2 Fig. 5. The Meta-Model (left) and the generated tool for Statechart...
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
Conference Paper
Full-text available
  • Oct 2002
This paper proposes a Multi-Paradigm approach to the mod- elling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstraction. We implement these concepts in AToM3, A Tool for Multi-formalism, Meta-Modelling. In AToM3, modelling formalisms are modelled in...
View