A SysML-based modeling approach is combined with the formal representation of the model in an OWL ontology to conduct the required compatibility check.
In the formal models the mathematical representation of the model depends on the knowledge of the system, on modeling choices, and the aim of the modeling process.
Figure 1 Conceptual representation of the model matching process.
Fig. 2 Graphical representation of the model in SmartPLS.
The formal representation of the model facilitates its automatic verification.
We will often use the following diagrammatic representation of the model to ease exposition.
Open image in new window Fig. 1 The inventory representation of the model.
Fig. 1 depicts a simplified representation of the model Fig. 1.
The conceptual representation of the model is graphically depicted in Fig. 1.
A high-level representation of the model is depicted in Figure 5.
The representation of the model system Hamiltonian in the above basis is now obtained in standard second quantization.
