{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:11:23Z","timestamp":1750824683089,"version":"3.41.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319644677"},{"type":"electronic","value":"9783319644684"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-64468-4_38","type":"book-chapter","created":{"date-parts":[[2017,7,31]],"date-time":"2017-07-31T18:05:18Z","timestamp":1501524318000},"page":"505-513","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Andreea","family":"Buga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorana Tania","family":"Neme\u0219","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,1]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: 2015 IEEE\/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 13\u201323, May 2015","DOI":"10.1109\/SEAMS.2015.10"},{"key":"38_CR2","unstructured":"Bergmayr, A., Rossini, A., Ferry, N., Horn, G., Orue-Echevarria, L., Solberg, A., Wimmer, M.: The evolution of CloudML and its manifestations. In: Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), Ottawa, Canada, pp. 1\u20136, September 2015"},{"issue":"3","key":"38_CR3","first-page":"295","volume":"37","author":"A Bianchi","year":"2013","unstructured":"Bianchi, A., Manelli, L., Pizzutilo, S.: An ASM-based model for grid job management. Informatica 37(3), 295\u2013306 (2013). Slovenia","journal-title":"Informatica"},{"key":"38_CR4","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., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). doi:10.1007\/978-3-642-18216-7"},{"key":"38_CR5","series-title":"Texts & Monographs in Symbolic Computation","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-17112-8_4","volume-title":"Correct Software in Web Applications and Web Services","author":"K B\u00f3sa","year":"2015","unstructured":"B\u00f3sa, K., Holom, R.M., Vleju, M.B.: A formal model of client-cloud interaction. In: Thalheim, B., Schewe, K.D., Prinz, A., Buchberger, B. (eds.) Correct Software in Web Applications and Web Services. Texts & Monographs in Symbolic Computation, pp. 83\u2013144. Springer, Cham (2015). doi:10.1007\/978-3-319-17112-8_4"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-87603-8_7","volume-title":"Abstract State Machines, B and Z","author":"A Carioni","year":"2008","unstructured":"Carioni, A., Gargantini, A., Riccobene, E., Scandurra, P.: A scenario-based validation language for ASMs. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 71\u201384. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-87603-8_7"},{"key":"38_CR7","doi-asserted-by":"publisher","first-page":"1126","DOI":"10.1016\/j.procs.2013.05.278","volume":"18","author":"W Funika","year":"2013","unstructured":"Funika, W., Janczykowski, M., Jopek, K., Grzegorczyk, M.: An ontology-based approach to performance monitoring of MUSCLE-bound multi-scale applications. Procedia Comput. Sci. 18, 1126\u20131135 (2013)","journal-title":"Procedia Comput. Sci."},{"key":"38_CR8","unstructured":"Moscato, F., Aversa, R., Di Martino, B., Forti\u015f, T.F., Munteanu, V.: An analysis of mOSAIC ontology for cloud resources annotation. In: 2011 Federated Conference on Computer Science and Information Systems, pp. 973\u2013980, September 2011"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"N\u00e9meth, Z.N., Sunderam, V.: A formal framework for defining grid systems. In: 2014 14th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing, p. 202 (2002)","DOI":"10.1109\/CCGRID.2002.1017128"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64468-4_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:12:41Z","timestamp":1750792361000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-64468-4_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319644677","9783319644684"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64468-4_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"1 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DEXA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database and Expert Systems Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dexa2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.dexa.org\/dexa2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}