{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:21:42Z","timestamp":1775874102400,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T00:00:00Z","timestamp":1602806400000},"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":[[2020,10,18]]},"DOI":"10.1145\/3365438.3410939","type":"proceedings-article","created":{"date-parts":[[2021,1,19]],"date-time":"2021-01-19T16:09:22Z","timestamp":1611072562000},"page":"285-296","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development"],"prefix":"10.1145","author":[{"given":"Majid","family":"Babaei","sequence":"first","affiliation":[{"name":"Queen's University, Canada"}]},{"given":"Mojtaba","family":"Bagherzadeh","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591134"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/259380.259425"},{"key":"e_1_3_2_1_3_1","unstructured":"Gul A. Agha. 1990. ACTORS - a model of concurrent computation in distributed systems. MIT Press.  Gul A. Agha. 1990. ACTORS - a model of concurrent computation in distributed systems. MIT Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3237009.3237015"},{"key":"e_1_3_2_1_5_1","volume-title":"Retrieved","author":"Babaei Majid","year":"2020"},{"key":"e_1_3_2_1_6_1","unstructured":"Mojtaba Bagherzadeh. 2019. Model-level debugging in the context of the model driven development. PhD dissertation. Kingston Ontario Canada.  Mojtaba Bagherzadeh. 2019. Model-level debugging in the context of the model driven development. PhD dissertation. Kingston Ontario Canada."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106278"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183473"},{"key":"e_1_3_2_1_9_1","volume-title":"Adaptive Failover for Real-Time Middleware with Passive Replication. In 15th IEEE Symposium on Real-Time and Embedded Technology and Applications. IEEE, 118--127","author":"Balasubramanian Jaiganesh","year":"2009"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2017.2731984"},{"key":"e_1_3_2_1_11_1","volume-title":"Karma: Scalable Deterministic Record-Replay. In In International Conference on Supercomputing.","author":"Basu Arkaprava"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909480"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122848"},{"key":"e_1_3_2_1_15_1","unstructured":"Jonas Bon\u00e9r Dave Farley Roland Kuhn and Martin Thompson. 2014. The Reactive Manifesto. https:\/\/www.reactivemanifesto.org\/. Last accessed: May 18 2020.  Jonas Bon\u00e9r Dave Farley Roland Kuhn and Martin Thompson. 2014. The Reactive Manifesto. https:\/\/www.reactivemanifesto.org\/. Last accessed: May 18 2020."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.11.025"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0598-5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038932"},{"key":"e_1_3_2_1_19_1","unstructured":"Yunji Chen Tianshi Chen and Weiwu Hu. 2009. Global Clock Physical Time Order and Pending Period Analysis in Multiprocessor Systems. CoRR abs\/0903.4961 (2009). arXiv:0903.4961 http:\/\/arxiv.org\/abs\/0903.4961  Yunji Chen Tianshi Chen and Weiwu Hu. 2009. Global Clock Physical Time Order and Pending Period Analysis in Multiprocessor Systems. CoRR abs\/0903.4961 (2009). arXiv:0903.4961 http:\/\/arxiv.org\/abs\/0903.4961"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2790077"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_11"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium -","volume":"1","author":"Christiaens Mark","year":"2001"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2688447.2688450"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976767.2976781"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3001886.3001890"},{"key":"e_1_3_2_1_26_1","volume-title":"Ottawa Linux Symposium (OLS)","volume":"2006","author":"Desnoyers Mathieu","year":"2006"},{"key":"e_1_3_2_1_27_1","unstructured":"Eclipse Foundation. 2020. Eclipse eTrice Real-Time Modeling Tools. https:\/\/www.eclipse.org\/etrice.  Eclipse Foundation. 2020. Eclipse eTrice Real-Time Modeling Tools. https:\/\/www.eclipse.org\/etrice."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2008.4579760"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0102-z"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.542297"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_32_1","volume-title":"Retrieved","author":"Foundation Eclipse","year":"2016"},{"key":"e_1_3_2_1_33_1","unstructured":"Eclipse Foundation. 2020. Eclipse Modeling Framework (EMF). https:\/\/eclipse.org\/modeling\/emf.  Eclipse Foundation. 2020. Eclipse Modeling Framework (EMF). https:\/\/eclipse.org\/modeling\/emf."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.383988"},{"key":"e_1_3_2_1_35_1","volume-title":"Rhapsody: A Complete Life-Cycle Model-Based Development System. In International Conference on Integrated Formal Methods. Springer, 1--10","author":"Gery Eran","year":"2002"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.05.005"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028758"},{"key":"e_1_3_2_1_38_1","volume-title":"Model-Level Debugging of Embedded Real-Time Systems. In 10th Int. Conference on Computer and Information Technology (CIT'10)","author":"Haberl Wolfgang","year":"2010"},{"key":"e_1_3_2_1_39_1","volume-title":"Retrieved","author":"HCL.","year":"2020"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_3_2_1_41_1","unstructured":"Nicolas Hili Mojtaba Bagherzadeh Karim Jahed and Juergen Dingel. 2020. A model-based architecture for interactive run-time monitoring. Software and Systems Modeling (2020) 1--23.  Nicolas Hili Mojtaba Bagherzadeh Karim Jahed and Juergen Dingel. 2020. A model-based architecture for interactive run-time monitoring. Software and Systems Modeling (2020) 1--23."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Fazilat Hojaji Tanja Mayerhofer Bahman Zamani Abdelwahab Hamou-Lhadj and Erwan Bousse. 2019. Model execution tracing: a systematic mapping study. Software & Systems Modeling (18 Feb 2019).  Fazilat Hojaji Tanja Mayerhofer Bahman Zamani Abdelwahab Hamou-Lhadj and Erwan Bousse. 2019. Model execution tracing: a systematic mapping study. Software & Systems Modeling (18 Feb 2019).","DOI":"10.1007\/s10270-019-00724-1"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_44_1","volume-title":"Retrieved","author":"IBM.","year":"2016"},{"key":"e_1_3_2_1_45_1","unstructured":"Padma Iyenghar Elke Pulvermuelle Clemens Westerkamp Michael Uelschen and Juergen Wuebbelmann. 2011. Model-Based Debugging of Embedded Software Systems. Gesellschaft Informatik (GI)-Softwaretechnik (SWT) (2011).  Padma Iyenghar Elke Pulvermuelle Clemens Westerkamp Michael Uelschen and Juergen Wuebbelmann. 2011. Model-Based Debugging of Embedded Software Systems. Gesellschaft Informatik (GI)-Softwaretechnik (SWT) (2011)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879031"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/3104068.3104074"},{"key":"e_1_3_2_1_49_1","unstructured":"Karim Jahed. 2019. Papyrus-RT Distribution. https:\/\/github.com\/kjahed\/papyrusrt-distribution. Retrieved: 2020-5-20.  Karim Jahed. 2019. Papyrus-RT Distribution. https:\/\/github.com\/kjahed\/papyrusrt-distribution. Retrieved: 2020-5-20."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281366.3281370"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69927-9_4"},{"key":"e_1_3_2_1_52_1","unstructured":"Oleksandra Kulankhina. 2016. A framework for rigorous development of distributed components: formalisation and tools. PhD theses. Universit\u00e9 C\u00f4te d'Azur. https:\/\/tel.archives-ouvertes.fr\/tel-01419298  Oleksandra Kulankhina. 2016. A framework for rigorous development of distributed components: formalisation and tools. PhD theses. Universit\u00e9 C\u00f4te d'Azur. https:\/\/tel.archives-ouvertes.fr\/tel-01419298"},{"key":"e_1_3_2_1_53_1","volume-title":"Principles of Distributed Systems, Marcos K","author":"Kulkarni Sandeep S."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3087801.3087818"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21759-4_10"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934885"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER.2014.6968739"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3378933"},{"key":"e_1_3_2_1_61_1","unstructured":"Jeff Magee and Jeff Kramer. 1999. State Models and Java Programs. Wiley.  Jeff Magee and Jeff Kramer. 1999. State Models and Java Programs. Wiley."},{"key":"e_1_3_2_1_62_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Marsha Chechik and Jean-Fran\u00e7ois Raskin (Eds.)","author":"Maiya Pallavi"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092733"},{"key":"e_1_3_2_1_64_1","unstructured":"Caitie McCaffrey. 2015. Building the Halo 4 Services with Orleans. Presentation at QCon London.  Caitie McCaffrey. 2015. Building the Halo 4 Services with Orleans. Presentation at QCon London."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Mark S. Miller E. Dean Tribble and Jonathan Shapiro. 2005. Concurrency Among Strangers: Progamming in E as Plan Coordination. In Trustworthy Global Computing Rocco De Nicola and Davide Sangiorgi (Eds.). 195--229.  Mark S. Miller E. Dean Tribble and Jonathan Shapiro. 2005. Concurrency Among Strangers: Progamming in E as Plan Coordination. In Trustworthy Global Computing Rocco De Nicola and Davide Sangiorgi (Eds.). 195--229.","DOI":"10.1007\/11580850_12"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/26.103043"},{"key":"e_1_3_2_1_67_1","volume-title":"Summer Simulation Multiconference","author":"Mustafiz Sadaf"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01901615"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0399-z"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.58235"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMPDP.1998.647184"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02277859"},{"key":"e_1_3_2_1_73_1","volume-title":"Languages, compilers, and tools for embedded systems","author":"Selic Bran"},{"key":"e_1_3_2_1_74_1","unstructured":"Bran Selic Garth Gullekson and Paul T Ward. 1994. Real-Time Object-Oriented Modeling. Vol. 2. John Wiley and Sons New York.  Bran Selic Garth Gullekson and Paul T Ward. 1994. Real-Time Object-Oriented Modeling. Vol. 2. John Wiley and Sons New York."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"crossref","unstructured":"Bran Selic and Objectime Limited. 1998. Using UML for modeling complex real-time systems.  Bran Selic and Objectime Limited. 1998. Using UML for modeling complex real-time systems.","DOI":"10.1007\/BFb0057795"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPDC.2013.25"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(92)90028-T"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103621.2103702"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824821"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050069"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358572"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213515"},{"key":"e_1_3_2_1_83_1","volume-title":"Retrieved","author":"The Object Management Group","year":"2017"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050065"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_7"},{"key":"e_1_3_2_1_86_1","unstructured":"UML2.5.1. 2017. UML2.5.1. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF. Retrieved June 5 2019.  UML2.5.1. 2017. UML2.5.1. https:\/\/www.omg.org\/spec\/UML\/2.5.1\/PDF. Retrieved June 5 2019."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"crossref","unstructured":"Michael von der Beeck. 2006. A Formal Semantics of UML-RT. In Model Driven Engineering Languages and Systems Oscar Nierstrasz Jon Whittle David Harel and Gianna Reggio (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 768--782.  Michael von der Beeck. 2006. A Formal Semantics of UML-RT. In Model Driven Engineering Languages and Systems Oscar Nierstrasz Jon Whittle David Harel and Gianna Reggio (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 768--782.","DOI":"10.1007\/11880240_53"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99626-4_38"}],"event":{"name":"MODELS '20: ACM\/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems","location":"Virtual Event Canada","acronym":"MODELS '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365438.3410939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:49Z","timestamp":1750268989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365438.3410939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,16]]},"references-count":86,"alternative-id":["10.1145\/3365438.3410939","10.1145\/3365438"],"URL":"https:\/\/doi.org\/10.1145\/3365438.3410939","relation":{},"subject":[],"published":{"date-parts":[[2020,10,16]]},"assertion":[{"value":"2020-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}