Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification

Fuqi Song, Gregory Zacharewicz, David Chen

2013

Abstract

In order to automate the software development process and enhance interoperability and reusability of it, Model-Driven Architecture (MDA) was proposed aiming to achieving these goals. MDA mainly involves creating models and performing model transformation, it is a high model-intensive process. However, how to verify the models by respecting to the requirements becomes a concern in the automation process. In this paper, we describe the work of proposing a method using ontology as information exchange media to adapt simulation modeling to MDA towards this goal. Simulation is integrated loosely to MDA for verifying the models with the pre-defined requirements to check if expected goals are fulfilled. An illustrative case study is given to explain visually the method.

References

  1. Turnitsa, C., Padilla, J. J. & Tolk, A. 2010. Ontology for Modeling and Simulation. In: Winter Simulation Conference (WSC) 2010. 643-651.
  2. OMG. 2003. MDA guide version 1.0.1. Available: http://www.omg.org/mda/.
  3. Schmidt, D. C. 2006. Guest Editor's Introduction: ModelDriven Engineering. Computer, 39, 25-31.
  4. Kuster, J. M. 2006. Definition and validation of model transformations. Software & Systems Modeling, 5, 233-259.
  5. Czarnecki, K. & Helsen, S. 2006. Feature-based survey of model transformation approaches. IBM System Journal, 45, 621-645.
  6. Zeigler, B. P. 1976. Theory of modelling and simulation, Wiley.
  7. Pollacia, L. F. 1989. A survey of discrete event simulation and state-of-the-art discrete event languages. SIGSIM Simul. Dig., 20, 8-25.
  8. Bourey, J.-P. & Seguer, R. G. 2011. Model, Modeling, Metamodel, Metamodeling... Available: http://www. easy-dim.org/reunions/supports-du-module-rechercheen-interoperabilite-des-systemes-de-lecole-des-jd-macs/4- Meta-Modelling%20JD%20MACS%2020110606.pdf (Accessed 18 Dec. 2012).
  9. Song, F., Zacharewicz, G. & Chen, D. 2012. Ontology for Contributing to Enterprise Interoperability. In: UNITE 2nd Doctoral Symposium: R&D in Future Internet and Enterprise Interoperability, 2012a, Bulgaria. Avangard Prima, 127-134.
  10. Song, F., Zacharewicz, G. & Chen, D. 2013. An Ontology-Driven Framework towards Building Enterprise Semantic Information Layer. Advanced Engineering Informatics, 27, 38-50
  11. Song, F., Zacharewicz, G. & Chen, D. Year. Multistrategies Ontology Alignment Aggregated by AHP. In: 16th International Conference on KnowledgeBased and Intelligent Information & Engineering Systems, 2012b San Sebastian. IOS Press, 1583-1592.
  12. Favre, L. 2010. Model Driven Architecture for Reverse Engineering Technologies: Strategic Directions and System Evolution, IGI Global.
  13. Zeigler, B. P. & Hammonds, P. E. 2007. Modeling & Simulation-Based Data Engineering: Introducing Pragmatics into Ontologies for Net-Centric Information Exchange, Academic Press.
  14. Wood, S. K., Akehurst, D. H., Uzenkov, O., Howells, W. G. J. & Mcdonald-Maier, K. D. 2008. A ModelDriven Development Approach to Mapping UML State Diagrams to Synthesizable VHDL. Computers, IEEE Transactions on, 57, 1357-1371.
  15. 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.
  16. 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.
  17. Cortellessa, V., Di Marco, A. & Inverardi, P. 2007. NonFunctional Modeling and Validation in Model-Driven Architecture. In: Software Architecture, 2007. WICSA 7807. The Working IEEE/IFIP Conference on, 6-9 Jan. 2007.
  18. Benjamin, P., Akella, K. & Verma, A. 2007. Using ontologies for simulation integration. In: Proceedings of Winter Simulation Conference 2007. 1081-1089.
  19. Benjamin, P. & Akella, K. 2009. Towards ontology-driven interoperability for simulation-based applications. In: Proceedings of Winter Simulation Conference 2009. 1375-1386.
  20. Silver, G. A., Miller, J. A., Hybinette, M., Baramidze, G. & York, W. S. 2011. DeMO: an ontology for discreteevent modeling and simulation. Simulation, 87, 747- 773.
Download


Paper Citation


in Harvard Style

Song F., Zacharewicz G. and Chen D. (2013). Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification . In Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-69-3, pages 302-309. DOI: 10.5220/0004585603020309


in Bibtex Style

@conference{simultech13,
author={Fuqi Song and Gregory Zacharewicz and David Chen},
title={Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification},
booktitle={Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2013},
pages={302-309},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004585603020309},
isbn={978-989-8565-69-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Adapting Simulation Modeling to Model-Driven Architecture for Model Requirement Verification
SN - 978-989-8565-69-3
AU - Song F.
AU - Zacharewicz G.
AU - Chen D.
PY - 2013
SP - 302
EP - 309
DO - 10.5220/0004585603020309