![](bg8.png)
operational application steps, also enabling the
automatic process. First, the rules and formalism of
OoIE will be defined. This specific ontology can
vary enormously depending on different models, so
different kinds of ontology concerning different
models will be defined. Second, the way of
exchanging information between the two sides needs
to be elaborated by defining the interface and format
in details. Third, the way and criterion of
verification will be elaborated in order to enable
automatic verification.
REFERENCES
Turnitsa, C., Padilla, J. J. & Tolk, A. 2010. Ontology for
Modeling and Simulation. In: Winter Simulation
Conference (WSC) 2010. 643-651.
OMG. 2003. MDA guide version 1.0.1. Available:
http://www.omg.org/mda/.
Schmidt, D. C. 2006. Guest Editor's Introduction: Model-
Driven Engineering. Computer, 39, 25-31.
Kuster, J. M. 2006. Definition and validation of model
transformations. Software & Systems Modeling, 5,
233-259.
Czarnecki, K. & Helsen, S. 2006. Feature-based survey of
model transformation approaches. IBM System
Journal, 45, 621-645.
Zeigler, B. P. 1976. Theory of modelling and simulation,
Wiley.
Pollacia, L. F. 1989. A survey of discrete event simulation
and state-of-the-art discrete event languages. SIGSIM
Simul. Dig., 20, 8-25.
Bourey, J.-P. & Seguer, R. G. 2011. Model, Modeling,
Metamodel, Metamodeling... Available: http://www.
easy-dim.org/reunions/supports-du-module-recherche-
en-interoperabilite-des-systemes-de-lecole-des-jd-macs/4-
Meta-Modelling%20JD%20MACS%2020110606.pdf
(Accessed 18 Dec. 2012).
Song, F., Zacharewicz, G. & Chen, D. 2012. Ontology for
Contributing to Enterprise Interoperability. In: UNITE
2
nd
Doctoral Symposium: R&D in Future Internet and
Enterprise Interoperability, 2012a, Bulgaria.
Avangard Prima, 127-134.
Song, F., Zacharewicz, G. & Chen, D. 2013. An
Ontology-Driven Framework towards Building
Enterprise Semantic Information Layer. Advanced
Engineering Informatics, 27, 38-50
Song, F., Zacharewicz, G. & Chen, D. Year. Multi-
strategies Ontology Alignment Aggregated by AHP.
In: 16
th
International Conference on Knowledge-
Based and Intelligent Information & Engineering
Systems, 2012b San Sebastian. IOS Press, 1583-1592.
Favre, L. 2010. Model Driven Architecture for Reverse
Engineering Technologies: Strategic Directions and
System Evolution, IGI Global.
Zeigler, B. P. & Hammonds, P. E. 2007. Modeling &
Simulation-Based Data Engineering: Introducing
Pragmatics into Ontologies for Net-Centric
Information Exchange, Academic Press.
Wood, S. K., Akehurst, D. H., Uzenkov, O., Howells, W.
G. J. & Mcdonald-Maier, K. D. 2008. A Model-
Driven Development Approach to Mapping UML
State Diagrams to Synthesizable VHDL. Computers,
IEEE Transactions on, 57, 1357-1371.
Baati, L., Frydman, C. & Giambiasi, N. 2007. LSIS_DME
M&S environment extended by dynamic hierarchical
structure DEVS modeling approach. Proceedings of
the 2007 spring simulation multiconference - Volume
2. Norfolk, Virginia: Society for Computer Simulation
International.
El Haouzi, H. 2006. Models simulation and
interoperability using MDA and HLA. In:
Interoperability for Enterprise Software and
Applications: Proceedings of the Workshops and the
Doctorial Symposium of the Second IFAC/IFIP I-ESA
2006. ISTE, 277-284.
Cortellessa, V., Di Marco, A. & Inverardi, P. 2007. Non-
Functional Modeling and Validation in Model-Driven
Architecture. In: Software Architecture, 2007. WICSA
'07. The Working IEEE/IFIP Conference on, 6-9 Jan.
2007.
Benjamin, P., Akella, K. & Verma, A. 2007. Using
ontologies for simulation integration. In: Proceedings
of Winter Simulation Conference 2007. 1081-1089.
Benjamin, P. & Akella, K. 2009. Towards ontology-driven
interoperability for simulation-based applications. In:
Proceedings of Winter Simulation Conference 2009.
1375-1386.
Silver, G. A., Miller, J. A., Hybinette, M., Baramidze, G.
& York, W. S. 2011. DeMO: an ontology for discrete-
event modeling and simulation. Simulation, 87, 747-
773.
AdaptingSimulationModelingtoModel-DrivenArchitectureforModelRequirementVerification
309