{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T22:57:21Z","timestamp":1781132241301,"version":"3.54.1"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032281869","type":"print"},{"value":"9783032281876","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-28187-6_15","type":"book-chapter","created":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T22:04:10Z","timestamp":1781129050000},"page":"256-275","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["AsmetaComp: A\u00a0Tool for\u00a0Runtime Contract Checking with\u00a0I\/O Abstract State Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9679-4551","authenticated-orcid":false,"given":"Silvia","family":"Bonfanti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4035-0131","authenticated-orcid":false,"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1400-1026","authenticated-orcid":false,"given":"Elvinia","family":"Riccobene","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,11]]},"reference":[{"key":"15_CR1","unstructured":"ASMETA (ASM mETAmodeling) toolset. https:\/\/asmeta.github.io\/"},{"key":"15_CR2","doi-asserted-by":"publisher","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004). https:\/\/doi.org\/10.1017\/S0960129504004153","DOI":"10.1017\/S0960129504004153"},{"key":"15_CR3","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Ferr\u00e8re, T., Henzinger, T.A., Nickovic, D., da Costa, A.O.: Information-flow interfaces. In: Johnsen, E.B., Wimmer, M. (eds.) Fundamental Approaches to Software Engineering. FASE 2022. LNCS, vol. 13241, pp. 3\u201322. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99429-7_1","DOI":"10.1007\/978-3-030-99429-7_1"},{"key":"15_CR4","doi-asserted-by":"publisher","unstructured":"Basile, D., ter Beek, M.H.: A runtime environment for contract automata. In: Chechik, M., Katoen, J.P., Leucker, M. (eds.) Formal Methods. FM 2023. LNCS, vol. 14000, pp. 550\u2013567. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-27481-7_31","DOI":"10.1007\/978-3-031-27481-7_31"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Basu, A., Combaz, J., Nguyen, T.H., Jaber, M., Sifakis, J., Bensalem, S., Bozga, M.: Rigorous component-based system design using the BIP framework . IEEE Software 28(03), 41\u201348 (2011). https:\/\/doi.org\/10.1109\/MS.2011.27, https:\/\/doi.ieeecomputersociety.org\/10.1109\/MS.2011.27","DOI":"10.1109\/MS.2011.27"},{"key":"15_CR6","doi-asserted-by":"publisher","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.P. (eds.) Formal Methods for Components and Objects. FMCO 2007. LNCS, vol. 5382, pp. 200\u2013225. Springer, Berlin, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"15_CR7","doi-asserted-by":"publisher","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends\u00ae Electron. Des. Autom. 12(2-3), 124\u2013400 (2018). https:\/\/doi.org\/10.1561\/1000000053, http:\/\/dx.doi.org\/10.1561\/1000000053","DOI":"10.1561\/1000000053"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Bicarregui, J., Fitzgerald, J., Larsen, P.G., Woodcock, J.: Industrial practice in formal methods: a review. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006: Formal Methods. FM 2006. LNCS, vol. 4156, pp. 182\u2013195. Springer, Berlin, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11813040_14","DOI":"10.1007\/11813040_14"},{"key":"15_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010 - Concurrency Theory, pp. 162\u2013176. Springer, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15375-4_12"},{"key":"15_CR10","doi-asserted-by":"publisher","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: ASMETA tool set for rigorous system design. In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds.) Formal Methods. FM 2024. LNCS, vol. 14934, pp. 492\u2013517. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_28","DOI":"10.1007\/978-3-031-71177-0_28"},{"key":"15_CR11","unstructured":"Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: Accompanying tool artifact for the paper \u201cAsmetaComp: a tool for Runtime Contract Checking with I\/O Abstract State Machines\u201d (2026). https:\/\/doi.org\/10.5281\/zenodo.18678488"},{"key":"15_CR12","unstructured":"Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: AsmetaComp: a Tool for Runtime Contract Checking with I\/O Abstract State Machines (2026). https:\/\/github.com\/asmeta\/asmeta_based_applications\/tree\/main\/MRM_CBD"},{"key":"15_CR13","doi-asserted-by":"publisher","unstructured":"Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: Compositional simulation of Abstract State Machines for safety critical systems. In: Tapia Tarifa, S.L., Proen\u00e7a, J. (eds.) Formal Aspects of Component Software. FACS 2022. LNCS, vol. 13712, pp. 3\u201319. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-20872-0_1","DOI":"10.1007\/978-3-031-20872-0_1"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: A compositional simulation framework for abstract state machine models of discrete event systems. Form. Aspects Comput. (2024)","DOI":"10.1145\/3652862"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-030-86044-8_2","volume-title":"Software Architecture","author":"S Bonfanti","year":"2021","unstructured":"Bonfanti, S., Riccobene, E., Scandurra, P.: A runtime safety enforcement approach by monitoring and adaptation. In: Biffl, S., Navarro, E., L\u00f6we, W., Sirjani, M., Mirandola, R., Weyns, D. (eds.) Software Architecture, pp. 20\u201336. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86044-8_2"},{"key":"15_CR16","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Berlin, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-56641-1","DOI":"10.1007\/978-3-662-56641-1"},{"key":"15_CR17","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Cham (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Calinescu, R., Kikuchi, S.: Formal methods @ runtime. In: Calinescu, R., Jackson, E. (eds.) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. LNCS, vol. 6662, pp. 122\u2013135. Springer, Berlin, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21292-5_7","DOI":"10.1007\/978-3-642-21292-5_7"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-28869-2_8","volume-title":"Programming Languages and Systems","author":"T Chen","year":"2012","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A compositional specification theory for component behaviours. In: Seidl, H. (ed.) Programming Languages and Systems, pp. 148\u2013168. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28869-2_8"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Tonetta, S.: Contracts-refinement proof system for component-based embedded systems. Sci. Comput. Program. 97, 333\u2013348 (2015). https:\/\/doi.org\/10.1016\/j.scico.2014.06.011, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642314002901, object-Oriented Programming and Systems (OOPS 2010) Modeling and Analysis of Compositional Software (papers from EUROMICRO SEAA\u201912)","DOI":"10.1016\/j.scico.2014.06.011"},{"key":"15_CR21","unstructured":"Cimatti, Alessandro, E.G.H.P., Rozier, K.Y.: Software contracts meet system contracts (2026). https:\/\/www.dagstuhl.de\/26031, dagstuhl Seminar 26031, January 11\u201316, 2026"},{"key":"15_CR22","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"NASA Formal Methods","author":"D Cofer","year":"2012","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) NASA Formal Methods, pp. 126\u2013140. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_13"},{"key":"15_CR23","doi-asserted-by":"publisher","unstructured":"Ferrante, O., Passerone, R., Ferrari, A., Mangeruca, L., Sofronis, C.: BCl: a compositional contract language for embedded systems. In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp.\u00a01\u20136 (2014). https:\/\/doi.org\/10.1109\/ETFA.2014.7005353","DOI":"10.1109\/ETFA.2014.7005353"},{"key":"15_CR24","doi-asserted-by":"publisher","unstructured":"Gheri, L., Lanese, I., Sayers, N., Tuosto, E., Yoshida, N.: Design-by-contract for flexible multiparty session protocols. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022. LIPIcs, vol.\u00a0222, pp. 8:1\u20138:28. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2022.8","DOI":"10.4230\/LIPICS.ECOOP.2022.8"},{"key":"15_CR25","unstructured":"Gleirscher, M., Marmsoler, D.: Formal methods: oversold? Underused? A survey. arXiv preprint arXiv:1812.08815 (2018). https:\/\/arxiv.org\/abs\/1812.08815"},{"key":"15_CR26","doi-asserted-by":"publisher","unstructured":"Graf, S., Passerone, R., Quinton, S.: Contract-based reasoning for component systems with rich interactions. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds.) Embedded Systems Development: From Functional Models to Implementations, vol. 20, pp. 139\u2013154. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_8","DOI":"10.1007\/978-1-4614-3879-3_8"},{"key":"15_CR27","doi-asserted-by":"publisher","unstructured":"Gurov, D., H\u00e4hnle, R., Huisman, M., Reger, G., Lidstr\u00f6m, C.: Principles of contract languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12(11), 1\u201327 (2023). https:\/\/doi.org\/10.4230\/DagRep.12.11.1, https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/DagRep.12.11.1","DOI":"10.4230\/DagRep.12.11.1"},{"key":"15_CR28","doi-asserted-by":"publisher","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). https:\/\/doi.org\/10.1145\/363235.363259","DOI":"10.1145\/363235.363259"},{"key":"15_CR29","doi-asserted-by":"publisher","unstructured":"Incer, I., Benveniste, A., Sangiovanni-Vincentelli, A., Seshia, S.A.: From Interface Automata to Hypercontracts, pp. 477\u2013493. Springer Nature Switzerland, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-22337-2_23","DOI":"10.1007\/978-3-031-22337-2_23"},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Lidstr\u00f6m, C., Gurov, D.: Contract based embedded software design. In: David, C., Sun, M. (eds.) Theoretical Aspects of Software Engineering. TASE 2023. LNCS, vol 13931, pp. 77\u201394. Springer Nature Switzerland, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_5","DOI":"10.1007\/978-3-031-35257-7_5"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Lu, X., Tian, C., Gu, B., Yu, B., Chen, C., Duan, Z.: A contract-based framework for formal verification of embedded software. In: Bourke, T., Chen, L., Goharshady, A. (eds.) Dependable Software Engineering. Theories, Tools, and Applications. SETTA 2024. LNCS, vol. 15469, pp. 180\u2013196. Springer, Singapore (2025). https:\/\/doi.org\/10.1007\/978-981-96-0602-3_10","DOI":"10.1007\/978-981-96-0602-3_10"},{"key":"15_CR32","doi-asserted-by":"publisher","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25(10), 40\u201351 (1992). https:\/\/doi.org\/10.1109\/2.161279","DOI":"10.1109\/2.161279"},{"key":"15_CR33","doi-asserted-by":"publisher","unstructured":"Nandi, C., Monot, A., Oriol, M.: Stochastic contracts for runtime checking of component-based real-time systems. In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 111\u2013116. CBSE \u201915, Association for Computing Machinery, New York, NY, USA (2015). https:\/\/doi.org\/10.1145\/2737166.2737173","DOI":"10.1145\/2737166.2737173"},{"key":"15_CR34","doi-asserted-by":"publisher","unstructured":"Quinton, S., Graf, S.: Contract-based verification of hierarchical systems of components. In: Proceedings of the 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), pp. 377\u2013381. IEEE Computer Society (2008). https:\/\/doi.org\/10.1109\/SEFM.2008.28","DOI":"10.1109\/SEFM.2008.28"},{"key":"15_CR35","unstructured":"Stierand, I., et\u00a0al.: Using contract-based component specifications for virtual integration testing and architecture design. In: Proceedings of the DATE Conference (2010)"},{"key":"15_CR36","doi-asserted-by":"publisher","unstructured":"Taghavi, B., et al.: Modeling the composition of analysis components and automatic constraint checking for semantic soundness. J. Syst. Softw. 231, 112637 (2026). https:\/\/doi.org\/10.1016\/j.jss.2025.112637, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121225003061","DOI":"10.1016\/j.jss.2025.112637"},{"key":"15_CR37","doi-asserted-by":"publisher","unstructured":"Talcott, C.L., et al.: Composition of languages, models, and analyses. In: Heinrich, R., Dur\u00e1n, F., Talcott, C.L., Zschaler, S. (eds.) Composing Model-Based Analysis Tools, pp. 45\u201370. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81915-6_4","DOI":"10.1007\/978-3-030-81915-6_4"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28187-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T22:04:12Z","timestamp":1781129052000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28187-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032281869","9783032281876"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28187-6_15","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":"11 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Urbino","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":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"46","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2026\/forte","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}