{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:27:52Z","timestamp":1742916472909,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031510595"},{"type":"electronic","value":"9783031510601"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_7","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"169-198","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Integrated Timed Architectural Modeling\/Execution Language"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Bacchiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Bravetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saverio","family":"Giallorenzo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacopo","family":"Mauro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"7_CR1","unstructured":"Code repository for the email processing examples. https:\/\/github.com\/LBacchiani\/ABS-Simulations-Comparison"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-319-47677-3_15","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"E \u00c1brah\u00e1m","year":"2016","unstructured":"\u00c1brah\u00e1m, E., Corzilius, F., Johnsen, E.B., Kremer, G., Mauro, J.: Zephyrus2: on the fly deployment optimization using SMT and CP technologies. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 229\u2013245. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_15"},{"key":"7_CR3","unstructured":"ABS. ABS documentation. http:\/\/docs.abs-models.org\/"},{"key":"7_CR4","unstructured":"ABS. ABS toolchain. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642322000946"},{"key":"7_CR5","unstructured":"ABS. Core ABS. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220814000479"},{"key":"7_CR6","unstructured":"ABS. Deployment component in ABS. https:\/\/link.springer.com\/chapter\/10.1007\/978-3-642-25271-6_8"},{"key":"7_CR7","unstructured":"ABS. Real time ABS. https:\/\/link.springer.com\/article\/10.1007\/s11334-012-0184-5"},{"key":"7_CR8","unstructured":"Amazon, AWS auto scaling. https:\/\/aws.amazon.com\/autoscaling\/"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Bacchiani, L., Bravetti, M., Gabbrielli, M., Giallorenzo, S., Zavattaro, G., Zingaro, S.P.: Proactive-reactive global scaling, with analytics. In: Troya, J., Medjahed, B., Piattini, M., Yao, L., Fern\u00e1ndez, P., Ruiz-Cort\u00e9s, A. (eds.) Service-Oriented Computing - 20th International Conference, ICSOC 2022, Seville, Spain, 29 November\u20132 December 2022, Proceedings, vol. 13740 of Lecture Notes in Computer Science, pp. 237\u2013254. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-20984-0_16","DOI":"10.1007\/978-3-031-20984-0_16"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-030-78142-2_16","volume-title":"Coordination Models and Languages","author":"L Bacchiani","year":"2021","unstructured":"Bacchiani, L., Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., Zavattaro, G.: Microservice dynamic architecture-level deployment orchestration. In: Damiani, F., Dardha, O. (eds.) COORDINATION 2021. LNCS, vol. 12717, pp. 257\u2013275. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78142-2_16"},{"issue":"5","key":"7_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295\u2013310 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-319-67262-5_11","volume-title":"Service-Oriented and Cloud Computing","author":"N Bezirgiannis","year":"2017","unstructured":"Bezirgiannis, N., de Boer, F., de Gouw, S.: Human-in-the-loop simulation of cloud services. In: De Paoli, F., Schulte, S., Broch Johnsen, E. (eds.) ESOCC 2017. LNCS, vol. 10465, pp. 143\u2013158. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67262-5_11"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Binder, W., Hulaas, J., Camesi, A.: Continuous bytecode instruction counting for cpu consumption estimation. In: Third International Conference on the Quantitative Evaluation of Systems-(QEST 2006), pp. 19\u201330. IEEE (2006)","DOI":"10.1109\/QEST.2006.12"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1002\/spe.890","volume":"39","author":"W Binder","year":"2009","unstructured":"Binder, W., Hulaas, J., Moret, P., Villaz\u00f3n, A.: Platform-independent profiling in a virtual execution environment. Softw. Pract. Exp. 39(1), 47\u201379 (2009)","journal-title":"Softw. Pract. Exp."},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1016\/j.ic.2017.07.010","volume":"256","author":"M Bravetti","year":"2017","unstructured":"Bravetti, M., Carbone, M., Zavattaro, G.: Undecidability of asynchronous session subtyping. Inf. Comput. 256, 300\u2013320 (2017)","journal-title":"Inf. Comput."},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-030-16722-6_21","volume-title":"Fundamental Approaches to Software Engineering","author":"M Bravetti","year":"2019","unstructured":"Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., Zavattaro, G.: Optimal and automated deployment for microservices. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 351\u2013368. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_21"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-030-31646-4_8","volume-title":"Microservices","author":"M Bravetti","year":"2020","unstructured":"Bravetti, M., Giallorenzo, S., Mauro, J., Talevi, I., Zavattaro, G.: A formal approach to microservice architecture deployment. In: Microservices, pp. 183\u2013208. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-31646-4_8"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33826-7_11","volume-title":"Software Engineering and Formal Methods","author":"R Di Cosmo","year":"2012","unstructured":"Di Cosmo, R., Zacchiroli, S., Zavattaro, G.: Towards a formal component model for the cloud. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 156\u2013171. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33826-7_11"},{"issue":"1","key":"7_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3595376","volume":"56","author":"H Coullon","year":"2023","unstructured":"Coullon, H., Henrio, L., Loulergue, F., Robillard, S.: Component-based distributed software reconfiguration: a verification-oriented survey. ACM Comput. Surv. 56(1), 1\u201337 (2023)","journal-title":"ACM Comput. Surv."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.jlamp.2019.06.001","volume":"107","author":"S de Gouw","year":"2019","unstructured":"de Gouw, S., Mauro, J., Zavattaro, G.: On the modeling of optimal and automatized cloud application deployment. J. Logical Algebr. Methods Program. 107, 108\u2013135 (2019)","journal-title":"J. Logical Algebr. Methods Program."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.ic.2014.11.002","volume":"239","author":"R Di Cosmo","year":"2014","unstructured":"Di Cosmo, R., Mauro, J., Zacchiroli, S., Zavattaro, G.: Aeolus: a component model for the cloud. Inf. Comput. 239, 100\u2013121 (2014)","journal-title":"Inf. Comput."},{"key":"7_CR22","unstructured":"Docker. Docker compose documentation. https:\/\/docs.docker.com\/compose\/"},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-67425-4_12","volume-title":"Present and Ulterior Software Engineering","author":"N Dragoni","year":"2017","unstructured":"Dragoni, N., et al.: Microservices: yesterday, today, and tomorrow. In: Present and Ulterior Software Engineering, pp. 195\u2013216. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67425-4_12"},{"key":"7_CR24","unstructured":"Fromm, K.: Thinking Serverless! How New Approaches Address Modern Data Processing Needs. https:\/\/medium.com\/a-cloud-guru\/thinking-serverless-how-new-approaches-address-modern-data-processing-needs-part-1-af6a158a3af1"},{"issue":"1\u20132","key":"7_CR25","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theor. Comput. Sci. 274(1\u20132), 43\u201387 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR26","volume-title":"Kubernetes: Up and Running Dive into the Future of Infrastructure","author":"K Hightower","year":"2017","unstructured":"Hightower, K., Burns, B., Beda, J.: Kubernetes: Up and Running Dive into the Future of Infrastructure, 1st edn. O\u2019Reilly Media Inc., Sebastopol (2017)","edition":"1"},{"key":"7_CR27","volume-title":"Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation","author":"J Humble","year":"2010","unstructured":"Humble, J., Farley, D.: Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation. Addison-Wesley Professional, Boston (2010)"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Klimt, B., Yang, Y.: The enron corpus: a new dataset for email classification research. In: Machine Learning: ECML 2004, Berlin, pp. 217\u2013226 (2004)","DOI":"10.1007\/978-3-540-30115-8_22"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/978-3-540-74970-7_38","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N Nethercote","year":"2007","unstructured":"Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529\u2013543. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74970-7_38"},{"key":"7_CR30","unstructured":"OASIS. Topology and Orchestration Specification for Cloud Applications (TOSCA) Version 1.0. http:\/\/docs.oasis-open.org\/tosca\/TOSCA\/v1.0\/cs01\/TOSCA-v1.0-cs01.html. Accessed May 2020"},{"key":"7_CR31","unstructured":"Rawdat, A.: Testing the performance of nginx and nginx plus web servers. https:\/\/www.nginx.com\/blog\/testing-the-performance-of-nginx-and-nginx-plus-web-servers\/"},{"issue":"1","key":"7_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1342171.1342172","volume":"3","author":"B Urgaonkar","year":"2008","unstructured":"Urgaonkar, B., Shenoy, P., Chandra, A., Goyal, P., Wood, T.: Agile dynamic provisioning of multi-tier internet applications. ACM Trans. Auton. Adapt. Syst. (TAAS) 3(1), 1\u201339 (2008)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:03:14Z","timestamp":1718373794000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}