Automatic generation of object-oriented code from DEVS graphical specifications

Proceedings - Winter Simulation Conference

Volumn , Issue , 2012, Pages

  Hamri, M ^a   Zacharewicz, G ^b  

^a AIX MARSEILLE UNIVERSITY   (France)

^b UNIVERSITÉ DE BORDEAUX   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; COMPUTER SCIENTISTS; DEVS MODELS; FORMAL MODELING; GRAPHICAL MODEL; MODELING AND SIMULATION; OBJECT-ORIENTED CODE; USER FRIENDLY; USER MANUAL; USER REQUIREMENTS;

AUTOMATIC PROGRAMMING; COMPUTER SIMULATION; SPECIFICATIONS;

BEHAVIORAL RESEARCH;

EID: 84874720778     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2012.6465004     Document Type: Conference Paper

References (20)

1. ADEVS 2012. Accessed March. 1, 2012. http://www.sourceforge.net/projects/ adevs.
2. Banks, J., J. S. Carson, B. L. Nelson, and D. M. Nicol. 2000. Discrete-Event System Simulation. 3rd ed. Prentice Hall, Inc.
3. Bonaventura, M., G. A. Wainer, and R. Castro. 2010. "Advanced IDE for Modeling and Simulation of Discrete Event Systems". In Proceedings of the Spring Simulation Multiconference. San Diego, CA, USA: Society for Computer Simulation International.
4. DEVSJAVA 2012. Accessed March. 1, 2012. http://www.acims.arizona.edu/ software/software.html.
5. Filippi, J. B., and P. Bisgambiglia. 2003. "JDEVS: an implementation of a DEVS based formal framework for environmental modeling". Environmental Modelling & Software 19:261-274. (Pubitemid 38178985)
6. Gamma, E., R. Helm, R. Johnson, and J. Vlissides. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series.
7. Hamri, M., and L. Baati. 2010. "On Using Design Patterns forDEVSModeling and Simulation Tools". In Proceedings of the Spring Simulation Multiconference-Symposium Theory of Modeling & Simulation-DEVS Integrative M&S symposium. San Diego, CA, USA: Society for Computer Simulation International.
8. Hamri, M., and G. Zacharewicz. 2007. "LSIS DME: An Environment for Modeling and Simulation of DEVS Specifications". In Proceedings of the International Modeling and Simulation Multiconference, edited by N. G. F. Barros, C. Frydman and B. Zeigler, 55-60. Buenos Aires - Argentina: LSIS, Aix-Marseille III University.
9. Harel, D. 1987. "Statecharts: A visual formalism for complex systems". International journal science of computer programming 8 (3): 231-274. (Pubitemid 17617706)
10. OMG 2003. "OMG: MDA Guide Version 1.0.1". Technical Report 2003-06-01 edn, Object Management Group.
11. Praehofer, H., and D. Pree. 1993. "Visual Modeling Modeling of DEVS-based Multi-Formalism Systems based on Higraphs". In Proceedings of the 1993 Winter Simulation Conference, edited by G. W. Evans and M. Mollaghasemi, 595-603.
12. Quesnel, G., R. Duboz, and E. Ramat. 2009. "The Virtual Laboratory Environment - An Operational Framework for Multi-Modelling, Simulation and Analysis of Complex Dynamical Systems". Simulation Modelling Practice and Theory 17:641-653.
13. Saaltink, M. 1997. "The Z/EVES System". In International Conference of Z Users on The Z Formal Specification Notation, edited by Springer-Verlag, 75-82. London, UK.
14. Sarjoughian, H., and Y. Chen. 2011. "Standardizing DEVS Models: An Endogenous Standpoint". In Proceedings of the Spring Simulation Multiconference, 266-273. San Diego, CA, USA: Society for Computer Simulation International.
15. Trojet, M. W. 2010. Méthodes de vérification et de validation basées sur la spécification Z et le formalisme DEVS. Ph.D. thesis, Aix-Marseille III University, Marseille, France.
16. Trojet, M. W., C. S. Frydman, and M. Hamri. 2009. "Practical Application of "lightweight" Z in DEVS Framework". In Proceedings of the Spring Simulation Multiconference-Symposium Theory of Modeling& Simulation-DEVS Integrative M&S symposium. San Diego, CA, USA: Society for Computer Simulation International.
17. Wainer, G. 2002. "A Toolkit to Develop DEVS Models". Software-Practice and Experience 32 (3).
18. Zacharewicz, G., N. Giambiasi, and C. Frydman. 2005. "Improving the Lookahead Computation in GDEVS/HLA Environment". In Proceedings of the IEEE International Symposium on Distributed Simulation and Real-Time Applications DS-RT, 273-282. Montreal, Canada.
19. Zacharewicz, G., M. Hamri, C. Frydman, and N. Giambiasi. 2010. "A Generalized Discrete Event System (GDEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant simulation of workflow". Simulation 86 (3).
20. Zeigler, B., H. Praehofer, and T. G. Kim. 2000. Theory of Modeling and Simulation. Academic Press.