{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:19Z","timestamp":1750307719067,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,19]],"date-time":"2009-07-19T00:00:00Z","timestamp":1247961600000},"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":[[2009,7,19]]},"DOI":"10.1145\/1639622.1639623","type":"proceedings-article","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T13:27:28Z","timestamp":1256650048000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Run-time conformance checking of mobile and distributed systems using executable models"],"prefix":"10.1145","author":[{"given":"Ahmad A.","family":"Saifan","sequence":"first","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Ernesto","family":"Posse","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, Ontario, Canada"}]}],"member":"320","published-online":{"date-parts":[[2009,7,19]]},"reference":[{"unstructured":"Python website. http:\/\/www.python.org\/.  Python website. http:\/\/www.python.org\/.","key":"e_1_3_2_1_1_1"},{"unstructured":"Aglets website 2002. http:\/\/www.trl.ibm.com\/aglets\/.  Aglets website 2002. http:\/\/www.trl.ibm.com\/aglets\/.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"crossref","unstructured":"M. Alberti F. Chesani M. Gavanelli E. Lamma P. Mello and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence 20(4--5) April 2006.  M. Alberti F. Chesani M. Gavanelli E. Lamma P. Mello and P. Torroni. Compliance verification of agent interaction: a logic-based tool. Applied Artificial Intelligence 20(4--5) April 2006.","key":"e_1_3_2_1_3_1","DOI":"10.1080\/08839510500479546"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/253228.253236"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1016\/j.entcs.2006.02.002"},{"volume-title":"3rd International Workshop on Scientific engineering of distributed Java applications (FIDJI'03)","year":"2003","author":"Delamaro M.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-540-30178-3_35"},{"doi-asserted-by":"crossref","unstructured":"V. K. Garg. Concurrent and Distributed Computing in Java. John Wiley&Sons 2004.   V. K. Garg. Concurrent and Distributed Computing in Java . John Wiley&Sons 2004.","key":"e_1_3_2_1_9_1","DOI":"10.1002\/0471721271"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/3916.3988"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/S1571-0661(04)80579-6"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"e_1_3_2_1_14_1","first-page":"51","volume-title":"7th International Workshop on Agent Oriented Software Engineering (AOSE'06)","author":"Kusek M.","year":"2006"},{"volume-title":"Addison-Wesley","year":"1998","author":"Lange D. B.","key":"e_1_3_2_1_15_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1109\/KIMAS.2007.369790"},{"volume-title":"2nd International Workshop on Formal Approaches to Agent-Based Systems (FAABS'02)","year":"2002","author":"Marche M.","key":"e_1_3_2_1_17_1"},{"volume-title":"University of Edinburgh","year":"1989","author":"Milner R.","key":"e_1_3_2_1_18_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.5555\/523983.828388"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1504\/IJAOSE.2008.020139"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1017\/S0269888906001020"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.5555\/975254"},{"volume-title":"9th International Workshop on Agent Oriented Software Engineering (AOSE'08)","year":"2008","author":"Padgham L.","key":"e_1_3_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/S0141-9331(01)00099-0"},{"unstructured":"E. Posse. Modelling and simulation of dynamic structure discrete-event systems. Ph.D. thesis School of Computer Science -- McGill University October 2008.   E. Posse. Modelling and simulation of dynamic structure discrete-event systems . Ph.D. thesis School of Computer Science -- McGill University October 2008.","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.5555\/998675.999446"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-540-30233-9_23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1016\/S0169-7552(96)00017-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1109\/CONIELECOMP.2007.66"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1504\/IJAOSE.2009.025319"},{"volume-title":"Estoril","year":"2008","author":"Zhang Z.","key":"e_1_3_2_1_31_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1109\/APSEC.2005.54"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ISSTA '09","name":"ISSTA '09: International Symposium on Software Testing and Analysis","location":"Chicago Illinois"},"container-title":["Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1639622.1639623","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1639622.1639623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:28Z","timestamp":1750253428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1639622.1639623"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,19]]},"references-count":32,"alternative-id":["10.1145\/1639622.1639623","10.1145\/1639622"],"URL":"https:\/\/doi.org\/10.1145\/1639622.1639623","relation":{},"subject":[],"published":{"date-parts":[[2009,7,19]]},"assertion":[{"value":"2009-07-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}