{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:34:43Z","timestamp":1743042883206,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540884781"},{"type":"electronic","value":"9783540884798"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-88479-8_57","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T14:18:43Z","timestamp":1225808323000},"page":"797-814","source":"Crossref","is-referenced-by-count":2,"title":["High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM"],"prefix":"10.1007","author":[{"given":"R.","family":"Farahbod","sequence":"first","affiliation":[]},{"given":"U.","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"P. J.","family":"Jackson","sequence":"additional","affiliation":[]},{"given":"M.","family":"Vajihollahi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","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)"},{"unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae, 71\u2013103 (2007)","key":"57_CR2"},{"key":"57_CR3","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)"},{"key":"57_CR4","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.tcs.2004.11.008","volume":"336","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E., Fruja, N.G., Gervasi, V., St\u00e4rk, R.F.: A High-level Modular Definition of the Semantics of C#. Theoretical Computer Science\u00a0336, 235\u2013284 (2005)","journal-title":"Theoretical Computer Science"},{"key":"57_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-52753-2_31","volume-title":"CSL \u201989","author":"E. B\u00f6rger","year":"1990","unstructured":"B\u00f6rger, E.: A Logical Operational Semantics for Full Prolog. Part I: Selection Core and Control. In: B\u00f6rger, E., Kleine B\u00fcning, H., Richter, M.M. (eds.) CSL 1989. LNCS, vol.\u00a0440, pp. 36\u201364. Springer, Heidelberg (1990)"},{"key":"57_CR6","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. Comput. Networks\u00a042, 343\u2013358 (2003)","journal-title":"Comput. Networks"},{"key":"57_CR7","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":"57_CR8","volume-title":"SystemC - Methodologies and Applications","author":"W. M\u00fcller","year":"2003","unstructured":"M\u00fcller, W., Ruf, J., Rosenstiel, W.: An ASM Based SystemC Simulation Semantics. In: M\u00fcller, W., et al. (eds.) SystemC - Methodologies and Applications. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"57_CR9","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\u00a06, 597\u2013620 (2000)","journal-title":"Journal of Universal Computer Science"},{"key":"57_CR10","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. Intl.\u00a0Journal of Business Process Integration and Management\u00a01, 279\u2013291 (2007)","journal-title":"Intl.\u00a0Journal of Business Process Integration and Management"},{"key":"57_CR11","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, 458\u2013472 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"57_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.tcs.2004.11.009","volume":"336","author":"U. Gl\u00e4sser","year":"2005","unstructured":"Gl\u00e4sser, U., Gu, Q.P.: Formal Description and Analysis of a Distributed Location Service for Mobile Ad Hoc Networks. Theoretical Comp. Sci.\u00a0336, 285\u2013309 (2005)","journal-title":"Theoretical Comp. Sci."},{"key":"57_CR13","volume-title":"Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis (LNCS Festschrift)","author":"R. Farahbod","year":"2008","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U., Ma, G.: CoreASM plug-in architecture. In: Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis (LNCS Festschrift). Springer, Heidelberg (to be published, 2008)"},{"key":"57_CR14","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)"},{"unstructured":"Farahbod, R., Gl\u00e4sser, U.: Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior. In: New Trends in Parallel and Distributed Computing, Proc. 6th Intl. Heinz Nixdorf Symposium, January 2006, pp. 81\u201395. Heinz Nixdorf Institute (2006)","key":"57_CR15"},{"unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A Metamodel-based Simulator for ASMs. In: Proc. of the 14th Intl.\u00a0Abstract State Machines Workshop (2007)","key":"57_CR16"},{"unstructured":"Microsoft FSE Group: The Abstract State Machine Language (2003) (Last visited June 2003), http:\/\/research.microsoft.com\/fse\/asml\/","key":"57_CR17"},{"key":"57_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/3-540-48257-1_21","volume-title":"Applied Formal Methods - FM-Trends 98","author":"G. Castillo Del","year":"1999","unstructured":"Del Castillo, G.: Towards Comprehensive Tool Support for Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 311\u2013325. Springer, Heidelberg (1999)"},{"key":"57_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-44518-8_6","volume-title":"Abstract State Machines - Theory and Applications","author":"M. Anlauff","year":"2000","unstructured":"Anlauff, M.: XASM \u2013 An Extensible, Component-Based Abstract State Machines Language. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 69\u201390. Springer, Heidelberg (2000)"},{"unstructured":"Schmid, J.: Executing ASM Specitications with AsmGofer (Last visited September 2005) (2005), http:\/\/www.tydo.de\/AsmGofer\/","key":"57_CR20"},{"key":"57_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44622-2_1","volume-title":"Computer Science Logic","author":"A. Blass","year":"2000","unstructured":"Blass, A., Gurevich, Y.: Background, Reserve, and Gandy Machines. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 1\u201317. Springer, Heidelberg (2000)"},{"key":"57_CR22","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. IEEE Trans. Software Eng.\u00a023, 279\u2013295 (1997)","journal-title":"IEEE Trans. Software Eng."},{"unstructured":"Ma, G.Z.: Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using Spin. Master\u2019s thesis, Simon Fraser University, Canada (2007)","key":"57_CR23"},{"key":"57_CR24","volume-title":"Patterns in Crime","author":"P.J. Brantingham","year":"1984","unstructured":"Brantingham, P.J., Brantingham, P.L.: Patterns in Crime. Macmillan Publishing Company, New York (1984)"},{"key":"57_CR25","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, 225\u2013241 (2007)","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"crossref","unstructured":"Brantingham, P.L., Kinney, B., Gl\u00e4sser, U., Jackson, P., Vajihollahi, M.: Mastermind: Computational Modeling and Simulation of Spatiotemporal Aspects of Crime in Urban Environments. In: Liu, L., Eck, J. (eds.) Artificial Crime Analysis Systems: Using Computer Simulations and Geographic Information Systems, Information Science Reference (2008)","key":"57_CR26","DOI":"10.4018\/978-1-59904-591-7.ch013"},{"doi-asserted-by":"crossref","unstructured":"Brantingham, P.L., Gl\u00e4sser, U., Kinney, B., Singh, K., Vajihollahi, M.: A Computational Model for Simulating Spatial Aspects of Crime in Urban Environments. In: Jamshidi, M. (ed.) Proc. of 2005 IEEE Intl. Conf. on Systems, Man and Cybernetics, pp. 3667\u20133674 (2005)","key":"57_CR27","DOI":"10.1109\/ICSMC.2005.1571717"},{"doi-asserted-by":"crossref","unstructured":"Wehn, H., et al.: A Distributed Information Fusion Testbed for Coastal Surveillance. In: Proc.\u00a0of the 10th Intl.\u00a0Conf.\u00a0on Information Fusion (2007)","key":"57_CR28","DOI":"10.1109\/ICIF.2007.4408089"},{"unstructured":"Farahbod, R., Gl\u00e4sser, U., Wehn, H.: CanCoastWatch Dynamic Configuration Manager. In: Proc. of the 14th Intl. Abstract State Machines Workshop (2007)","key":"57_CR29"},{"doi-asserted-by":"crossref","unstructured":"Farahbod, R., Gl\u00e4sser, U.: Dynamic Resource Management for Adaptive Distributed Information Fusion in Large Volume Surveillance\u2014Phase One. Technical Report SFU-CMPT-TR-2008-08, Simon Fraser University (2008)","key":"57_CR30","DOI":"10.1117\/12.777767"},{"unstructured":"Farahbod, R., Gervasi, V.: JASMine: Accessing Java Code from CoreASM. In: Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis (LNCS Festschrift) (to be published, 2008)","key":"57_CR31"},{"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":"57_CR32","DOI":"10.1201\/b12461"},{"unstructured":"Boss\u00e9, \u00c9., Roy, J., Ward, S.: Models and Tools for Information Fusion (2007)","key":"57_CR33"},{"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":"57_CR34","DOI":"10.1109\/ICIF.2007.4408208"},{"doi-asserted-by":"crossref","unstructured":"Maupin, P., Jousselme, A.L.: A General Algebraic Framework for Situation Analysis. In: Proc.\u00a0of the 8th Intl.\u00a0Conf.\u00a0on Information Fusion, Philadelphia, PA (2005)","key":"57_CR35","DOI":"10.1109\/ICIF.2005.1591960"},{"doi-asserted-by":"crossref","unstructured":"Maupin, P., Jousselme, A.L.: Interpreted Systems for Situation Analysis. In: Proc.\u00a0of the 10th Intl.\u00a0Conf.\u00a0on Information Fusion, Quebec city, Canada (2007)","key":"57_CR36","DOI":"10.1109\/ICIF.2007.4408149"},{"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\u00a0Conf.\u00a0on Information Fusion (Fusion 2008) (2008)","key":"57_CR37"},{"key":"57_CR38","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-36498-6_15","volume-title":"Abstract State Machines 2003","author":"A. Gargantini","year":"2003","unstructured":"Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Tests from ASM Specifications. In: Abstract State Machines 2003, pp. 263\u2013277. Springer, Heidelberg (2003)"},{"key":"57_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-540-78917-8_2","volume-title":"Formal Methods and Testing","author":"M. Veanes","year":"2008","unstructured":"Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., Nachmanson, L.: Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 39\u201376. Springer, Heidelberg (2008)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,9]],"date-time":"2020-05-09T21:39:02Z","timestamp":1589060342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_57","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2008]]}}}