{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T16:42:25Z","timestamp":1776444145256,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442054","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:09:16Z","timestamp":1619154556000},"page":"1815-1822","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A small-step approach to multi-trace checking against interactions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5322-4337","authenticated-orcid":false,"given":"Erwan","family":"Mahe","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4943-7807","authenticated-orcid":false,"given":"Boutheina","family":"Bannour","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6865-5108","authenticated-orcid":false,"given":"Christophe","family":"Gaston","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2185-4051","authenticated-orcid":false,"given":"Arnault","family":"Lapitre","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8955-6835","authenticated-orcid":false,"given":"Pascale Le","family":"Gall","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"28th International Colloquium, ICALP","volume":"2076","author":"Alur R.","unstructured":"R. Alur, K. Etessami, and M. Yannakakis. 2001. Realizability and Verification of MSC Graphs. In Automata, Languages and Programming, 28th International Colloquium, ICALP, Vol. 2076. Springer, 797--808."},{"key":"e_1_3_2_1_2_1","volume-title":"Formal Passive Testing of Service-Oriented Systems. In IEEE International Conference on Services Computing, SCC. IEEE, 610--613","author":"Andr\u00e9s C.","unstructured":"C. Andr\u00e9s, M. Cambronero, and M. N\u00fa\u00f1ez. 2010. Formal Passive Testing of Service-Oriented Systems. In IEEE International Conference on Services Computing, SCC. IEEE, 610--613."},{"key":"e_1_3_2_1_3_1","volume-title":"18th Asia Pacific Software Engineering Conference, APSEC. IEEE, 219--226","author":"Bannour B.","unstructured":"B. Bannour, C. Gaston, and D. Servat. 2011. Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. In 18th Asia Pacific Software Engineering Conference, APSEC. IEEE, 219--226."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"A. Bauer and Y. Falcone. 2016. Decentralised LTL monitoring. Formal Methods Syst. Des. (2016) 46--93.","DOI":"10.1007\/s10703-016-0253-8"},{"key":"e_1_3_2_1_5_1","volume-title":"Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS","author":"Benharrat N.","unstructured":"N. Benharrat, C. Gaston, R. M. Hierons, A. Lapitre, and P. Le Gall. 2017. Constraint-Based Oracles for Timed Distributed Systems. In Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS, Vol. 10533. Springer, 276--292."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.4.243"},{"key":"e_1_3_2_1_7_1","volume-title":"Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST. IEEE, 279--288","author":"Dan H.","unstructured":"H. Dan and R. M. Hierons. 2011. Conformance Testing from Message Sequence Charts. In Fourth IEEE International Conference on Software Testing, Verification and Validation, ICST. IEEE, 279--288."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxt055"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J. P. Jouannaud. 1990. Handbook of Theoretical Computer Science (Vol. B). MIT Press Chapter Rewrite Systems 243--320.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-007-9054-1"},{"key":"e_1_3_2_1_11_1","unstructured":"ITU. [n. d.]. Message Sequence Chart (MSC). http\/\/www.itu.int\/rec\/T-REC-Z.120"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"UML Interactions Meet State Machines - An Institutional Approach. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO (LIPIcs), Vol. 72","volume":"15","author":"Knapp A.","year":"2017","unstructured":"A. Knapp and T. Mossakowski. 2017. UML Interactions Meet State Machines - An Institutional Approach. In 7th Conference on Algebra and Coalgebra in Computer Science, CALCO (LIPIcs), Vol. 72. Schloss Dagstuhl, 15:1--15:15.","journal-title":"Schloss Dagstuhl"},{"key":"e_1_3_2_1_13_1","volume-title":"Concurrency: the Works of Leslie Lamport","author":"Lamport L.","unstructured":"L. Lamport. 2019. Time, clocks, and the ordering of events in a distributed system. In Concurrency: the Works of Leslie Lamport, D. Malkhi (Ed.). ACM, 179--196."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231987"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 25th Symposium on Operating Systems Principles, SOSP. ACM, 378--393","author":"Mace J.","unstructured":"J. Mace, R. Roelke, and R. Fonseca. 2015. Pivot tracing: dynamic causal monitoring for distributed systems. In Proceedings of the 25th Symposium on Operating Systems Principles, SOSP. ACM, 378--393."},{"key":"e_1_3_2_1_16_1","volume-title":"Fundamental Approaches to Software Engineering - 23rd International Conference, FASE","author":"Mahe E.","unstructured":"E. Mahe, C. Gaston, and P. Le Gall. 2020. Revisiting Semantics of Interactions for Trace Validity Analysis. In Fundamental Approaches to Software Engineering - 23rd International Conference, FASE, Vol. 12076. Springer, 482--501."},{"key":"e_1_3_2_1_17_1","volume-title":"Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. In 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN. IEEE, 534--541","author":"Neves F.","unstructured":"F. Neves, N. Machado, and J. Pereira. 2018. Falcon: A Practical Log-Based Analysis Tool for Distributed Systems. In 48th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks, DSN. IEEE, 534--541."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM Symposium on Applied Computing, SAC. ACM, 1528--1535","author":"Nguyen H. N.","unstructured":"H. N. Nguyen, P. Poizat, and F. Za\u00efdi. 2012. Passive conformance testing of service choreographies. In Proceedings of the ACM Symposium on Applied Computing, SAC. ACM, 1528--1535."},{"key":"e_1_3_2_1_19_1","unstructured":"OMG. [n. d.]. Business Process Model and Notation (BPMN). http:\/\/www.bpmn.org"},{"key":"e_1_3_2_1_20_1","unstructured":"OMG. [n. d.]. Unified Modeling Language. http:\/\/www.uml.org"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 16th International Conference on World Wide Web, WWW. ACM, 973--982","author":"Qiu Z.","unstructured":"Z. Qiu, X. Zhao, C. Cai, and H. Yang. 2007. Towards the theoretical foundation of choreography. In Proceedings of the 16th International Conference on World Wide Web, WWW. ACM, 973--982."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"},{"key":"e_1_3_2_1_23_1","volume-title":"Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering, ICSE. IEEE, 418--427","author":"Sen K.","unstructured":"K. Sen, A. Vardhan, G. Agha, and G. Rosu. 2004. Efficient Decentralized Monitoring of Safety in Distributed Systems. In 26th International Conference on Software Engineering, ICSE. IEEE, 418--427."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","location":"Virtual Event Republic of Korea","acronym":"SAC '21","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442054","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":23,"alternative-id":["10.1145\/3412841.3442054","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442054","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}