Skip to main content

2013 | OriginalPaper | Buchkapitel

12. Languages for Constructing DEVS Models

verfasst von : Bernard P. Zeigler, Hessam S. Sarjoughian

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

Verlag: Springer London

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Anhänge
Nur mit Berechtigung zugänglich
Literatur
Zurück zum Zitat 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).
Zurück zum Zitat 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).
Zurück zum Zitat 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). CrossRef 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). CrossRef
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Zurück zum Zitat Mittal, S. (2007). DEVS unified process for integrated development and testing of service oriented architectures. Ph.D. thesis, Iniversity of Arizona. Mittal, S. (2007). DEVS unified process for integrated development and testing of service oriented architectures. Ph.D. thesis, Iniversity of Arizona.
Zurück zum Zitat 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.
Zurück zum Zitat 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. CrossRef 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. CrossRef
Zurück zum Zitat Sarjoughian, H. S., & Markid, A. M. (2012). EMF-DEVS modeling, symposium on theory of modeling and simulation—DEVS integrative M&S symposium, 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, SpringSim multi-conference, April, Orlando, FL.
Zurück zum Zitat 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).
Zurück zum Zitat 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).
Zurück zum Zitat 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.
Zurück zum Zitat 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).
Metadaten
Titel
Languages for Constructing DEVS Models
verfasst von
Bernard P. Zeigler
Hessam S. Sarjoughian
Copyright-Jahr
2013
Verlag
Springer London
DOI
https://doi.org/10.1007/978-0-85729-865-2_12