{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T20:30:33Z","timestamp":1774384233094,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032214225","type":"print"},{"value":"9783032214232","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-21423-2_6","type":"book-chapter","created":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T16:57:29Z","timestamp":1774371449000},"page":"75-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Visual Formalism for\u00a0the\u00a0Specification of\u00a0Maritime Traffic Scenarios"],"prefix":"10.1007","author":[{"given":"Anna","family":"Austel","sequence":"first","affiliation":[]},{"given":"Georg","family":"Hake","sequence":"additional","affiliation":[]},{"given":"Nina","family":"Wetzig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,3,25]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Austel, A., Panneke, L., Piotrowski, J., Wetzig, N., Steidel, M., Westphal, B.: Using monitoring of maritime traffic scenarios in the validation of maritime systems. In: 2025 Symposium on Maritime Informatics and Robotics (MARIS), pp.\u00a01\u20138 (2025). https:\/\/doi.org\/10.1109\/MARIS64137.2025.11139541","DOI":"10.1109\/MARIS64137.2025.11139541"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Austel, A., Steidel, M., Westphal, B.: Formal specification of traffic scenarios in scenario-based testing of maritime assistance systems. In: 4th European Workshop on Maritime Systems, Resilience and Security 2024 (MARESEC 2024), Bremerhaven, Germany (2024). https:\/\/doi.org\/10.5281\/zenodo.14214762","DOI":"10.5281\/zenodo.14214762"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Bogner, M., Steidel, M., Austel, A.: Leveraging maritime automation for efficient and sustainable port maintenance. J. Phys. Conf. Ser. 3123, 012033 (2025). https:\/\/doi.org\/10.1088\/1742-6596\/3123\/1\/012033","DOI":"10.1088\/1742-6596\/3123\/1\/012033"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19, 45\u201380 (2001). https:\/\/doi.org\/10.1023\/A:1011227529550","DOI":"10.1023\/A:1011227529550"},{"key":"6_CR5","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Using traffic sequence charts for the development of HAVs. In: 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), pp. 1\u201311. SEE and 3AF associations, Toulouse, France (2018). https:\/\/hal.science\/hal-01714060"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Traffic sequence charts \u2013 from visualization to semantics. Technical report, SFB\/TR 14 AVACS (2017). https:\/\/doi.org\/10.13140\/RG.2.2.15190.42563","DOI":"10.13140\/RG.2.2.15190.42563"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Damm, W., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: A formal semantics for traffic sequence charts. In: Lohstroh, M., Derler, P., Sirjani, M. (eds.) Principles of Modeling, pp. 182\u2013205. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95246-8_11","DOI":"10.1007\/978-3-319-95246-8_11"},{"issue":"8","key":"6_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.3390\/ijgi10080541","volume":"10","author":"G Del Mondo","year":"2021","unstructured":"Del Mondo, G., Peng, P., Gensel, J., Claramunt, C., Lu, F.: Leveraging spatio-temporal graphs and knowledge graphs: perspectives in the field of maritime transportation. ISPRS Int. J. Geo Inf. 10(8), 541 (2021). https:\/\/doi.org\/10.3390\/ijgi10080541","journal-title":"ISPRS Int. J. Geo Inf."},{"key":"6_CR9","unstructured":"DNV: Class guideline DNV-CG-0264 - Autonomous and remotely operated ships (2021)"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Fockel, M., Holtmann, J., Koch, T., Schmelter, D.: Formal, model- and scenario-based requirement patterns. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), pp. 311\u2013318. SCITEPRESS - Science and Technology Publications, Lda (2018). https:\/\/doi.org\/10.5220\/0006554103110318","DOI":"10.5220\/0006554103110318"},{"issue":"10","key":"6_CR11","doi-asserted-by":"publisher","first-page":"3805","DOI":"10.1007\/s10994-021-06120-5","volume":"112","author":"DJ Fremont","year":"2023","unstructured":"Fremont, D.J., et al.: Scenic: a language for scenario specification and data generation. Mach. Learn. 112(10), 3805\u20133849 (2023). https:\/\/doi.org\/10.1007\/s10994-021-06120-5","journal-title":"Mach. Learn."},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Greenyer, J., et al.: ScenarioTools \u2013 a tool suite for the scenario-based modeling and analysis of reactive systems. Sci. Comput. Program. 149, 15\u201327 (2017). https:\/\/doi.org\/10.1016\/j.scico.2017.07.004","DOI":"10.1016\/j.scico.2017.07.004"},{"issue":"1","key":"6_CR13","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/3123\/1\/012022","volume":"3123","author":"G Hake","year":"2025","unstructured":"Hake, G., Austel, A., Becker, J.S., Putze, L., Wetzig, N.: Safety assessment of maritime autonomous surface ships: a scenario-based approach. J. Phys: Conf. Ser. 3123(1), 012022 (2025). https:\/\/doi.org\/10.1088\/1742-6596\/3123\/1\/012022","journal-title":"J. Phys: Conf. Ser."},{"key":"6_CR14","unstructured":"Hakemann, J.: Automated monitoring of traffic sequence chart specifications for simulated driving scenarios. Master\u2019s thesis, Carl von Ossietzky Universit\u00e4t Oldenburg (2022)"},{"key":"6_CR15","unstructured":"International Maritime Organization: COLREG: Convention on the International Regulations for Preventing Collisions at Sea, 1972. IMO Publication, International Maritime Organization, London (2003)"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Johansen, T., Blindheim, S., Torben, T.R., Utne, I.B., Johansen, T.A., S\u00f8rensen, A.J.: Development and testing of a risk-based control system for autonomous ships. Reliab. Eng. Syst. Saf. 234, 109195 (2023). https:\/\/doi.org\/10.1016\/j.ress.2023.109195","DOI":"10.1016\/j.ress.2023.109195"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Krasowski, H., Althoff, M.: Temporal logic formalization of marine traffic rules. In: 2021 IEEE Intelligent Vehicles Symposium (IV), pp. 186\u2013192. IEEE, Nagoya, Japan (2021). https:\/\/doi.org\/10.1109\/IV48863.2021.9575685","DOI":"10.1109\/IV48863.2021.9575685"},{"issue":"12","key":"6_CR18","doi-asserted-by":"publisher","first-page":"7617","DOI":"10.1109\/tiv.2024.3400597","volume":"9","author":"H Krasowski","year":"2024","unstructured":"Krasowski, H., Althoff, M.: Provable traffic rule compliance in safe reinforcement learning on the open sea. IEEE Trans. Intell. Veh. 9(12), 7617\u20137634 (2024). https:\/\/doi.org\/10.1109\/tiv.2024.3400597","journal-title":"IEEE Trans. Intell. Veh."},{"key":"6_CR19","unstructured":"Maritime Safety Committee: Outcome of the regulatory scoping exercise for the use of maritime autonomous surface ships (MASS). Technical Report MSC.1\/Circ.1638, International Maritime Organization (2021)"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Martelli, M., Virdis, A., Gotta, A., Cassar\u00e0, P., Di\u00a0Summa, M.: An outlook on the future marine traffic management system for autonomous ships. IEEE Access 9, 157316\u2013157328 (2021). https:\/\/doi.org\/10.1109\/ACCESS.2021.3130741","DOI":"10.1109\/ACCESS.2021.3130741"},{"key":"6_CR21","unstructured":"Rauschert, A., Amid, G.: ASAM OpenSCENARIO XML 1.3.0: release presentation. Presentation (2024). https:\/\/www.asam.net\/standards\/detail\/openscenario-xml\/older\/. Accessed 15 Jan 2026"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Reiher, D., Hahn, A.: Review on the current state of scenario- and simulation-based V&V in application for maritime traffic systems. In: OCEANS 2021: San Diego \u2013 Porto, pp.\u00a01\u20139. IEEE, New York (2021). https:\/\/doi.org\/10.23919\/OCEANS44145.2021.9705781","DOI":"10.23919\/OCEANS44145.2021.9705781"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Santipantakis, G., Kotis, K.I., Vouros, G.A.: Ontology-based data integration for event recognition in the maritime domain. In: Proceedings of the 5th International Conference on Web Intelligence, Mining and Semantics, WIMS 2015, pp. 1\u201311. Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2797115.2797133","DOI":"10.1145\/2797115.2797133"},{"issue":"10","key":"6_CR24","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.3390\/jmse10101347","volume":"10","author":"R Song","year":"2022","unstructured":"Song, R., et al.: Semantic modeling of ship behavior in cognitive space. J. Mar. Sci. Eng. 10(10), 1347 (2022). https:\/\/doi.org\/10.3390\/jmse10101347","journal-title":"J. Mar. Sci. Eng."},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Stemmer, R., et al.: Runtime monitoring of complex scenario-based requirements for autonomous driving functions. Sci. Comput. Program. 244, 103301 (2025). https:\/\/doi.org\/10.1016\/j.scico.2025.103301","DOI":"10.1016\/j.scico.2025.103301"},{"issue":"2","key":"6_CR26","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1177\/1748006X211069277","volume":"237","author":"TR Torben","year":"2023","unstructured":"Torben, T.R., Glomsrud, J.A., Pedersen, T.A., Utne, I.B., S\u00f8rensen, A.J.: Automatic simulation-based testing of autonomous ships using gaussian processes and temporal logic. Proc. Inst. Mech. Eng. Part O J. Risk Reliab. 237(2), 293\u2013313 (2023). https:\/\/doi.org\/10.1177\/1748006X211069277","journal-title":"Proc. Inst. Mech. Eng. Part O J. Risk Reliab."},{"key":"6_CR27","unstructured":"Torben, T.R., Smogeli, \u00d8., Utne, I.B., S\u00f8rensen, A.J.: On formal methods for design and verification of maritime autonomous surface ships. In: Proceedings of the World Maritime Technology Conference, vol.\u00a01, pp. 251\u2013261 (2022). https:\/\/ntnuopen.ntnu.no\/ntnu-xmlui\/handle\/11250\/3058210"},{"key":"6_CR28","unstructured":"UN Trade and Development (UNCTAD): Review of Maritime Transport 2024: Navigating Maritime Chokepoints. United Nations (2024)"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Vandecasteele, A., Napoli, A.: Spatial ontologies for detecting abnormal maritime behaviour. In: 2012 Oceans - Yeosu, pp.\u00a01\u20137. IEEE, Yeosu, Korea (South) (2012). https:\/\/doi.org\/10.1109\/OCEANS-Yeosu.2012.6263532","DOI":"10.1109\/OCEANS-Yeosu.2012.6263532"},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Wild, M., Becker, J.S., Ehmen, G., M\u00f6hlmann, E.: Towards scenario-based certification of highly automated railway systems. In: Milius, B., Dutilleul, S.C., Lecomte, T. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification.RSSRail2023. Lecture Notes in Computer Science, vol. 14198, pp. 78\u201397. Springer, Berlin (2023). https:\/\/doi.org\/10.1007\/978-3-031-43366-5_5","DOI":"10.1007\/978-3-031-43366-5_5"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-21423-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T16:57:34Z","timestamp":1774371454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-21423-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032214225","9783032214232"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-21423-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"25 March 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"REFSQ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Working Conference on Requirements Engineering: Foundation for Software Quality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poznan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 March 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 March 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"refsq2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2026.refsq.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}