{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:02:19Z","timestamp":1746331339513,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662436516"},{"type":"electronic","value":"9783662436523"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-43652-3_14","type":"book-chapter","created":{"date-parts":[[2014,5,29]],"date-time":"2014-05-29T02:22:12Z","timestamp":1401330132000},"page":"158-173","source":"Crossref","is-referenced-by-count":4,"title":["Distributed Situation Analysis"],"prefix":"10.1007","author":[{"given":"Narek","family":"Nalbandyan","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"Hamed Yaghoubi","family":"Shahir","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Wehn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Boss\u00e9, \u00c9., Roy, J., Wark, S.: Concepts, Models, and Tools for Information Fusion. Artech House Publishers (2007)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Endsley, M.R.: Theoretical Underpinnings of Situation Awareness: A Critical Review. In: Situation Awareness Analysis and Measurement, pp. 3\u201332 (2000)","DOI":"10.1201\/b12461"},{"issue":"2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0167-9236(01)00141-5","volume":"33","author":"H.R. Nemati","year":"2002","unstructured":"Nemati, H.R., Steiger, D.M., Iyer, L.S., Herschel, R.T.: Knowledge Warehouse: An Architectural Integration of Knowledge Management, Decision Support, Artificial Intelligence & Data Warehousing. Decision Support Systems\u00a033(2), 143\u2013161 (2002)","journal-title":"Decision Support Systems"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1016\/j.dss.2005.05.027","volume":"43","author":"R. Klashner","year":"2007","unstructured":"Klashner, R., Sabet, S.: A DSS Design Model for Complex Problems: Lessons from Mission Critical Infrastructure. Decision Support Systems\u00a043(3), 990\u20131013 (2007)","journal-title":"Decision Support Systems"},{"key":"14_CR5","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2007)"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s00165-006-0019-y","volume":"19","author":"E. B\u00f6rger","year":"2007","unstructured":"B\u00f6rger, E.: Construction and Analysis of Ground Models and their Refinements as a Foundation for Validating Computer Based Systems. Formal Aspects of Computing\u00a019(2), 225\u2013241 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR7","unstructured":"Farahbod, R., Gl\u00e4sser, U., Boss\u00e9, \u00c9., Guitouni, A.: Integrating Abstract State Machines and Interpreted Systems for Situation Analysis Decision Support Design. In: 11th Int\u2019l Conference on Information Fusion, pp. 1\u20138 (2008)"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-02716-1_7","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2009","unstructured":"Baader, F., et al.: A Novel Architecture for Situation Awareness Systems. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS, vol.\u00a05607, pp. 77\u201392. Springer, Heidelberg (2009)"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/978-3-642-04441-0_46","volume-title":"Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems","author":"M. Chmielewski","year":"2009","unstructured":"Chmielewski, M.: Ontology Applications for Achieving Situation Awareness in Military Decision Support Systems. In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS, vol.\u00a05796, pp. 528\u2013539. Springer, Heidelberg (2009)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Jakobson, G., Lewis, L., Buford, J., Sherman, C.E.: Battlespace Situation Analysis: The Dynamic CBR Approach. In: Military Communications Conference, vol.\u00a02, pp. 941\u2013947 (2004)","DOI":"10.1109\/MILCOM.2004.1494959"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1016\/j.inffus.2008.05.007","volume":"10","author":"D.A. Lambert","year":"2009","unstructured":"Lambert, D.A.: A Blueprint for Higher-level Fusion Systems. Information Fusion\u00a010(1), 6\u201324 (2009)","journal-title":"Information Fusion"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Jousselme, A.L., Maupin, P.: Interpreted Systems for Situation Analysis. In: 10th Int\u2019l Conference on Information Fusion, pp. 1\u201311 (2007)","DOI":"10.1109\/ICIF.2007.4408149"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-24559-6_16","volume-title":"Formal Methods and Software Engineering","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. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 211\u2013226. Springer, Heidelberg (2011)"},{"key":"14_CR14","unstructured":"McDermid, J.: Science of Software Design: Architectures for Evolvable, Dependable Systems. In: NSF Workshop on the Science of Design: Software & Software-Intensive Systems (2003)"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/TSMC.1981.4308579","volume":"11","author":"R.G. Smith","year":"1981","unstructured":"Smith, R.G., Davis, R.: Frameworks for Cooperation in Distributed Problem Solving. IEEE Transactions on Systems, Man and Cybernetics\u00a011(1), 61\u201370 (1981)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"14_CR16","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley (2009)"},{"key":"14_CR17","unstructured":"Wooldridge, M., Jennings, N.: Formalizing the Cooperative Problem Solving Process. In: 13th Int\u2019l Workshop on Distributed Artificial Intelligence, pp. 403\u2013417 (1994)"},{"key":"14_CR18","unstructured":"Salmon, P.M., Stanton, N.A., Walker, G.H., Jenkins, D.P.: Distributed Situation Awareness: Theory, Measurement and Application to Teamwork. Ashgate Publishing (2009)"},{"key":"14_CR19","unstructured":"Roy, J.: Automated Reasoning for Maritime Anomaly Detection. In: Workshop on Data Fusion and Anomaly Detection for Maritime Situational Awareness (2009)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Yaghoubi Shahir, H., Gl\u00e4sser, U., Nalbandyan, N., Wehn, H.: Maritime Situation Analysis. In: 2013 IEEE Int\u2019l Conference on Intelligence and Security Informatics, pp. 230\u2013232 (2013)","DOI":"10.1109\/ISI.2013.6578825"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Aikebaier, A., Enokido, T., Takizawa, M.: Trustworthiness among Peer Processes in Distributed Agreement Protocol. In: 24th Int\u2019l Conference on Advanced Information Networking and Applications, pp. 565\u2013572 (2010)","DOI":"10.1109\/AINA.2010.114"},{"issue":"1","key":"14_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/2190-8532-1-1","volume":"1","author":"H. Yaghoubi Shahir","year":"2012","unstructured":"Yaghoubi Shahir, H., Gl\u00e4sser, U., Farahbod, R., Jackson, P., Wehn, H.: Generating Test-Cases for Marine Safety and Security Scenarios: A Composition Framework. Security Informatics\u00a01(1), 1\u201321 (2012)","journal-title":"Security Informatics"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Glandrup, M.: Improving Situation Awareness in the Maritime Domain. In: van de Laar, P., Tretmans, J., Borth, M. (eds.) Situation Awareness with Systems of Systems, pp. 21\u201338 (2013)","DOI":"10.1007\/978-1-4614-6230-9_2"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2012.02.001","volume":"79","author":"R. Farahbod","year":"2014","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: Executable Formal Specifications of Complex Distributed Systems with CoreASM. Science of Computer Programming\u00a079(1), 23\u201338 (2014)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-43652-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:46:59Z","timestamp":1746247619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43652-3_14"}},"subtitle":["A Formal Semantic Framework"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662436516","9783662436523"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43652-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}