{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T04:07:30Z","timestamp":1741925250535,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245589"},{"type":"electronic","value":"9783642245596"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24559-6_16","type":"book-chapter","created":{"date-parts":[[2011,10,21]],"date-time":"2011-10-21T15:13:17Z","timestamp":1319209997000},"page":"211-226","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems"],"prefix":"10.1007","author":[{"given":"Roozbeh","family":"Farahbod","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Avram","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"Adel","family":"Guitouni","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-11811-1_5","volume-title":"Abstract State Machines, Alloy, B and Z","author":"M. Altenhofen","year":"2010","unstructured":"Altenhofen, M., Farahbod, R.: B\u00e2run: A scripting language for coreASM. In: Frappier, M., et al. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 47\u201360. Springer, Heidelberg (2010)"},{"key":"16_CR2","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":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1007\/3-540-60609-2_12","volume-title":"SOFSEM \u201995: Theory and Practice of Informatics","author":"E. B\u00f6rger","year":"1995","unstructured":"B\u00f6rger, E.: Why Use Evolving Algebras for Hardware and Software Engineering? In: Bartosek, M., Staudek, J., Wiedermann, J. (eds.) SOFSEM 1995. LNCS, vol.\u00a01012, pp. 236\u2013271. Springer, Heidelberg (1995)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39910-0_6","volume-title":"Verification: Theory and Practice","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 145\u2013160. Springer, Heidelberg (2004)"},{"key":"16_CR5","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 1993 Simulator by EA-Machines. In: Delgado Kloos, C., Breuer, P.T. (eds.) Formal Semantics for VHDL, pp. 107\u2013139. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"16_CR6","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, Heidelberg (2003)"},{"issue":"2","key":"16_CR7","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"},{"doi-asserted-by":"crossref","unstructured":"Boss\u00e9, \u00c9., Jousselme, A.L., Maupin, P.: Situation analysis for decision support: A formal approach. In: Proc.\u00a0of the 10th Intl.\u00a0Conf. \u00a0on Information Fusion (2007)","key":"16_CR8","DOI":"10.1109\/ICIF.2007.4408208"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1016\/j.neunet.2009.03.013","volume":"22","author":"N.G. Brannon","year":"2009","unstructured":"Brannon, N.G., et al.: Coordinated machine learning and decision support for situation awareness. Neural Networks\u00a022(3), 316\u2013325 (2009)","journal-title":"Neural Networks"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-211-09442-6_2","volume-title":"Mathematical Methods in Counterterrorism","author":"P.L. Brantingham","year":"2009","unstructured":"Brantingham, P.L., Gl\u00e4sser, U., Jackson, P., Vajihollahi, M.: Modeling criminal activity in urban landscapes. In: Memon, N., Farley, J.D., Hicks, D.L., Roseno\u00f8rn, T. (eds.) Mathematical Methods in Counterterrorism, pp. 9\u201331. Springer, Heidelberg (2009)"},{"key":"16_CR11","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)"},{"doi-asserted-by":"crossref","unstructured":"Endsley, M.R.: Theoretical underpinnings of situation awareness: A critical review. In: Endsley, M.R., Garland, D.J. (eds.) Situation Awareness Analysis and Measurement, LEA (2000)","key":"16_CR12","DOI":"10.1201\/b12461"},{"unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 71\u2013103 (2007)","key":"16_CR13"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","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: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol.\u00a05115, pp. 147\u2013169. Springer, Heidelberg (2009)"},{"issue":"2","key":"16_CR15","first-page":"167","volume":"41","author":"R. Farahbod","year":"2011","unstructured":"Farahbod, R., Gl\u00e4sser, U.: The CoreASM modeling framework. Software: Practice and Experience\u00a041(2), 167\u2013178 (2011)","journal-title":"Software: Practice and Experience"},{"unstructured":"Farahbod, R., Gl\u00e4sser, U., Boss\u00e9, E., Guitouni, A.: Integrating abstract state machines and interpreted systems for situation analysis decision support design. In: Proc.\u00a0of the 11th Intl. Conf. on Information Fusion, K\u00f6ln, Germany (July 2008)","key":"16_CR16"},{"doi-asserted-by":"crossref","unstructured":"Farahbod, R., Gl\u00e4sser, U., Khalili, A.: A multi-layer network architecture for dynamic resource configuration & management of multiple mobile resources in maritime surveillance. In: Proc. of SPIE Defense & Security Symposium, Orlando, Florida, USA (March 2009)","key":"16_CR17","DOI":"10.1117\/12.818453"},{"unstructured":"Farahbod, R.: CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems. Ph.D. thesis, Simon Fraser Univ., BC, Canada (May 2009)","key":"16_CR18"},{"doi-asserted-by":"crossref","unstructured":"Farahbod, R., Avram, V., Gl\u00e4sser, U., Guitouni, A.: Engineering situation analysis decision support systems. In: European Intelligence and Security Informatics Conference, Athens, Greece (2011)","key":"16_CR19","DOI":"10.1109\/EISIC.2011.64"},{"key":"16_CR20","volume-title":"Situation Awareness: Analysis and Measurement","author":"D.J. Garland","year":"2000","unstructured":"Garland, D.J., Endsley, M.R.: Situation Awareness: Analysis and Measurement. CRC Press, Boca Raton (2000)"},{"issue":"3","key":"16_CR21","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\u00a042(3), 343\u2013358 (2003)","journal-title":"Computer Networks"},{"issue":"7","key":"16_CR22","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.\u00a030(7), 458\u2013472 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"16_CR23","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-15234-4_26","volume-title":"Distributed, Parallel and Biologically Inspired Systems","author":"U. Gl\u00e4sser","year":"2010","unstructured":"Gl\u00e4sser, U., et al.: A collaborative decision support model for marine safety and security operations. In: Hinchey, M., et al. (eds.) DIPES 2010. IFIP AICT, vol.\u00a0329, pp. 266\u2013277. Springer, Heidelberg (2010)"},{"key":"16_CR24","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"doi-asserted-by":"crossref","unstructured":"Jakobson, G., Lewis, L., Buford, C., Sherman, C.: Battlespace situation analysis: The dynamic cbr approach. In: Military Communications Conf., vol.\u00a02, pp. 941\u2013947 (October 2004)","key":"16_CR25","DOI":"10.1109\/MILCOM.2004.1494959"},{"doi-asserted-by":"crossref","unstructured":"Jousselme, A.L., Maupin, P.: Interpreted systems for situation analysis. In: Proc.\u00a0of the 10th Intl. Conf. on Information Fusion, Qu\u00e9bec, Canada (July 2007)","key":"16_CR26","DOI":"10.1109\/ICIF.2007.4408149"},{"issue":"Series D","key":"16_CR27","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1115\/1.3662552","volume":"82","author":"R.E. Kalman","year":"1960","unstructured":"Kalman, R.E.: A new approach to linear filtering and prediction problems. Transactions of the ASME\u2013Journal of Basic Engineering\u00a082(Series D), 35\u201345 (1960)","journal-title":"Transactions of the ASME\u2013Journal of Basic Engineering"},{"key":"16_CR28","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, 990\u20131013 (2007)","journal-title":"Decision Support Systems"},{"doi-asserted-by":"crossref","unstructured":"Lambert, D.A.: STDF model based maritime situation assessments. In: Proc.\u00a0of the 10th Intl.\u00a0Conf. \u00a0on Information Fusion (July 2007)","key":"16_CR29","DOI":"10.1109\/ICIF.2007.4408055"},{"unstructured":"McDermid, J.: Science of software design: Architectures for evolvable, dependable systems. In: NSF Workshop on the Science of Design: Software and Software-Intensive Systems, Airlie Center, VA (2003)","key":"16_CR30"},{"issue":"2","key":"16_CR31","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/S0167-9236(01)00141-5","volume":"33","author":"H. Nemati","year":"2002","unstructured":"Nemati, H., Steiger, D., Iyer, L., Herschel, R.: Knowledge warehouse: an architectural integration of knowledge management, decision support, artificial intelligence and data warehousing. Decision Support Systems\u00a033(2), 143\u2013161 (2002)","journal-title":"Decision Support Systems"},{"issue":"2","key":"16_CR32","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0167-9236(97)00053-5","volume":"22","author":"Y.U. Ryu","year":"1998","unstructured":"Ryu, Y.U.: Constraint logic programming framework for integrated decision supports. Decision Support Systems\u00a022(2), 155\u2013170 (1998)","journal-title":"Decision Support Systems"},{"issue":"2","key":"16_CR33","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0167-9236(01)00139-7","volume":"33","author":"J.P. Shim","year":"2002","unstructured":"Shim, J.P., Warkentin, M., Courtney, J.F., Power, D.J., Sharda, R., Carlsson, C.: Past, present, and future of decision support technology. Decision Support Systems\u00a033(2), 111\u2013126 (2002)","journal-title":"Decision Support Systems"},{"key":"16_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59495-3","volume-title":"Java and the Java Virtual Machine: Definition, Verification, Validation","author":"R. St\u00e4rk","year":"2001","unstructured":"St\u00e4rk, R., Schmid, J., B\u00f6rger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24559-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T04:59:38Z","timestamp":1741841978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24559-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245589","9783642245596"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24559-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}