{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:32:12Z","timestamp":1750221132274,"version":"3.41.0"},"reference-count":60,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:00:00Z","timestamp":1551139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61772004, 61872145, and 61602177"],"award-info":[{"award-number":["61772004, 61872145, and 61602177"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003392","name":"Natural Science Foundation of Fujian province","doi-asserted-by":"crossref","award":["2018J01777 and 2018J01781"],"award-info":[{"award-number":["2018J01777 and 2018J01781"]}],"id":[{"id":"10.13039\/501100003392","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Science and Technology Commission of Shanghai Municipality Project","award":["18ZR1411600"],"award-info":[{"award-number":["18ZR1411600"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2019,4,30]]},"abstract":"<jats:p>In a mobile system, mobility refers to a change in position of a mobile object with respect to time and its reference point, whereas isolation means the isolation relationship between mobile objects under some scheduling policies. Inspired by event-based formal models and the ambient calculus, we first propose the two types of special events, entering and exiting an ambient, as movement events to model and analyze mobility. Based on mobility, we then introduce the notion of the isolation of mobile objects for ambients. To ensure the isolation, a priority policy needs to be used to schedule the movement of mobile objects. However, traditional scheduling policies focus on task scheduling and depend on the strong hypothesis: The scheduled tasks are independent\u2014that is, the scheduled tasks do not affect each other. In a practical mobile system, mobile objects and ambients interact with each other. It is difficult to separate a mobile system into independent tasks. We finally present an automatic approach for generating a priority scheduling policy without considering the preceding assumption. The approach can guarantee the isolation of the mobile objects for ambients in a mobile system. Experiments demonstrate these results.<\/jats:p>","DOI":"10.1145\/3306606","type":"journal-article","created":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T15:05:33Z","timestamp":1551193533000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Isolation Modeling and Analysis Based on Mobility"],"prefix":"10.1145","volume":"28","author":[{"given":"Jian-Min","family":"Jiang","sequence":"first","affiliation":[{"name":"Fujian Normal University, China and Chengdu University of Information Technology, Sichuan, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qin","family":"Li","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Hong","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ping","family":"Gong","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fujian, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,26]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055028"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990193"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0967-0661(93)92105-D"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843706"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.001"},{"key":"e_1_2_1_7_1","first-page":"3","article-title":"Circular causality in event structures","volume":"134","author":"Bartoletti Massimo","year":"2014","journal-title":"Fundam. Inf."},{"volume-title":"Proceedings of the International Conference on Object-Oriented and Internet-Based Technologies, Concepts, and Applications for a Networked World. Springer, 278--293","year":"2002","author":"Baumeister Hubert","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.26"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.004"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01221098"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2009.5164704"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.72"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199516"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/646790.759638"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63337"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2519"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2008.44"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622655.1622672"},{"volume-title":"The Java Language Specification","author":"Gosling James","key":"e_1_2_1_21_1"},{"key":"e_1_2_1_22_1","unstructured":"CPS Steering Group et al. 2008. Cyber-physical systems executive summary. CPS Summit 2008 (2008).  CPS Steering Group et al. 2008. Cyber-physical systems executive summary. CPS Summit 2008 (2008)."},{"volume-title":"Proceedings of the International Conference on Software: Theory and Practice. Citeseer, 377--384","year":"2000","author":"Guan Xudong","key":"e_1_2_1_23_1"},{"volume-title":"Proceedings of the Power and Energy Society General Meeting--Conversion and Delivery of Electrical Energy in the 21st Century. IEEE, 1--9.","author":"Ili\u0107 Marija D.","key":"e_1_2_1_24_1"},{"volume-title":"Kodaman","year":"2001","author":"Jernigan Jack D.","key":"e_1_2_1_25_1"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.81"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492248.2492267"},{"key":"e_1_2_1_28_1","first-page":"12","article-title":"Modeling and analyzing mixed communications in service-oriented trustworthy software. Sci","volume":"55","author":"Jiang Jianmin","year":"2012","journal-title":"Chin. Inf. Sci."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.28"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2783438"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2823353"},{"key":"e_1_2_1_32_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/JPROC.2012.2189792","article-title":"Cyber-physical systems: A perspective at the centennial","volume":"100","author":"Kim Kyoung-Dae","year":"2012","journal-title":"Proc. IEEE"},{"volume-title":"Proceedings of the International Conference on Conceptual Modeling. Springer, 147--158","year":"2002","author":"Kosiuczenko Piotr","key":"e_1_2_1_33_1"},{"volume-title":"Proceedings of the International Workshop on Agent-Oriented Software Engineering. Springer, 51--63","year":"2006","author":"Kusek Mario","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480615"},{"volume-title":"Proceedings of the IFIP TC6\/WG6 5th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques","author":"Langerak Rom","key":"e_1_2_1_36_1"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596981"},{"volume-title":"Retrieved","year":"2012","author":"Li Qiao","key":"e_1_2_1_38_1"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2011.2176520"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90027-U"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666824"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/565816.503280"},{"volume-title":"A Calculus of Communicating Systems","author":"Milner Robin","key":"e_1_2_1_44_1"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90180-N"},{"volume-title":"Deadline Scheduling for Real-time Systems\u0142EDF and Related Algorithms","author":"Stankovic John A.","key":"e_1_2_1_49_1"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795202"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2331147.2331167"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/646737.701934"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500501"},{"volume-title":"Proceedings of the 10th Annual IEEE Symposium on Logics in Computer Science (LICS\u201995)","author":"Rob","key":"e_1_2_1_54_1"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.014"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2237509"},{"volume-title":"Mobile agents white paper. General Magic","author":"White Jim","key":"e_1_2_1_57_1"},{"volume-title":"Models for Concurrency","author":"Winskel Glynn","key":"e_1_2_1_58_1"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2016.014"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1166587"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.52"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3306606","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3306606","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:25Z","timestamp":1750208545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3306606"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,26]]},"references-count":60,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4,30]]}},"alternative-id":["10.1145\/3306606"],"URL":"https:\/\/doi.org\/10.1145\/3306606","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2019,2,26]]},"assertion":[{"value":"2017-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-02-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}