{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:08:51Z","timestamp":1766066931961,"version":"3.37.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030047702"},{"type":"electronic","value":"9783030047719"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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-030-04771-9_44","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T22:02:53Z","timestamp":1544047373000},"page":"589-595","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["The Aspect of Resilience in Microservices-Based Software Design"],"prefix":"10.1007","author":[{"given":"Vaidas","family":"Giedrimas","sequence":"first","affiliation":[]},{"given":"Samir","family":"Omanovic","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Alic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"44_CR1","unstructured":"Friedrichsen, U.: Patterns of resilience. https:\/\/www.slideshare.net\/ufried\/patterns-of-resilience . Accessed 23 Apr 2018"},{"key":"44_CR2","unstructured":"Friedrichsen, U.: The 7 quests of resilient software design. https:\/\/www.slideshare.net\/ufried\/the-7-quests-of-resilient-software-design . Accessed 23 Apr 2018"},{"key":"44_CR3","unstructured":"Monti, G.: Resilience Engineering #1: Robust Vs. Resilient (2011). http:\/\/www.activegarage.com\/resilience-engineering-1-robust-resilient . Accessed 20 Apr 2018"},{"key":"44_CR4","volume-title":"FACT SHEET: Resilience of Space Capabilities","author":"Department of Defense","year":"2015","unstructured":"Department of Defense: FACT SHEET: Resilience of Space Capabilities. National Security Space Strategy, Washington (2015)"},{"key":"44_CR5","volume-title":"Antifragile: Things That Gain from Disorder","author":"N Taleb","year":"2012","unstructured":"Taleb, N.: Antifragile: Things That Gain from Disorder. Random House, New York City (2012)"},{"key":"44_CR6","volume-title":"Patterns for Fault Tolerant Software","author":"R Hanmer","year":"2013","unstructured":"Hanmer, R.: Patterns for Fault Tolerant Software. Wiley, Hoboken (2013)"},{"key":"44_CR7","doi-asserted-by":"publisher","DOI":"10.1201\/EBK1439826966","volume-title":"Secure and Resilient Software Development","author":"MS Merkow","year":"2010","unstructured":"Merkow, M.S., Raghavan, L.: Secure and Resilient Software Development, 1st edn. Auerbach Publications, Boca Raton (2010)","edition":"1"},{"key":"44_CR8","unstructured":"Mackey, A.: Building Resilient Systems. https:\/\/gooroo.io\/GoorooTHINK\/Article\/16830\/Building-Resilient-Systems\/23368#.Wt2zeBuFPZ4 . Accessed 23 Apr 2018"},{"key":"44_CR9","unstructured":"Wasson, M.: Design patterns for microservices. https:\/\/azure.microsoft.com\/en-us\/blog\/design-patterns-for-microservices\/ . Accessed 23 Apr 2018"},{"issue":"1","key":"44_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2873052","volume":"49","author":"Hans H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 36 (2016). https:\/\/doi.org\/10.1145\/2873052 . Article no. 3","journal-title":"ACM Computing Surveys"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"Visser, E., Benaissa, Z., Tolmach, A.: Building program optimizers with rewriting strategies. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming (ICFP 1998), pp. 13\u201326. ACM, New York (1998). http:\/\/dx.doi.org\/10.1145\/289423.289425","DOI":"10.1145\/289423.289425"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Giedrimas, V., Omanovic, S., Grigorenko, P.: The evolution of automated component-based software development tools: from structural synthesis of programs to behavioral types. In: 2017 International Conference on Information Science and Communications Technologies (ICISCT), Tashkent, pp. 1\u20136 (2017)","DOI":"10.1109\/ICISCT.2017.8188570"},{"key":"44_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28183-5","volume-title":"Adapting Proofs-as-Programs: The Curry-Howard Protocol","author":"JH Poernomo","year":"2005","unstructured":"Poernomo, J.H., Crossley, J.N., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/0-387-28183-5"},{"key":"44_CR14","doi-asserted-by":"publisher","DOI":"10.13052\/rp-9788793519817","volume-title":"Behavioural Types: From Theory to Tools","year":"2017","unstructured":"Gay, S., Ravara, A. (eds.): Behavioural Types: From Theory to Tools. River Publishers, San Francisco (2017). https:\/\/doi.org\/10.13052\/rp-9788793519817"},{"issue":"12","key":"44_CR15","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/2699407","volume":"58","author":"P Wadler","year":"2015","unstructured":"Wadler, P.: Propositions as types. Commun. ACM 58(12), 75\u201384 (2015)","journal-title":"Commun. ACM"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Cazanescu, V.E.: Programming via rewriting. In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2010)","DOI":"10.1109\/SYNASC.2010.90"},{"issue":"12","key":"44_CR17","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10270-012-0236-1","volume":"12","author":"JL Fiadeiro","year":"2013","unstructured":"Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. Softw. Syst. Model. 12(12), 349\u2013367 (2013)","journal-title":"Softw. Syst. Model."},{"key":"44_CR18","unstructured":"Dragoni, N., et al.: Microservices: yesterday, today, and tomorrow (2017). https:\/\/arxiv.org\/abs\/1606.04036 . Accessed 28 Apr 2018"},{"key":"44_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-39570-8_8","volume-title":"Formal techniques for distributed objects, components, and systems","author":"L Cruz-Filipe","year":"2016","unstructured":"Cruz-Filipe, L., Montesi, F.: Choreographies in Practice. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 114\u2013123. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_8"},{"key":"44_CR20","doi-asserted-by":"crossref","unstructured":"Giaretta, A., Dragoni, N., Mazzara, M.: Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer. CoRR abs\/1709.05635 (2017)","DOI":"10.1007\/978-3-319-70578-1_16"},{"key":"44_CR21","unstructured":"Chor - choreography programming language. http:\/\/www.chor-lang.org . Accessed 25 Apr 2018"},{"key":"44_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-74781-1_15","volume-title":"Software Engineering and Formal Methods","author":"M Garriga","year":"2018","unstructured":"Garriga, M.: Towards a taxonomy of microservices architectures. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 203\u2013218. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-74781-1_15"},{"key":"44_CR23","first-page":"215","volume-title":"Building Microservices: Designing Fine-Grained Systems","author":"S Newman","year":"2015","unstructured":"Newman, S.: Building Microservices: Designing Fine-Grained Systems, 1st edn, pp. 215\u2013216. O\u2019Reilly Media, Newton (2015)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,16]],"date-time":"2020-11-16T22:29:27Z","timestamp":1605565767000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","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":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}