Skip to main content
Top

2017 | OriginalPaper | Chapter

12. Languages for Constructing DEVS Models

Authors : Bernard P. Zeigler, Hessam S. Sarjoughian

Published in: Guide to Modeling and Simulation of Systems of Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter first provides a higher-level perspective on the approach that MS4 Me takes to computational support for constructing DEVS models for virtual build and test. After describing this approach, we expand our view to examine whether Unified Modeling Language (UML) can provide a more expressive framework for DEVS specification. For completeness, we also look at how UML can serve as a target for implementation of DEVS models.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Appendix
Available only for authorised users
Literature
go back to reference Ferayorni, A., & Sarjoughian, H. S. (2007). Domain driven modeling for simulation of software architectures. In Summer Computer Simulation Conference, San Diego, CA, USA (pp. 1–8). Ferayorni, A., & Sarjoughian, H. S. (2007). Domain driven modeling for simulation of software architectures. In Summer Computer Simulation Conference, San Diego, CA, USA (pp. 1–8).
go back to reference Hong, S.-Y., & Kim, T. G. (2004). Embedding UML subset into object-oriented DEVS modeling process. In Summer Computer Simulation Conference, San Jose, CA, USA (pp. 1–6). Hong, S.-Y., & Kim, T. G. (2004). Embedding UML subset into object-oriented DEVS modeling process. In Summer Computer Simulation Conference, San Jose, CA, USA (pp. 1–6).
go back to reference Huang, D., & Sarjoughian, H. S. (2004). Software and simulation modeling for real-time software-intensive systems. In IEEE International Symposium on Distributed Simulation and Real-Time Applications, Washington DC, USA (pp. 196–203). Huang, D., & Sarjoughian, H. S. (2004). Software and simulation modeling for real-time software-intensive systems. In IEEE International Symposium on Distributed Simulation and Real-Time Applications, Washington DC, USA (pp. 196–203).
go back to reference Mellor, S. J., & Balcer, M. J. (2002). Executable UML—A foundation for model-driven architecture. Reading: Addison-Wesley. Mellor, S. J., & Balcer, M. J. (2002). Executable UML—A foundation for model-driven architecture. Reading: Addison-Wesley.
go back to reference Mittal, S. (2007). DEVS unified process for integrated development and testing of service oriented architectures. Ph.D. thesis, University of Arizona. Mittal, S. (2007). DEVS unified process for integrated development and testing of service oriented architectures. Ph.D. thesis, University of Arizona.
go back to reference Mittal, S., & Douglass, S. (2011). From domain specific languages to DEVS components: Application to cognitive M&S. In Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (pp. 256–265). Society for Computer Simulation International. Mittal, S., & Douglass, S. (2011). From domain specific languages to DEVS components: Application to cognitive M&S. In Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (pp. 256–265). Society for Computer Simulation International.
go back to reference Mooney, J., & Sarjoughian, H. S. (2009). A framework for executable UML models. In SpringSim Multi-conference, San Diego, CA, USA (pp. 1–8). Mooney, J., & Sarjoughian, H. S. (2009). A framework for executable UML models. In SpringSim Multi-conference, San Diego, CA, USA (pp. 1–8).
go back to reference Risco-Martin, J. L., Mittal, S., Zeigler, B. P., & de la Cruz, J. (2009). eUDEVS: Executable UML with DEVS theory of modeling and simulation. Simulation: Transaction of the Society for Modeling and Simulation, 85(11–12), 750–777. Risco-Martin, J. L., Mittal, S., Zeigler, B. P., & de la Cruz, J. (2009). eUDEVS: Executable UML with DEVS theory of modeling and simulation. Simulation: Transaction of the Society for Modeling and Simulation, 85(11–12), 750–777.
go back to reference Sarjoughian, H. S., & Markid, A. M. (2012). EMF-DEVS modeling, symposium on theory of modeling and simulation—DEVS integrative M&S symposium. In SpringSim Multi-conference, April, Orlando, FL. Sarjoughian, H. S., & Markid, A. M. (2012). EMF-DEVS modeling, symposium on theory of modeling and simulation—DEVS integrative M&S symposium. In SpringSim Multi-conference, April, Orlando, FL.
go back to reference Schulz, S., Ewing, T. C., & Rozenblit, J. W. (2000). Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling. In IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Edinburgh (pp. 308–316). Schulz, S., Ewing, T. C., & Rozenblit, J. W. (2000). Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling. In IEEE International Conference and Workshop on the Engineering of Computer Based Systems, Edinburgh (pp. 308–316).
go back to reference Shaikh, R., & Vangheluwe, H. (2011). Transforming UML2.0 class diagrams and statecharts to atomic DEVS. In Symposium on Theory of Modeling & Simulation, Boston, MA, USA (pp. 205–212). Shaikh, R., & Vangheluwe, H. (2011). Transforming UML2.0 class diagrams and statecharts to atomic DEVS. In Symposium on Theory of Modeling & Simulation, Boston, MA, USA (pp. 205–212).
go back to reference Steinberg, D., Budinsky, F., Paternostro, M., & Merks, E. (2008). EMF eclipse modeling framework. Reading: Addison-Wesely. Steinberg, D., Budinsky, F., Paternostro, M., & Merks, E. (2008). EMF eclipse modeling framework. Reading: Addison-Wesely.
go back to reference Zinoviev, D. (2005). Mapping DEVS models onto UML models. In DEVS Integrative M&S Symposium, San Diego, CA, USA (pp. 750–777). Zinoviev, D. (2005). Mapping DEVS models onto UML models. In DEVS Integrative M&S Symposium, San Diego, CA, USA (pp. 750–777).
Metadata
Title
Languages for Constructing DEVS Models
Authors
Bernard P. Zeigler
Hessam S. Sarjoughian
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-64134-8_12

Premium Partner