{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T14:14:25Z","timestamp":1740147265222,"version":"3.37.3"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T00:00:00Z","timestamp":1657584000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T00:00:00Z","timestamp":1657584000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007514","name":"Universit\u00e0 di Pisa","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007514","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2022,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The management of modern enterprise applications is automated by coordinating the deployment, configuration, enactment, and termination of their components. Choosing among different candidate implementations for a specified application component requires such implementations to conform to the specified management behaviour. This holds especially if we wish to ensure that the overall application management can continue as planned, or that no additional (potentially undesired) management activity gets enabled. To this end, we introduce a formal framework for testing \u201cmanagement conformance\u201d, i.e., to test whether a candidate implementation can be managed according to the management protocol specifying the allowed management for a component. We also illustrate how our framework enables to run four different conformance tests, each providing a different trade-off between implementation freedom and guarantees on the overall application management. We formally prove that testing management conformance with constraints reducing implementation freedom results in preserving all already allowed management activities when implementing a specification by choosing a conforming implementation and that no additional (potentially undesired) management activity gets enabled. Finally, we assess our framework by means of a prototype implementation and its use in an experimental evaluation.<\/jats:p>","DOI":"10.1007\/s11761-022-00341-9","type":"journal-article","created":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T12:06:57Z","timestamp":1657714017000},"page":"209-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Compositional testing of management conformance for multi-component enterprise applications"],"prefix":"10.1007","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2435-3543","authenticated-orcid":false,"given":"Jacopo","family":"Soldani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Luthmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Gottwald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,7,12]]},"reference":[{"key":"341_CR1","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 et al (2014) Aeolus: a component model for the cloud. Inf. Comput. 239:100\u2013121. https:\/\/doi.org\/10.1016\/j.ic.2014.11.002","journal-title":"Inf. Comput."},{"issue":"11","key":"341_CR2","doi-asserted-by":"publisher","first-page":"2061","DOI":"10.1002\/spe.2625","volume":"48","author":"A Brogi","year":"2018","unstructured":"Brogi A et al (2018) Tosker: a synergy between tosca and docker for orchestrating multicomponent applications. Softw Pract Exp 48(11):2061\u20132079. https:\/\/doi.org\/10.1002\/spe.2625","journal-title":"Softw Pract Exp"},{"key":"341_CR3","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1016\/j.jss.2015.09.020","volume":"122","author":"F Dur\u00e1n","year":"2016","unstructured":"Dur\u00e1n F, Sala\u00fcn G (2016) Robust and reliable reconfiguration of cloud applications. J Syst Softw 122:524\u2013537. https:\/\/doi.org\/10.1016\/j.jss.2015.09.020","journal-title":"J Syst Softw"},{"key":"341_CR4","doi-asserted-by":"publisher","unstructured":"Binz T, et\u00a0al. (2012) Formalizing the cloud through enterprise topology graphs. In: IEEE CLOUD 2012, pp. 742\u2013749. https:\/\/doi.org\/10.1109\/CLOUD.2012.143. IEEE","DOI":"10.1109\/CLOUD.2012.143"},{"key":"341_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.jss.2018.02.005","volume":"139","author":"A Brogi","year":"2018","unstructured":"Brogi A et al (2018) Fault-aware management protocols for multi-component applications. J Syst Softw 139:189\u2013210. https:\/\/doi.org\/10.1016\/j.jss.2018.02.005","journal-title":"J Syst Softw"},{"key":"341_CR6","doi-asserted-by":"publisher","unstructured":"Dragoni N, et\u00a0al. (2017) Microservices: Yesterday, today, and tomorrow. In: Present and Ulterior Software Engineering, pp. 195\u2013216. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-67425-4_12","DOI":"10.1007\/978-3-319-67425-4_12"},{"issue":"3","key":"341_CR7","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans J (1996) Test generation with inputs, outputs and repetitive quiescence. Softw.: Concepts Tools 17(3):103\u2013120","journal-title":"Softw.: Concepts Tools"},{"key":"341_CR8","unstructured":"OASIS: Topology and Orchestration Specification for Cloud Applications. https:\/\/docs.oasis-open.org\/tosca\/TOSCA\/v1.0\/TOSCA-v1.0.pdf (2013)"},{"key":"341_CR9","doi-asserted-by":"publisher","unstructured":"Soldani J, et\u00a0al. (2020) Testing conformance in multi-component enterprise application management. In: ESOCC 2020, pp. 3\u201318. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-44769-4_1","DOI":"10.1007\/978-3-030-44769-4_1"},{"key":"341_CR10","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.scico.2015.09.004","volume":"115\u2013116","author":"A Brogi","year":"2016","unstructured":"Brogi A, Soldani J (2016) Finding available services in tosca-compliant clouds. Sci Comput Program 115\u2013116:177\u2013198. https:\/\/doi.org\/10.1016\/j.scico.2015.09.004","journal-title":"Sci Comput Program"},{"key":"341_CR11","doi-asserted-by":"publisher","unstructured":"Breitenb\u00fccher U, et\u00a0al. (2012) Vino4tosca: A visual notation for application topologies based on tosca. In: OTM 2012, pp. 416\u2013424. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-33606-5_25","DOI":"10.1007\/978-3-642-33606-5_25"},{"key":"341_CR12","doi-asserted-by":"publisher","unstructured":"Luthmann L, et\u00a0al. (2016) Compositionality, decompositionality and refinement in input\/output conformance testing. In: FACS 2016, pp. 54\u201372. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-319-57666-4_5","DOI":"10.1007\/978-3-319-57666-4_5"},{"key":"341_CR13","doi-asserted-by":"publisher","unstructured":"van\u00a0der Bijl M, et\u00a0al. (2004) Compositional Testing with ioco. In: FATES 2003, pp. 86\u2013100. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-24617-6_7","DOI":"10.1007\/978-3-540-24617-6_7"},{"key":"341_CR14","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.scico.2017.06.001","volume":"162","author":"F Bonchi","year":"2018","unstructured":"Bonchi F et al (2018) Simulation-based matching of cloud applications. Sci Comput Program 162:110\u2013131. https:\/\/doi.org\/10.1016\/j.scico.2017.06.001","journal-title":"Sci Comput Program"},{"issue":"3\u20134","key":"341_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.3233\/FI-2009-133","volume":"94","author":"F Bonchi","year":"2009","unstructured":"Bonchi F et al (2009) A net-based approach to web services publication and replaceability. Fundam Inform 94(3\u20134):305\u2013330","journal-title":"Fundam Inform"},{"issue":"5","key":"341_CR16","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1538917.1538920","volume":"31","author":"G Castagna","year":"2009","unstructured":"Castagna G, Gesbert N, Padovani L (2009) A theory of contracts for web services. ACM Trans Program Lang Syst 31(5):19\u201311961. https:\/\/doi.org\/10.1145\/1538917.1538920","journal-title":"ACM Trans Program Lang Syst"},{"key":"341_CR17","doi-asserted-by":"publisher","unstructured":"Cavallaro L, et\u00a0al. (2009) An automatic approach to enable replacement of conversational services. In: ICSOC-ServiceWave 2009, pp. 159\u2013174. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-10383-4_11","DOI":"10.1007\/978-3-642-10383-4_11"},{"issue":"4","key":"341_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s11761-013-0146-2","volume":"8","author":"C Heike","year":"2014","unstructured":"Heike C et al (2014) On expanding protocol conformance checking to exception handling. Serv Oriented Comput Appl 8(4):299\u2013322. https:\/\/doi.org\/10.1007\/s11761-013-0146-2","journal-title":"Serv Oriented Comput Appl"},{"key":"341_CR19","doi-asserted-by":"publisher","unstructured":"Alsaig A, et\u00a0al. (2019) Declarative Approach to Model Checking for Context-Aware Applications. In: ICCASA-ICTCC 2019, pp. 3\u201310. Springer, Cham. https:\/\/doi.org\/10.1007\/978-3-030-34365-1_1","DOI":"10.1007\/978-3-030-34365-1_1"},{"issue":"4","key":"341_CR20","doi-asserted-by":"publisher","first-page":"1103","DOI":"10.1007\/s10817-018-9486-0","volume":"63","author":"BK Aichernig","year":"2019","unstructured":"Aichernig BK, Tappler M (2019) Efficient Active Automata Learning via Mutation Testing. J Autom Reason 63(4):1103\u20131134. https:\/\/doi.org\/10.1007\/s10817-018-9486-0","journal-title":"J Autom Reason"},{"key":"341_CR21","unstructured":"Zazworka N (2010) Process Conformance Testing: A Methodology to Identify and Understand Process Violations in Enactment of Software Processes. Dissertation, University of Maryland"},{"key":"341_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.scico.2018.09.008","volume":"172","author":"L Luthmann","year":"2019","unstructured":"Luthmann L et al (2019) Unifying modal interface theories and compositional input\/output conformance testing. Sci Comput Program 172:27\u201347. https:\/\/doi.org\/10.1016\/j.scico.2018.09.008","journal-title":"Sci Comput Program"},{"issue":"6","key":"341_CR23","doi-asserted-by":"publisher","first-page":"1131","DOI":"10.1016\/j.jlamp.2016.09.007","volume":"85","author":"H Beohar","year":"2016","unstructured":"Beohar H, Mousavi MR (2016) Input-output conformance testing for software product lines. J Log Algebr Meth Program 85(6):1131\u20131153. https:\/\/doi.org\/10.1016\/j.jlamp.2016.09.007","journal-title":"J Log Algebr Meth Program"},{"issue":"2","key":"341_CR24","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/2984641","volume":"16","author":"F Bujtor","year":"2016","unstructured":"Bujtor F et al (2016) Testing preorders for dmts: Deadlock- and the new deadlock-\/divergence testing. ACM Trans Embed Comput Syst 16(2):41\u201314128. https:\/\/doi.org\/10.1145\/2984641","journal-title":"ACM Trans Embed Comput Syst"},{"key":"341_CR25","doi-asserted-by":"publisher","unstructured":"Luthmann L, et\u00a0al. (2015) Towards an i\/o conformance testing theory for software product lines based on modal interface automata. In: FMSPLE 2015. EPTCS, vol. 182, pp. 1\u201313. https:\/\/doi.org\/10.4204\/EPTCS.182.1","DOI":"10.4204\/EPTCS.182.1"},{"key":"341_CR26","doi-asserted-by":"publisher","unstructured":"Gregorio-Rodr\u00edguez C, et\u00a0al. (2013) Input-output conformance simulation (iocos) for model based testing. In: FMOODS FORTE 2013, pp. 114\u2013129. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-38592-6_9","DOI":"10.1007\/978-3-642-38592-6_9"},{"key":"341_CR27","doi-asserted-by":"publisher","unstructured":"Veanes M, Bj\u00f8rner N (2009) Input-output model programs. In: ICTAC 2009, pp. 322\u2013335. Springer, Berlin Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-03466-4_21","DOI":"10.1007\/978-3-642-03466-4_21"},{"key":"341_CR28","doi-asserted-by":"publisher","unstructured":"Alur R, et\u00a0al. (1998) Alternating refinement relations. In: CONCUR 1998, pp. 163\u2013178. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/BFb0055622","DOI":"10.1007\/BFb0055622"},{"key":"341_CR29","doi-asserted-by":"publisher","unstructured":"Briones L, Brinksma E (2004) A test generation framework for quiescent real-time systems. In: FATES 2004, pp. 64\u201378. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-31848-4_5","DOI":"10.1007\/978-3-540-31848-4_5"},{"key":"341_CR30","doi-asserted-by":"publisher","unstructured":"Hessel A, Larsen KG, Mikucionis M, Nielsen B, Pettersson P, Skou A (2008)Testing real-time systems using UPPAAL. In: Formal Methods and Testing, pp. 77\u2013117. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-78917-8_3","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"341_CR31","doi-asserted-by":"publisher","unstructured":"Krichen M, Tripakis S (2004)Black-box conformance testing for real-time systems. In: SPIN 2004, pp. 109\u2013126. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-24732-6_8","DOI":"10.1007\/978-3-540-24732-6_8"},{"key":"341_CR32","doi-asserted-by":"publisher","unstructured":"Larsen KG, et\u00a0al. (2004)Online testing of real-time systems using uppaal. In: FATES 2004, pp. 79\u201394. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-31848-4_6","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"341_CR33","doi-asserted-by":"publisher","unstructured":"Schmaltz J, Tretmans J (2008) On conformance testing for timed systems. In: FORMATS 2008, pp. 250\u2013264. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-540-85778-5_18","DOI":"10.1007\/978-3-540-85778-5_18"},{"key":"341_CR34","doi-asserted-by":"publisher","unstructured":"Soldani J, et al. (2022) Modelling and Analysing Replica- and Fault-Aware Management of Horizontally Scalable Applications. ACM Trans Internet Technol. https:\/\/doi.org\/10.1145\/3511302","DOI":"10.1145\/3511302"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-022-00341-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11761-022-00341-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-022-00341-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T13:12:54Z","timestamp":1661692374000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11761-022-00341-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,12]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["341"],"URL":"https:\/\/doi.org\/10.1007\/s11761-022-00341-9","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2022,7,12]]},"assertion":[{"value":"23 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors also do not have any conflict of interests relevant to content presented in this article. The authors have no relevant financial or non-financial interests to disclose, nor competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}