{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:50:04Z","timestamp":1760586604736},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,2,27]],"date-time":"2012-02-27T00:00:00Z","timestamp":1330300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Secur Inform"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1186\/2190-8532-1-4","type":"journal-article","created":{"date-parts":[[2012,2,27]],"date-time":"2012-02-27T19:14:41Z","timestamp":1330370081000},"source":"Crossref","is-referenced-by-count":6,"title":["Generating test cases for marine safety and security scenarios: a composition framework"],"prefix":"10.1186","volume":"1","author":[{"given":"Hamed Yaghoubi","family":"Shahir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roozbeh","family":"Farahbod","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piper","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Wehn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,27]]},"reference":[{"key":"3_CR1","volume-title":"Natural Resources Canada. The Atlas of Canada - Coastline and Shoreline [Online]","author":"Natural Resources Canada","year":"2011","unstructured":"Natural Resources Canada: Natural Resources Canada. The Atlas of Canada - Coastline and Shoreline [Online].2011. [ http:\/\/atlas.nrcan.gc.ca\/site\/english\/learningresources\/facts\/coastline.html ]"},{"key":"3_CR2","volume-title":"Models and Tools for Information Fusion","author":"\u00c9 Boss\u00e9","year":"2007","unstructured":"Boss\u00e9 \u00c9, Roy J, Ward S: Models and Tools for Information Fusion. Artech House; 2007."},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1201\/b12461","volume-title":"Situation Awareness Analysis and Measurement","author":"MR Endsley","year":"2000","unstructured":"Endsley MR: Theoretical Underpinnings of Situation Awareness: A Critical Review. In Situation Awareness Analysis and Measurement. Edited by: Endsley MR, Garland DJ. LEA; 2000:3\u201332."},{"key":"3_CR4","volume-title":"Distributed, Parallel and Biologically Inspired Systems","author":"U Gl\u00e4sser","year":"2010","unstructured":"Gl\u00e4sser U, Jackson P, Araghi AK, Shahir HY, Wehn H: A Collaborative Decision Support Model for Marine Safety and Security Operations. In Distributed, Parallel and Biologically Inspired Systems. Edited by: Hinchey M, et al. Springer; 2010."},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1109\/ISI.2010.5484769","volume-title":"Proceedings of the 2010 IEEE International Conference on Intelligence and Security Informatics, Vancouver, Canada","author":"U Gl\u00e4sser","year":"2010","unstructured":"Gl\u00e4sser U, Jackson P, Araghi AK, Shahir HY: Intelligent Decision Support for Marine Safety and Security Operations. In Proceedings of the 2010 IEEE International Conference on Intelligence and Security Informatics, Vancouver, Canada. Edited by: Yang C, et al. IEEE; 2010:101\u2013107."},{"key":"3_CR6","volume-title":"Proceedings of the International Conference on Information Fusion, Seattle, USA","author":"D Lambert","year":"2009","unstructured":"Lambert D, Wark S, Boss\u00e9 \u00c9, Pigeon L, Blackman C, Hinma M: A Coalition Approach to Higher-Level Fusion. In Proceedings of the International Conference on Information Fusion, Seattle, USA. IEEE; 2009."},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger E, St\u00e4rk R: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag; 2003."},{"key":"3_CR8","first-page":"1","volume-title":"Proceedings of the 10th International Conference on Information Fusion","author":"Z Li","year":"2007","unstructured":"Li Z, Leung H, Valin P, Wehn H: High Level data fusion system for CanCoastWatch. Proceedings of the 10th International Conference on Information Fusion 2007, 1\u20136."},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/ISI.2011.5984050","volume-title":"Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, Beijing, China","author":"P Jackson","year":"2011","unstructured":"Jackson P, Gl\u00e4sser U, Shahir HY, Wehn H: An Extensible Decision Engine for Marine Safety and Security. In Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, Beijing, China. IEEE; 2011:54\u201359."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/ISI.2011.5984049","volume-title":"Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, Beijing, China","author":"HY Shahir","year":"2011","unstructured":"Shahir HY, Gl\u00e4sser U, Jackson P, Wehn H: Test-Case Generation for Marine Safety and Security Scenarios. In Proceedings of the 2011 IEEE International Conference on Intelligence and Security Informatics, Beijing, China. IEEE; 2011:48\u201353."},{"key":"3_CR11","volume-title":"Marine Security Operation Centres (MSOC) [Online]","author":"Royal Canadian Mounted Police","year":"2011","unstructured":"Royal Canadian Mounted Police: Marine Security Operation Centres (MSOC) [Online].2011. [ http:\/\/www.grc-rcmp.gc.ca\/mari-port\/msoc-cosm-eng.htm ]"},{"key":"3_CR12","volume-title":"Vessel positions tracking based on AIS data","author":"MarineTraffic Service","year":"2011","unstructured":"MarineTraffic Service: Vessel positions tracking based on AIS data.2011. [ http:\/\/www.marinetraffic.com\/ ]"},{"key":"3_CR13","volume-title":"Automatic Identification System Overview","author":"U.S. Department of Homeland Security - U.S. Coast Guard","year":"2011","unstructured":"U.S. Department of Homeland Security - U.S. Coast Guard: Automatic Identification System Overview.2011. [ http:\/\/www.navcen.uscg.gov\/?pageName=AIS ]"},{"issue":"1-2","key":"3_CR14","first-page":"71","volume":"77","author":"R Farahbod","year":"2007","unstructured":"Farahbod R, Gervasi V, Gl\u00e4sser U: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae 2007,77(1\u20132):71\u2013103.","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"3_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser U, Gotzhein R, Prinz A: The Formal Semantics of SDL-2000: Status and Perspectives. Computer Networks 2003,42(3):343\u2013358. 10.1016\/S1389-1286(03)00247-0","journal-title":"Computer Networks"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-1-4615-2237-9_5","volume-title":"Formal Semantics for VHDL","author":"E B\u00f6rger","year":"1995","unstructured":"B\u00f6rger E, Gl\u00e4sser U, M\u00fcller W: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In Formal Semantics for VHDL. Edited by: Delgado Kloos C, Breuer PT. Kluwer Academic Publishers; 1995:107\u2013139."},{"issue":"7","key":"3_CR17","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U Gl\u00e4sser","year":"2004","unstructured":"Gl\u00e4sser U, Gurevich Y, Veanes M: Abstract Communication Model for Distributed Systems. IEEE Trans on Soft Eng 2004,30(7):458\u2013472. 10.1109\/TSE.2004.25","journal-title":"IEEE Trans on Soft Eng"},{"key":"3_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verication, Validation","author":"R St\u00e4rk","year":"2001","unstructured":"St\u00e4rk R, Schmid J, B\u00f6rger E: Java and the Java Virtual Machine: Definition, Verication, Validation. Springer-Verlag; 2001."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1504\/IJBPIM.2006.012626","volume":"1","author":"R Farahbod","year":"2007","unstructured":"Farahbod R, Gl\u00e4sser U, Vajihollahi M: An Abstract Machine Architecture for Web Service Based Business Process Management. International Journal of Business Process Integration and Management 2007, 1: 279\u2013291.","journal-title":"International Journal of Business Process Integration and Management"},{"issue":"7","key":"3_CR20","first-page":"597","volume":"6","author":"E B\u00f6rger","year":"2000","unstructured":"B\u00f6rger E, Riccobene E, Schmid J: Capturing Requirements by Abstract State Machines: The Light Control Case Study. Journal of Universal Computer Science 2000,6(7):597\u2013620.","journal-title":"Journal of Universal Computer Science"},{"key":"3_CR21","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"2001","unstructured":"Enderton HB: A Mathematical Introduction to Logic. second edition. Harcourt Academic Press; 2001.","edition":"second"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/spe.1029","volume":"41","author":"R Farahbod","year":"2011","unstructured":"Farahbod R, Gl\u00e4sser U: The CoreASM Modeling Framework. Software: Practice and Experience 2011,41(2):167\u2013178. 10.1002\/spe.1029","journal-title":"Software: Practice and Experience"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-11447-2_10","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"R Farahbod","year":"2009","unstructured":"Farahbod R, Gervasi V, Gl\u00e4sser U, Ma G: CoreASM Plug-in Architecture. In Rigorous Methods for Software Construction and Analysis. Edited by: Abrial JR, Gl\u00e4sser U. Springer; 2009:147\u2013169. LNCS Festschrift volume 5115 LNCS Festschrift volume 5115"},{"key":"3_CR24","volume-title":"PhD thesis","author":"R Farahbod","year":"2009","unstructured":"Farahbod R: CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems. PhD thesis. Simon Fraser University, BC, Canada; 2009."},{"key":"3_CR25","first-page":"10","volume-title":"Proceedings of the European Intelligence and Security Informatics Conference, Athens, Greece","author":"R Farahbod","year":"2011","unstructured":"Farahbod R, Avram V, Gl\u00e4sser U, Guitouni A: Engineering Situation Analysis Decision Support Systems. Proceedings of the European Intelligence and Security Informatics Conference, Athens, Greece 2011, 10\u201318."},{"key":"3_CR26","first-page":"211","volume-title":"Proceedings of the 13th International Conference on Formal Engineering Methods, Durham, UK","author":"R Farahbod","year":"2011","unstructured":"Farahbod R, Avram V, Gl\u00e4sser U, Guitouni A: A Formal Engineering Approach to High-level Design of Situation Analysis Decision Support Systems. Proceedings of the 13th International Conference on Formal Engineering Methods, Durham, UK 2011, 211\u2013226."}],"container-title":["Security Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/2190-8532-1-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/2190-8532-1-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/2190-8532-1-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T10:09:42Z","timestamp":1593770982000},"score":1,"resource":{"primary":{"URL":"https:\/\/security-informatics.springeropen.com\/articles\/10.1186\/2190-8532-1-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,27]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["3"],"URL":"https:\/\/doi.org\/10.1186\/2190-8532-1-4","relation":{},"ISSN":["2190-8532"],"issn-type":[{"value":"2190-8532","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,27]]},"article-number":"4"}}