Transforming UML2.0 class diagrams and statecharts to atomic DEVS
暂无分享,去创建一个
[1] Hessam S. Sarjoughian,et al. Software and Simulation Modeling for Real-Time Software-Intensive Systems , 2004, Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications.
[2] David Harel,et al. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.
[3] Chen Liu,et al. Embed state machine into DEVS to build complex control system , 2005, 2005 International Conference on Machine Learning and Cybernetics.
[4] Bernard P. Zeigler,et al. eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation , 2009, Simul..
[5] Stephan Schulz,et al. Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).
[6] Hessam S. Sarjoughian,et al. A framework for executable UML models , 2009, SpringSim '09.
[7] Bernard P. Zeigler,et al. Theory of modeling and simulation , 1976 .
[8] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[9] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[10] Doo-Hwan Bae,et al. UML-based Modeling and Simulation Method for Mission-Critical Real-Time Embedded System Development , 2006, IASTED Conf. on Software Engineering.
[11] Juan de Lara,et al. AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.