{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:56Z","timestamp":1740099056972,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747804"},{"type":"electronic","value":"9783319747811"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-74781-1_11","type":"book-chapter","created":{"date-parts":[[2018,2,1]],"date-time":"2018-02-01T15:22:24Z","timestamp":1517498544000},"page":"153-167","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing Monitoring Processes for 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":[[2018,2,2]]},"reference":[{"key":"11_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":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-11811-1_6","volume-title":"Abstract State Machines, Alloy, B and Z","author":"P Arcaini","year":"2010","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 61\u201374. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-11811-1_6"},{"key":"11_CR3","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of abstract state machines by meta property verification. In: Proceedings of Second NASA Formal Methods Symposium - NFM 2010, 13\u201315 April 2010, Washington D.C., USA, pp. 4\u201313 (2010)"},{"issue":"4","key":"11_CR4","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1007\/s00165-016-0371-5","volume":"28","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Holom, R.-M., Riccobene, E.: ASM-based formal design of an adaptivity component for a cloud system. Form. Asp. Comput. 28(4), 567\u2013595 (2016)","journal-title":"Form. Asp. Comput."},{"issue":"3","key":"11_CR5","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 (Slovenia) 37(3), 295\u2013306 (2013)","journal-title":"Informatica (Slovenia)"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-35623-0_7","volume-title":"Current Trends in Web Engineering","author":"F Bolis","year":"2012","unstructured":"Bolis, F., Gargantini, A., Guarnieri, M., Magri, E., Musto, L.: Model-driven testing for web applications using abstract state machines. In: Grossniklaus, M., Wimmer, M. (eds.) ICWE 2012. LNCS, vol. 7703, pp. 71\u201378. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35623-0_7"},{"key":"11_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., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, New York Inc., Secaucus (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-33600-8_1","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E.: Modeling distributed algorithms by abstract state machines compared to petri nets. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 3\u201334. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_1"},{"key":"11_CR9","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, pp. 83\u2013144. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-17112-8_4"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-319-64468-4_38","volume-title":"Database and Expert Systems Applications","author":"A Buga","year":"2017","unstructured":"Buga, A., Nemes, S.T.: A formal approach for failure detection in large-scale distributed systems using abstract state machines. In: Benslimane, D., Damiani, E., Grosky, W.I., Hameurlain, A., Sheth, A., Wagner, R.R. (eds.) DEXA 2017. LNCS, vol. 10438, pp. 505\u2013513. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-64468-4_38"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Buga, A., Nemes, S.T.: Towards modeling monitoring of smart traffic services in a large-scale distributed system. In: CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, 24\u201326 April 2017, Porto, Portugal, pp. 455\u2013462 (2017)","DOI":"10.5220\/0006303704830490"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Buga, A., Nemes, S.T.: Towards modeling monitoring services for large-scale distributed systems with abstract state machines. In: Radar Track at the 22nd International Working Conference on Evaluation and Modeling Methods for Systems Analysis and Development (EMMSAD) Co-located with the 29th International Conference on Advanced Information Systems Engineering 2017 (CAiSE 2017), June 2017, Essen, Germany, vol. 1859. CEUR (2017)","DOI":"10.5220\/0006528901930198"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Clayman, S., Galis, A., Mamatas, L.: Monitoring virtual networks with Lattice. In: Network Operations and Management Symposium Workshops (NOMS Wksps), pp. 239\u2013246. IEEE\/IFIP, April 2010","DOI":"10.1109\/NOMSW.2010.5486569"},{"key":"11_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1007\/978-3-642-12186-9_39","volume-title":"Business Process Management Workshops","author":"M Fugini","year":"2010","unstructured":"Fugini, M., Siadat, H.: SLA contract for cross-layer monitoring and adaptation. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 412\u2013423. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12186-9_39"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-33600-8_13","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"F Kossak","year":"2016","unstructured":"Kossak, F., Mashkoor, A.: How to select the suitable formal method for an industrial application: a survey. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 213\u2013228. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_13"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Ma, H., Schewe, K.D., Wang, Q.: An abstract model for service provision, search and composition. In: 2009 IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 95\u2013102, December 2009","DOI":"10.1109\/APSCC.2009.5394133"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-27340-2","volume-title":"Computer Aided Systems Theory - EUROCAST 2015","year":"2015","unstructured":"Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds.): Computer Aided Systems Theory - EUROCAST 2015. Lecture Notes in Computer Science, vol. 9520. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-27340-2"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-319-61030-6_18","volume-title":"Case-Based Reasoning Research and Development","author":"ST Nemes","year":"2017","unstructured":"Nemes, S.T., Buga, A.: Towards a case-based reasoning approach to dynamic adaptation for large-scale distributed systems. In: Aha, D.W., Lieber, J. (eds.) ICCBR 2017. LNCS (LNAI), vol. 10339, pp. 257\u2013271. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61030-6_18"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Nemes, S.T., Buga, A.: Towards modeling adaptation services for large-scale distributed systems with abstract state machines. In: Proceedings of the Seventh International Symposium on Business Modeling and Software Design, BMSD, vol. 1, pp. 193\u2013198. INSTICC, SciTePress (2017)","DOI":"10.5220\/0006528901930198"},{"key":"11_CR20","unstructured":"N\u00e9meth, Z.N., Sunderam, V.: A formal framework for defining grid systems. In: 2002 14th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing, p. 202 (2002). http:\/\/dblp.uni-trier.de\/rec\/bibtex\/conf\/ccgrid\/NemethS02"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-22760-8_1","volume-title":"Towards a Service-Based Internet. ServiceWave 2010 Workshops","author":"D Petcu","year":"2011","unstructured":"Petcu, D., Cr\u0103ciun, C., Neagul, M., Panica, S., Di Martino, B., Venticinque, S., Rak, M., Aversa, R.: Architecturing a sky computing platform. In: Cezon, M., Wolfsthal, Y. (eds.) ServiceWave 2010. LNCS, vol. 6569, pp. 1\u201313. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22760-8_1"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74781-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,13]],"date-time":"2022-08-13T19:19:25Z","timestamp":1660418365000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74781-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747804","9783319747811"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74781-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}