Skip to main content

2016 | OriginalPaper | Buchkapitel

5. Conceptual Modeling

verfasst von : Okan Topçu, Umut Durak, Halit Oğuztüzün, Levent Yilmaz

Erschienen in: Distributed Simulation

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

This chapter elaborates on the notion of conceptual modeling. First, we answer in detail what a conceptual model (CM) is and then present the two forms of a conceptual model from the representation point of view. Afterwards, two approaches for the formalization of a conceptual model are presented. The first approach is based on using ontologies and the second is based on metamodeling. Both approaches are presented with a case study. All simulations simulate a system in the context of an abstract world or CM, documented or not. Conceptual models, simulation conceptual models, in particular, are widely used in modeling and simulation (M&S) and are becoming one of the main building blocks of the distributed simulation development. The creation of a CM is one of the main steps in simulation development and facilitates the transition between simulation requirements and the simulation high-level design by helping simulation engineers understand the requirements clearly. CMs are also used as a means of communication between simulation stakeholders, including users, developers, and sponsors. From a user’s perspective, the CM is the most important document about the simulation capabilities because it includes assumptions, limitations, algorithms, objects, and relations among these objects related to the real world. From a developer’s perspective, the conceptual model prepares the basis for simulation development. From the verification and validation (V&V) agent’s perspective, it is a vital element in simulation V&V.

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!

