{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T18:14:01Z","timestamp":1769278441645,"version":"3.49.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030581664","type":"print"},{"value":"9783030581671","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-58167-1_10","type":"book-chapter","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T06:04:08Z","timestamp":1602828248000},"page":"131-148","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Exploring Validity Frames in Practice"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4043-6883","authenticated-orcid":false,"given":"Simon","family":"Van Mierlo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7558-1434","authenticated-orcid":false,"given":"Bentley James","family":"Oakes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3854-5159","authenticated-orcid":false,"given":"Bert","family":"Van Acker","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7213-9536","authenticated-orcid":false,"given":"Raheleh","family":"Eslampanah","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4926-6737","authenticated-orcid":false,"given":"Joachim","family":"Denil","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2079-6643","authenticated-orcid":false,"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,17]]},"reference":[{"issue":"3","key":"10_CR1","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s00366-012-0286-6","volume":"29","author":"H Van der Auweraer","year":"2013","unstructured":"Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389\u2013408 (2013)","journal-title":"Eng. Comput."},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-75632-5_5","volume-title":"Lectures on Runtime Verification","author":"E Bartocci","year":"2018","unstructured":"Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 135\u2013175. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_5"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends\u00ae Electron. Des. Autom. 12(2\u20133), 124\u2013400 (2018)","DOI":"10.1561\/1000000053"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1177\/003754979807100101","volume":"71","author":"A Breunese","year":"1998","unstructured":"Breunese, A., Broenink, J.F., Top, J., Akkermans, J.: Libraries of reusable models: theory and application. Simulation 71(1), 7\u201322 (1998)","journal-title":"Simulation"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1016\/j.procir.2014.03.183","volume":"21","author":"A Canedo","year":"2014","unstructured":"Canedo, A., Richter, J.H.: Architectural design space exploration of cyber-physical systems using the functional modeling compiler. Procedia CIRP 21, 46\u201351 (2014)","journal-title":"Procedia CIRP"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-030-43946-0_9","volume-title":"Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems","author":"M Challenger","year":"2020","unstructured":"Challenger, M., Vanherpen, K., Denil, J., Vangheluwe, H.: FTG+PM: describing engineering processes in multi-paradigm modelling. Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, pp. 259\u2013271. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43946-0_9"},{"issue":"3","key":"10_CR7","first-page":"181","volume":"33","author":"T Daum","year":"2001","unstructured":"Daum, T., Sargent, R.G.: Experimental frames in a modern modeling and simulation system. IIE Trans. 33(3), 181\u2013192 (2001)","journal-title":"IIE Trans."},{"key":"10_CR8","unstructured":"Denil, J., Klikovits, S., Mosterman, P.J., Vallecillo, A., Vangheluwe, H.: The experiment model and validity frame in M&S. In: Proceedings of the Symposium on Theory of Modeling & Simulation, pp. 1\u201312 (2017)"},{"issue":"2","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2567895","volume":"24","author":"R Ewald","year":"2014","unstructured":"Ewald, R., Uhrmacher, A.M.: SESSL: a domain-specific language for simulation experiments. ACM Trans. Model. Comput. Simul. (TOMACS) 24(2), 1\u201325 (2014)","journal-title":"ACM Trans. Model. Comput. Simul. (TOMACS)"},{"key":"10_CR10","unstructured":"Foures, D., Albert, V., Nketsa, A.: Formal compatibility of experimental frame concept and finite and deterministic DEVS model. In: International Conference on Modeling Optimization SIMulation (MOSIM 2012), pages-10, p. 94 (2012)"},{"key":"10_CR11","unstructured":"Foures, D., Albert, V., Nketsa, A.: Simulation validation using the compatibility between simulation model and experimental frame (2013)"},{"key":"10_CR12","unstructured":"Hu, J., Rozenblit, J.W.: Towards automatic generation of experimental frames in simulation-based system design. In: AI and Simulation Conference, pp. 1\u20136 (1988)"},{"issue":"3","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3186266","volume":"51","author":"P Ivie","year":"2018","unstructured":"Ivie, P., Thain, D.: Reproducibility in scientific computing. ACM Comput. Surv. (CSUR) 51(3), 1\u201336 (2018)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"10_CR14","unstructured":"Klikovits, S., Denil, J., Muzy, A., Salay, R.: Modeling frames. In: CEUR Workshop Proceedings, pp. 315\u2013320 (2017)"},{"issue":"1","key":"10_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3390\/systems7010007","volume":"7","author":"AM Madni","year":"2019","unstructured":"Madni, A.M., Madni, C.C., Lucero, S.D.: Leveraging digital twin technology in model-based systems engineering. Systems 7(1), 7 (2019)","journal-title":"Systems"},{"key":"10_CR16","unstructured":"Meyers, B., Denil, J., Vanherpen, K., Vangheluwe, H.: Enabling design-space exploration for domain-specific modelling. In: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, p. 5. Society for Computer Simulation International (2018)"},{"key":"10_CR17","unstructured":"Ramos, A.L., Ferreira, J.V., Barcel\u00f3, J.: Model-based systems engineering: an emerging approach for modern systems. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 42(1), 101\u2013111 (2011)"},{"key":"10_CR18","unstructured":"Rozenblit, J.W.: Exp\u2019a software tool for experimental frame specification in discrete event modelling and simulation. In: Proceedings of the Summer Computer Simulation Conference, pp. 967\u2013971 (1984)"},{"issue":"3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1080\/03081079108935180","volume":"19","author":"JW Rozenblit","year":"1991","unstructured":"Rozenblit, J.W.: Experimental frame specification methodology for hierarchical simulation modeling. Int. J. Gen. Syst. 19(3), 317\u2013336 (1991)","journal-title":"Int. J. Gen. Syst."},{"key":"10_CR20","unstructured":"dos Santos, C.A.R., Saleh, A.H., Schrijvers, T., Nicolai, M.: CONDEnSe: contract based design synthesis. In: 2019 ACM\/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 250\u2013260. IEEE (2019)"},{"issue":"8","key":"10_CR21","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1177\/0037549716656791","volume":"92","author":"A Schmidt","year":"2016","unstructured":"Schmidt, A., Durak, U., Pawletta, T.: Model-based testing methodology using system entity structures for MATLAB\/Simulink models. Simulation 92(8), 729\u2013746 (2016)","journal-title":"Simulation"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1016\/j.simpat.2005.03.002","volume":"14","author":"MK Traor\u00e9","year":"2006","unstructured":"Traor\u00e9, M.K., Muzy, A.: Capturing the dual relationship between simulation models and their context. Simul. Model. Pract. Theor. 14(2), 126\u2013142 (2006)","journal-title":"Simul. Model. Pract. Theor."},{"key":"10_CR23","doi-asserted-by":"publisher","unstructured":"Van Acker, B., De Meulenaere, P., Denil, J., Durodie, Y., Van Bellinghen, A., Vanstechelman, K.: Valid (re-)use of models-of-the-physics in cyber-physical systems using validity frames. In: 2019 Spring Simulation Conference (SpringSim), pp. 1\u201312, April 2019. https:\/\/doi.org\/10.23919\/SpringSim.2019.8732858","DOI":"10.23919\/SpringSim.2019.8732858"},{"key":"10_CR24","unstructured":"Van Acker, B., Denil, J., De Meulenaere, P., Aelvoet, B., Mahieu, D., Van Den Oudenhoven, J.: Generation of test strategies for model-based functional safety testing using an artifact-centric approach. In: Proceedings of MODELS 2018 Workshops co-located with ACM\/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) Copenhagen, Denmark, October, 14, 2018\/Hebig, Regina [edit.], pp. 563\u2013569 (2018)"},{"key":"10_CR25","unstructured":"Vangheluwe, H.: Multi-formalism modelling and simulation. D.Sc. dissertation, Faculty of Science, Ghent University (2000)"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. Chapter in Handbook of Software Engineering (2017)","DOI":"10.1109\/FAS-W.2018.00012"},{"key":"10_CR27","volume-title":"Theory of Modeling and Simulation","author":"BP Zeigler","year":"2000","unstructured":"Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modeling and Simulation. Academic Press, Cambridge (2000)"},{"key":"10_CR28","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, London (1984)"}],"container-title":["Communications in Computer and Information Science","Systems Modelling and Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58167-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T18:05:56Z","timestamp":1619287556000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58167-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030581664","9783030581671"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58167-1_10","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSMM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Systems Modelling and Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsmm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/staf2020.hvl.no\/events\/icsmm2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"53% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the COVID-19 pandemic the conference did not take place physically or virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}