{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T12:09:34Z","timestamp":1725970174891},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319760711"},{"type":"electronic","value":"9783319760728"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-76072-8_7","type":"book-chapter","created":{"date-parts":[[2018,3,6]],"date-time":"2018-03-06T05:04:18Z","timestamp":1520312658000},"page":"92-105","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for Rapid Configuration of Collaborative Aviation System-of-Systems Simulations"],"prefix":"10.1007","author":[{"given":"Shafagh","family":"Jafer","sequence":"first","affiliation":[]},{"given":"Bernard","family":"Zeigler","sequence":"additional","affiliation":[]},{"given":"Doohwan D. H.","family":"Kim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,7]]},"reference":[{"unstructured":"ASDL. https:\/\/github.com\/ASDL-prj\/Ontology","key":"7_CR1"},{"issue":"7","key":"7_CR2","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1177\/0037549712438469","volume":"88","author":"O Balci","year":"2012","unstructured":"Balci, O.: A life cycle for modeling and simulation. Simulation 88(7), 870\u2013883 (2012)","journal-title":"Simulation"},{"unstructured":"Barhorst, J., Belote, T., Binns, P., Hoffman, J., Paunicka, J., Sarathy, P., Scoredos, J., Stanfill, P., Stuart, D., Russell, U.: A research agenda for mixed-criticality systems. In: Cyber-Physical Systems Week (2009)","key":"7_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bruneliere, H., Cabot, J., Jouault, F., Madiot, F.: MoDisco: a generic and extensible framework for model driven reverse engineering. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering (2010)","key":"7_CR4","DOI":"10.1145\/1858996.1859032"},{"key":"7_CR5","volume-title":"Eclipse Modeling Framework: A Developer\u2019s Guide","author":"F Budinsky","year":"2004","unstructured":"Budinsky, F.: Eclipse Modeling Framework: A Developer\u2019s Guide. Addison-Wesley Professional, Boston (2004)"},{"unstructured":"Eclipse Model To Text (M2T) Eclipse. https:\/\/eclipse.org\/modeling\/m2t\/","key":"7_CR6"},{"unstructured":"Federal Aviation Administration. AFS Flight Program Flight Operations Manual","key":"7_CR7"},{"unstructured":"Grange, F.E., Jacobs, A., Prouhet, R., Thengvall, B.: Modeling, simulation and analysis of \u201cunknown unknowns\u201d with simulation optimization. In: Proceedings of the 80th Symposium. Colorado Springs: Military Operations Research Society (2012)","key":"7_CR8"},{"doi-asserted-by":"publisher","unstructured":"Hodicky, J.: HLA as an experimental backbone for autonomous system integration into operational field. In: Hodicky J. (eds.) Modelling and Simulation for Autonomous Systems. MESAS 2014. LNCS, vol 8906. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-13823-7_11","key":"7_CR9","DOI":"10.1007\/978-3-319-13823-7_11"},{"key":"7_CR10","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River, New Jersey (1985)"},{"doi-asserted-by":"crossref","unstructured":"Jafer, S., Chhaya, B., Durak, U., Gerlach, T.: Formal scenario definition language for aviation: aircraft landing case study. In: AIAA Modeling and Simulation Technologies Conference, p. 3521 (2016)","key":"7_CR11","DOI":"10.2514\/6.2016-3521"},{"doi-asserted-by":"crossref","unstructured":"Jafer, S., Chhaya, B., Durak, U.: Graphical specification of flight scenarios with aviation scenario defintion language (ASDL). In: AIAA Modeling and Simulation Technologies Conference, p. 1311 (2017)","key":"7_CR12","DOI":"10.2514\/6.2017-1311"},{"doi-asserted-by":"crossref","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), pp. 255\u2013299 (1990)","key":"7_CR13","DOI":"10.1007\/BF01995674"},{"key":"7_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, New York (1992)"},{"key":"7_CR15","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River, New Jersey (1989)"},{"key":"7_CR16","volume-title":"Netcentric System of Systems Engineering with DEVS Unified Process","author":"S Mital","year":"2013","unstructured":"Mital, S., Risco Martin, J.L.: Netcentric System of Systems Engineering with DEVS Unified Process. CRC Press, Boca Raton (2013)"},{"key":"7_CR17","volume-title":"Building Software for Simulation: Theory and Algorithms with applications in C++","author":"J Nutaro","year":"2011","unstructured":"Nutaro, J.: Building Software for Simulation: Theory and Algorithms with applications in C++. Wiley, Hoboken (2011)"},{"issue":"11","key":"7_CR18","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1177\/0037549704050919","volume":"80","author":"J Nutaro","year":"2004","unstructured":"Nutaro, J., Sarjoughian, H.S.: Design of distributed simulation environments: a unified system-theoretic and logical processes approach. Simulation 80(11), 577\u2013589 (2004)","journal-title":"Simulation"},{"unstructured":"OWL Web Ontology Language Reference. http:\/\/www.w3.org\/TR\/owlref\/","key":"7_CR19"},{"unstructured":"Pawletta, T., Schmidt, A., Zeigler, B.P., Durak, U.: Extended variability modeling using system entity structure ontology within MATLAB\/simulink. In: Proceedings SCS International SpringSim\/ANSS 2016, Pasadena, CA, USA, SCS, pp. 62\u201369 (2016)","key":"7_CR20"},{"unstructured":"SESAR EUROCONTROL ATM Lexicon. Single European Sky ATM Research. http:\/\/www.eurocontrol.int\/lexicon\/lexicon\/en\/","key":"7_CR21"},{"unstructured":"Seo, C., Zeigler, B.P., Coop, R., Kim, D.: DEVS modeling and simulation methodology with MS4 Me software tool. In: Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative M&S Symposium, p. 33. Society for Computer Simulation International (2013)","key":"7_CR22"},{"issue":"2","key":"7_CR23","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"29","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 29(2), 25\u201331 (2006)","journal-title":"IEEE Comput."},{"unstructured":"SISO Base Object Model Product Development Group. Base Object Model (BOM) Template. Simulation Interoperability Standards Organization, Orlando (2006)","key":"7_CR24"},{"key":"7_CR25","first-page":"54","volume":"781","author":"P Farail","year":"2006","unstructured":"Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. Embedded Real Time Softw. (ERTS) 781, 54\u201359 (2006)","journal-title":"Embedded Real Time Softw. (ERTS)"},{"unstructured":"Vangheluwe, H.L.M.: DEVS as a common denominator for multi-formalism hybrid systems modeling. In: Proceedings for the 2000 IEEE International Symposium on Computer-aided Control System Design, Alaska, USA (2000)","key":"7_CR26"},{"key":"7_CR27","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"M Volter","year":"2006","unstructured":"Volter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2006)"},{"doi-asserted-by":"crossref","unstructured":"Wimmer, M., Perez, S.M., Jouault, F., Cabot, J.: A catalogue of refactorings for model-to-model transformations. J. Object Technol. 11(2), 2:1\u201340 (2012)","key":"7_CR28","DOI":"10.5381\/jot.2012.11.2.a2"},{"key":"7_CR29","volume-title":"Theory of Modeling and Simulation","author":"BP Zeigler","year":"1976","unstructured":"Zeigler, B.P.: Theory of Modeling and Simulation, 1st edn. Wiley Interscience, New York (1976)","edition":"1"},{"key":"7_CR30","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"BP Zeigler","year":"1984","unstructured":"Zeigler, B.P.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, New York (1984)"},{"doi-asserted-by":"publisher","unstructured":"Zeigler, B.P., Sarjoughian, H.S.: System entity structure basics. In: Guide to Modeling and Simulation of Systems of Systems, Simulation Foundations, Methods and Applications, pp. 27\u201337. Springer, London (2013). https:\/\/doi.org\/10.1007\/978-0-85729-865-2_3","key":"7_CR31","DOI":"10.1007\/978-0-85729-865-2_3"},{"key":"7_CR32","volume-title":"Theory of Modeling and Simulation","author":"BP Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation, 2nd edn. Academic Press, San Diego (2000)","edition":"2"},{"key":"7_CR33","volume-title":"Modeling and Simulation-based Data Engineering: Introducing Pragmatics into Ontologies for Netcentric Information Exchange","author":"BP Zeigler","year":"2007","unstructured":"Zeigler, B.P., Hammonds, P.E.: Modeling and Simulation-based Data Engineering: Introducing Pragmatics into Ontologies for Netcentric Information Exchange. Academic Press, San Diego (2007)"},{"key":"7_CR34","volume-title":"Multifaceted Modelling and Discrete Event Simulation","author":"BP Zeigler","year":"1984","unstructured":"Zeigler, B.P.: Multifaceted Modelling and Discrete Event Simulation. Academic Press, San Diego (1984)"},{"doi-asserted-by":"publisher","unstructured":"Zeigler, B.P., Nutaro, J.: Towards a framework for more robust validation and verification of simulation models for systems of systems. J. Defense Model. Simul. Appl. Methodol. Technol. 13(1), 3\u201316 (2015). https:\/\/doi.org\/10.1177\/1548512914568657","key":"7_CR35","DOI":"10.1177\/1548512914568657"}],"container-title":["Lecture Notes in Computer Science","Modelling and Simulation for Autonomous Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-76072-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,12]],"date-time":"2019-10-12T04:10:18Z","timestamp":1570853418000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-76072-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319760711","9783319760728"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-76072-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}