Literatur
Zurück zum Zitat AIAA. (2011). Standard: Flight dynamics model exchange standard. Reston: AIAA. AIAA. (2011). Standard: Flight dynamics model exchange standard. Reston: AIAA.
Zurück zum Zitat Balci, O., Arthur, J. D., & Nance, R. E. (2008). Accomplishing reuse with a simulation conceptual model. In S. J. Mason et al. (Eds.), Winter simulation conference (pp. 959–965). Piscataway: IEEE. Balci, O., Arthur, J. D., & Nance, R. E. (2008). Accomplishing reuse with a simulation conceptual model. In S. J. Mason et al. (Eds.), Winter simulation conference (pp. 959–965). Piscataway: IEEE.
Zurück zum Zitat Birta, G. L., & Nur, F. (1996). A knowledge-based approach for the validation of simulation models: The foundation. ACM Transactions on Modeling and Computer Simulation, 6(1), 76–98.CrossRef Birta, G. L., & Nur, F. (1996). A knowledge-based approach for the validation of simulation models: The foundation. ACM Transactions on Modeling and Computer Simulation, 6(1), 76–98.CrossRef
Zurück zum Zitat Borah, J. (2002). Conceptual modeling – The missing link of simulation development. In Spring Simulation Interoperability Workshop. Orlando: SISO. Borah, J. (2002). Conceptual modeling – The missing link of simulation development. In Spring Simulation Interoperability Workshop. Orlando: SISO.
Zurück zum Zitat Borst, W., & Akkermans, J. (1997). Engineering ontologies. International Journal of Human-Computer Studies, 46(2/3), 365–406.CrossRef Borst, W., & Akkermans, J. (1997). Engineering ontologies. International Journal of Human-Computer Studies, 46(2/3), 365–406.CrossRef
Zurück zum Zitat Brill, M., et al. (2004). Live sequence charts: An introduction to lines, arrows, and strange boxes in the context of formal verification. In Integration of software specification techniques for applications in engineering (Lecture notes in computer science, Vol. 3147, pp. 374–399). Berlin: Springer.CrossRef Brill, M., et al. (2004). Live sequence charts: An introduction to lines, arrows, and strange boxes in the context of formal verification. In Integration of software specification techniques for applications in engineering (Lecture notes in computer science, Vol. 3147, pp. 374–399). Berlin: Springer.CrossRef
Zurück zum Zitat Corcho, O., & Perez, A. (2000). Evaluating knowledge representation and reasoning capabilities of ontology specification languages. In ECAI’00 workshop on applications of ontologies and problem solving methods. Berlin: s.n. Corcho, O., & Perez, A. (2000). Evaluating knowledge representation and reasoning capabilities of ontology specification languages. In ECAI’00 workshop on applications of ontologies and problem solving methods. Berlin: s.n.
Zurück zum Zitat Dean, M., et al. (2004). OWL web ontology language. W3C. Dean, M., et al. (2004). OWL web ontology language. W3C.
Zurück zum Zitat Fablo, R., Guizzardi, G., & Duarte, K. (2002). An ontological approach to domain engineering. In Proceedings of the 14th international conference on software engineering and knowledge engineering. Ischia: ACM. Fablo, R., Guizzardi, G., & Duarte, K. (2002). An ontological approach to domain engineering. In Proceedings of the 14th international conference on software engineering and knowledge engineering. Ischia: ACM.
Zurück zum Zitat Fırat, C. (2000). Conceptual modeling and conceptual analysis in HLA. In Fall Simulation Interoperability Workshop. Orlando: SISO. Fırat, C. (2000). Conceptual modeling and conceptual analysis in HLA. In Fall Simulation Interoperability Workshop. Orlando: SISO.
Zurück zum Zitat Gruber, T. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43, 907–928.CrossRef Gruber, T. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43, 907–928.CrossRef
Zurück zum Zitat Guarino, N., Oberle, D., & Staab, S. (2009). What is an ontology? In S. Staab & R. Studer (Eds.), Handbook on ontologies (2nd ed., pp. 1–20). Berlin: Springer.CrossRef Guarino, N., Oberle, D., & Staab, S. (2009). What is an ontology? In S. Staab & R. Studer (Eds.), Handbook on ontologies (2nd ed., pp. 1–20). Berlin: Springer.CrossRef
Zurück zum Zitat IEEE Std 1516.3-2003. (2003). Standard for IEEE recommended practice for high level architecture (HLA) federation development and execution process (FEDEP). s.l.: IEEE. IEEE Std 1516.3-2003. (2003). Standard for IEEE recommended practice for high level architecture (HLA) federation development and execution process (FEDEP). s.l.: IEEE.
Zurück zum Zitat IEEE Std 1516-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Framework and rules. New York: IEEE. IEEE Std 1516-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Framework and rules. New York: IEEE.
Zurück zum Zitat IEEE Std 1516.1-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Federate interface specification. New York: IEEE. IEEE Std 1516.1-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Federate interface specification. New York: IEEE.
Zurück zum Zitat IEEE Std 1516.2-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Object model template specification. s.l.: IEEE. IEEE Std 1516.2-2010. (2010). Standard for modeling and simulation (M&S) high level architecture (HLA) – Object model template specification. s.l.: IEEE.
Zurück zum Zitat International Telecommunication Union (ITU-T). (2004). Formal description techniques (FDT) – Message sequence charts. Telecommunication Standardization Sector of ITU-T. International Telecommunication Union (ITU-T). (2004). Formal description techniques (FDT) – Message sequence charts. Telecommunication Standardization Sector of ITU-T.
Zurück zum Zitat Jacobson, I., Christerson, M., Jonsson, M., & Overgaard, G. (1993). Object-oriented software engineering: A use case driven approach. s.l.: Addison-Wesley. Jacobson, I., Christerson, M., Jonsson, M., & Overgaard, G. (1993). Object-oriented software engineering: A use case driven approach. s.l.: Addison-Wesley.
Zurück zum Zitat Kelly, S., & Tolvanen, J.-P. (2008). Domain-specific modeling: Enabling full code generation. Hoboken: Wiley-Interscience: IEEE Computer Society.CrossRef Kelly, S., & Tolvanen, J.-P. (2008). Domain-specific modeling: Enabling full code generation. Hoboken: Wiley-Interscience: IEEE Computer Society.CrossRef
Zurück zum Zitat Lozano, M. C., & Mojtahed, V. (2005). A process for developing conceptual models of the mission space (CMMS) – From knowledge acquisition to knowledge use (05F-SIW-038). Fall Simulation Interoperability Workshop. Orlando: SISO. Lozano, M. C., & Mojtahed, V. (2005). A process for developing conceptual models of the mission space (CMMS) – From knowledge acquisition to knowledge use (05F-SIW-038). Fall Simulation Interoperability Workshop. Orlando: SISO.
Zurück zum Zitat Mojtahed, V., et al. (2005). DCMF – Defence conceptual modeling framework (FOI-R--1754-SE). Stockholm: Swedish Defence Research Agency. Mojtahed, V., et al. (2005). DCMF – Defence conceptual modeling framework (FOI-R--1754-SE). Stockholm: Swedish Defence Research Agency.
Zurück zum Zitat Motik, B., et al. (2012). OWL 2 web ontology language structural specification and functional-style syntax. s.l.: W3C. Motik, B., et al. (2012). OWL 2 web ontology language structural specification and functional-style syntax. s.l.: W3C.
Zurück zum Zitat NATO. (2011). Overview of the joint C3 information exchange data model (JC3IEDM Overview), s.l.: NATO Multiliteral Interoperability Programme. NATO. (2011). Overview of the joint C3 information exchange data model (JC3IEDM Overview), s.l.: NATO Multiliteral Interoperability Programme.
Zurück zum Zitat Özhan, G., & Oguztuzun, H. (2013). Data and behavior decomposition for the model-driven development of an executable simulation model. In G. Wainer & P. Mosterman (Eds.), Theory of modeling and simulation (TMS/DEVS). San Diego: SCS. Özhan, G., & Oguztuzun, H. (2013). Data and behavior decomposition for the model-driven development of an executable simulation model. In G. Wainer & P. Mosterman (Eds.), Theory of modeling and simulation (TMS/DEVS). San Diego: SCS.
Zurück zum Zitat Özhan, G., & Oğuztüzün, H. (2015). Transformation of conceptual models to executable high level architecture federation models. In L. Yılmaz (Ed.), A tribute to Tuncer Ören (pp. 135–173). Switzerland: Springer International Publishing. Özhan, G., & Oğuztüzün, H. (2015). Transformation of conceptual models to executable high level architecture federation models. In L. Yılmaz (Ed.), A tribute to Tuncer Ören (pp. 135–173). Switzerland: Springer International Publishing.
Zurück zum Zitat Özhan, G., Oğuztüzün, H., & Evrensel, P. (2008). Modeling of field artillery tasks with live sequence charts. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 5(218), 218–251. Özhan, G., Oğuztüzün, H., & Evrensel, P. (2008). Modeling of field artillery tasks with live sequence charts. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, 5(218), 218–251.
Zurück zum Zitat Pace, D. K. (1999). Conceptual model descriptions. In Simulation Interoperability Workshop (SIW) Spring. Orlando: SISO. Pace, D. K. (1999). Conceptual model descriptions. In Simulation Interoperability Workshop (SIW) Spring. Orlando: SISO.
Zurück zum Zitat Pace, D. K. (2000). Simulation conceptual model development. In Simulation Interoperability Workshop (SIW) Spring. Orlando: SISO Pace, D. K. (2000). Simulation conceptual model development. In Simulation Interoperability Workshop (SIW) Spring. Orlando: SISO
Zurück zum Zitat Quine, W. V. (1980). On what there is. In: From a logical point of view: Nie Logico-philosophical essays (2nd Rev. ed., pp. 20–46). Cambridge, MA: Harvard University Press. Quine, W. V. (1980). On what there is. In: From a logical point of view: Nie Logico-philosophical essays (2nd Rev. ed., pp. 20–46). Cambridge, MA: Harvard University Press.
Zurück zum Zitat Robinson, S., Brooks, R., Kotiadis, K., & van der Zee, D.-J. (2010). Conceptual modeling for discrete-event simulation. Boca Raton: Taylor & Francis.CrossRef Robinson, S., Brooks, R., Kotiadis, K., & van der Zee, D.-J. (2010). Conceptual modeling for discrete-event simulation. Boca Raton: Taylor & Francis.CrossRef
Zurück zum Zitat Sargent, R. G. (2015). Model verification and validation. In M. L. Loper (Ed.), Modeling and simulation in the systems engineering life cycle (pp. 57–65). London: Springer. Sargent, R. G. (2015). Model verification and validation. In M. L. Loper (Ed.), Modeling and simulation in the systems engineering life cycle (pp. 57–65). London: Springer.
Zurück zum Zitat Silver, G. A., et al. (2011). DeMO: An ontology for discrete-event modeling and simulation. Simulation: Transactions of the Society for Modeling and Simulation International, 87(9), 747–773.CrossRef Silver, G. A., et al. (2011). DeMO: An ontology for discrete-event modeling and simulation. Simulation: Transactions of the Society for Modeling and Simulation International, 87(9), 747–773.CrossRef
Zurück zum Zitat Topçu, O. (2004). Development, representation, and validation of conceptual models in distributed simulation. Halifax: Defence R&D Canada – Atlantic (DRDC Atlantic). Topçu, O. (2004). Development, representation, and validation of conceptual models in distributed simulation. Halifax: Defence R&D Canada – Atlantic (DRDC Atlantic).
Zurück zum Zitat Topçu, O., Adak, M., & Oğuztüzün, H. (2008, July). A metamodel for federation architectures. ACM Transactions on Modeling and Computer Simulation (TOMACS), 18(3), 10:1–10:29. Topçu, O., Adak, M., & Oğuztüzün, H. (2008, July). A metamodel for federation architectures. ACM Transactions on Modeling and Computer Simulation (TOMACS), 18(3), 10:1–10:29.
Zurück zum Zitat US DoD. (1995). Missile flight simulation, Part One surface to air missiles. s.l.: s.n. US DoD. (1995). Missile flight simulation, Part One surface to air missiles. s.l.: s.n.
Zurück zum Zitat Zeigler, P. B. (1976). Theory of modeling and simulation. New York: Wiley-Interscience Publication. Zeigler, P. B. (1976). Theory of modeling and simulation. New York: Wiley-Interscience Publication.
Metadaten
Titel
Conceptual Modeling
verfasst von
Okan Topçu
Umut Durak
Halit Oğuztüzün
Levent Yilmaz
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-03050-0_5