{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:36Z","timestamp":1776333516885,"version":"3.51.2"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227737","type":"print"},{"value":"9783032227744","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22774-4_11","type":"book-chapter","created":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:18:55Z","timestamp":1776331135000},"page":"202-222","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Don\u2019t go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-8236-1617","authenticated-orcid":false,"given":"Valentim","family":"Rom\u00e3o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0806-8849","authenticated-orcid":false,"given":"Rafael","family":"Soares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0313-6590","authenticated-orcid":false,"given":"Lu\u00eds","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4205-2189","authenticated-orcid":false,"given":"Vasco","family":"Manquinho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,17]]},"reference":[{"key":"11_CR1","unstructured":"Jepsen consistency models. https:\/\/jepsen.io\/consistency. Accessed: 24\/12\/2022."},{"key":"11_CR2","unstructured":"Atul Adya, Barbara Liskov, and Patrick O\u2019Neil. Generalized isolation level definitions. In ICDE, San Diego (CA), USA, February 2000."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Deepthi Akkoorath, Alejandro Tomsic, Manuel Bravo, Zhongmiao Li, Tyler Crain, Annette Bieniusa, Nuno Pregui\u00e7a, and Marc Shapiro. Cure: Strong semantics meets high availability and low latency. In ICDCS, pages 405\u2013414, Nara, Japan, June 2016.","DOI":"10.1109\/ICDCS.2016.98"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Jo\u00e3o Almeida and Ant\u00f3nio Silva. Monolith migration complexity tuning through the application of microservices patterns. In ECSA, L\u2019Aquila, Italy, September 2020.","DOI":"10.1007\/978-3-030-58923-3_3"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Nuha Alshuqayran, Nour Ali, and Roger Evans. A systematic mapping study in microservice architecture. In SOCA, Macau, China, 2016.","DOI":"10.1109\/SOCA.2016.15"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Peter Bailis, Aaron Davidson, Alan Fekete, Ali Ghodsi, Joseph Hellerstein, and Ion Stoica. Highly available transactions: Virtues and limitations. In VLDB, volume\u00a07, page 181\u2013192, Trento, Italy, November 2013.","DOI":"10.14778\/2732232.2732237"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Hal Berenson, Phil Bernstein, Jim Gray, Jim Melton, Elizabeth O\u2019Neil, and Patrick O\u2019Neil. A critique of ANSI SQL isolation levels. In SIGMOD, page 1\u201310, San Jose (CA), USA, May 1995.","DOI":"10.1145\/568271.223785"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada, Constantin Enea, and Akash Lal. MonkeyDB: Effectively testing correctness under weak isolation levels. In OOPSLA, Chicago (IL), USA, October 2021.","DOI":"10.1145\/3485546"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Miguel Brito, J\u00e1come Cunha, and Jo\u00e3o Saraiva. Identification of microservices from monolithic applications through topic modelling. In SAC, page 1409\u20131418, Virtual Event, Republic of Korea, March 2021.","DOI":"10.1145\/3412841.3442016"},{"key":"11_CR10","unstructured":"Phil Cal\u00e7ado. Building products at SoundCloud \u2014 Part I: Dealing with the monolith. https:\/\/developers.soundcloud.com\/blog\/building-products-at-soundcloud-part-1-dealing-with-the-monolith. Accessed: 14\/12\/2023."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Leonardo De\u00a0Moura and Nikolaj Bj\u00f8rner. Z3: An efficient SMT solver. In TACAS, TACAS\u201908, Budapest, Hungary, April 2008.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Djellel Difallah, Andrew Pavlo, Carlo Curino, and Philippe Cudre-Mauroux. OLTP-Bench: An extensible testbed for benchmarking relational databases. In VLDB, page 277\u2013288, Trento, Italy, December 2013.","DOI":"10.14778\/2732240.2732246"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Alan Fekete, Dimitrios Liarokapis, Elizabeth O\u2019Neil, Patrick O\u2019Neil, and Dennis Shasha. Making snapshot isolation serializable. ACM Trans. Database Syst., 30(2):492\u2013528, jun 2005.","DOI":"10.1145\/1071610.1071615"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Gianluca Filippone, Nadeem Qaisar\u00a0Mehmood, Marco Autili, Fabrizio Rossi, and Massimo Tivoli. From monolithic to microservice architecture: an automated approach based on graph clustering and combinatorial optimization. In ICSA, pages 47\u201357, L\u2019Aquila, Italy, 2023.","DOI":"10.1109\/ICSA56044.2023.00013"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Jonas Fritzsch, Justus Bogner, Stefan Wagner, and Alfred Zimmermann. Microservices migration in industry: Intentions, strategies, and challenges. In ICSME, pages 481\u2013490, Cleveland (OH), USA, 2019.","DOI":"10.1109\/ICSME.2019.00081"},{"key":"11_CR16","unstructured":"Yu\u00a0Gan and Christina Delimitrou. The architectural implications of cloud microservices. IEEE Computer Architecture Letters, PP:1\u20131, 05 2018."},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Hector Garcia-Molina and Kenneth Salem. Sagas. In SIGMOD, page 249\u2013259, San Francisco (CA), USA, December 1987.","DOI":"10.1145\/38714.38742"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Marijn Heule, Oliver Kullmann, Siert Wieringa, and Armin Biere. Cube and conquer: Guiding CDCL SAT solvers by lookaheads. In HVC, Haifa, Israel, 2011. Springer.","DOI":"10.1007\/978-3-642-34188-5_8"},{"key":"11_CR19","unstructured":"Jeremy Hillpot. 4 microservices examples: Amazon, Netflix, Uber, and Etsy. https:\/\/blog.dreamfactory.com\/microservices-examples\/. Accessed: 12\/12\/2023."},{"key":"11_CR20","unstructured":"Steven Ihde and Karan Parikh. From a monolith to microservices + REST: the evolution of LinkedIn\u2019s service architecture. https:\/\/www.infoq.com\/presentations\/linkedin-microservices-urn\/. Accessed: 14\/12\/2023."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Pooyan Jamshidi, Claus Pahl, Nabor Mendon\u00e7a, James Lewis, and Stefan Tilkov. Microservices: The journey so far and challenges ahead. IEEE Software, 35:24\u201335, 05 2018.","DOI":"10.1109\/MS.2018.2141039"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Wuxia Jin, Ting Liu, Qinghua Zheng, Di\u00a0Cui, and Yuanfang Cai. Functionality-oriented microservice extraction based on execution trace clustering. In ICWS, pages 211\u2013218, San Francisco (CA), USA, 2018.","DOI":"10.1109\/ICWS.2018.00034"},{"key":"11_CR23","unstructured":"Sudhir Jorwekar, Alan Fekete, Krithi Ramamritham, and S.\u00a0Sudarshan. Automating the detection of snapshot isolation anomalies. In Proceedings of the 33rd International Conference on Very Large Data Bases, page 1263\u20131274, Vienna, Austria, 2007. VLDB Endowment."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Anup Kalia, Jin Xiao, Rahul Krishna, Saurabh Sinha, Maja Vukovic, and Debasish Banerjee. Mono2micro: A practical and effective tool for decomposing monolithic java applications to microservices. In ESEC\/FSE, page 1214\u20131224, Athens, Greece, August 2021.","DOI":"10.1145\/3468264.3473915"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Miika Kalske, Niko M\u00e4kitalo, and Tommi Mikkonen. Challenges when moving from monolith to microservice architecture. In ICWE, pages 32\u201347, Rome, Italy, 02 2017.","DOI":"10.1007\/978-3-319-74433-9_3"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Tim Kraska, Martin Hentschel, Gustavo Alonso, and Donald Kossmann. Consistency rationing in the cloud: Pay only when it matters. Proc. VLDB Endow., 2(1):253\u2013264, August 2009.","DOI":"10.14778\/1687627.1687657"},{"key":"11_CR27","unstructured":"Tony Mauro. Adopting microservices at Netflix: Lessons for architectural design. https:\/\/www.nginx.com\/blog\/microservices-at-netflix-architectural-best-practices\/. Accessed: 14\/12\/2023."},{"key":"11_CR28","unstructured":"Kartik Nagar and Suresh Jagannathan. Automated detection of serializability violations under weak consistency. In CONCUR, Beijing, China, September 2018."},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Lu\u00eds Nunes, Nuno Santos, and Ant\u00f3nio Silva. From a monolith to a microservices architecture: An approach based on transactional contexts. In ECSA, page 37\u201352, Paris, France, September 2019. Springer-Verlag.","DOI":"10.1007\/978-3-030-29983-5_3"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan. Clotho: Directed test generation for weakly consistent database systems. In OOPSLA, Athens, Greece, October 2019.","DOI":"10.1145\/3360543"},{"key":"11_CR31","unstructured":"Chris Richardson. Microservices Patterns: With examples in Java. November 2018."},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"Nuno Santos and Ant\u00f3nio Silva. A complexity metric for microservices architecture migration. In ICSA, Salvador, Brazil, March 2020.","DOI":"10.1109\/ICSA47634.2020.00024"},{"key":"11_CR33","doi-asserted-by":"crossref","unstructured":"Anfel Selmadji, Abdelhak-Djamel Seriai, Hinde\u00a0Lilia Bouziane, Rahina Oumarou\u00a0Mahamane, Pascal Zaragoza, and Christophe Dony. From monolithic architecture style to microservice one based on a semi-automatic approach. In ICSA, pages 157\u2013168, Salvador, Brazil, 2020.","DOI":"10.1109\/ICSA47634.2020.00023"},{"key":"11_CR34","unstructured":"Ruoyu Su, Xiaozhou Li, and Davide Taibi. Back to the future: From microservice to monolith. In Microservices, 2023."},{"key":"11_CR35","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. Cobra: Making transactional key-value stores verifiably serializable. In OSDI, Virtual Event, November 2020."},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Douglas Terry, Vijayan Prabhakaran, Ramakrishna Kotla, Mahesh Balakrishnan, Marcos Aguilera, and Hussam Abu-Libdeh. Consistency-based service level agreements for cloud storage. In SOSP \u201913, November 2013.","DOI":"10.1145\/2517349.2522731"},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"Johannes Thones. Microservices. IEEE Software, 32(1):116, January 2015.","DOI":"10.1109\/MS.2015.11"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"Pascal Zaragoza, Abdelhak-Djamel Seriai, Abderrahmane Seriai, Anas Shatnawi, and Mustapha Derras. Leveraging the layered architecture for microservice recovery. In ICSA, pages 135\u2013145, Honolulu (HI), USA, 2022.","DOI":"10.1109\/ICSA53651.2022.00021"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Yukun Zhang, Bo\u00a0Liu, Liyun Dai, Kang Chen, and Xuelian Cao. Automated microservice identification in legacy systems with functional and non-functional metrics. In ICSA, pages 135\u2013145, Salvador, Brazil, 2020.","DOI":"10.1109\/ICSA47634.2020.00021"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22774-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:19:23Z","timestamp":1776331163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22774-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227737","9783032227744"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22774-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}