{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:48Z","timestamp":1750306488323,"version":"3.41.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T00:00:00Z","timestamp":1487548800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003392","name":"Natural Science Foundation of Fujian Province","doi-asserted-by":"crossref","award":["2014J01221"],"award-info":[{"award-number":["2014J01221"]}],"id":[{"id":"10.13039\/501100003392","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Open Project of Shanghai Key Laboratory of Trustworthy Computing","award":["07dz22304201401"],"award-info":[{"award-number":["07dz22304201401"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61602177, 61402176, 61361136002 and 61305079"],"award-info":[{"award-number":["61602177, 61402176, 61361136002 and 61305079"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2017,4,30]]},"abstract":"<jats:p>Mobility is a critical issue that must be considered during the modeling and analyzing of a mobile system. At a high abstract level, event-based models can directly specify a mobile system without the introduction of additional mechanisms. In this article, we first propose two types of special events, entering and exiting an ambient, as movement events. Next, based on the movement events, we introduce the notion of a movement path and propose a feasible movement criterion (deciding whether a given movement path of a mobile object (agent) is feasible or not in terms of spatiotemporal topological relationships of ambients). Then, we investigate how a message movement--based communication model represents synchronous communication, asynchronous communication, and broadcast communication in a unified way. Finally, we use movement event sequences to discuss the exclusivity of ambients (an ambient only allows one mobile object to occupy (enter) it at any moment) and show that a priority scheduling control policy can guarantee exclusivity. Accordingly, we propose a correct movement criterion\u2014that is, a correct movement path is feasible and satisfies the exclusivity of ambients. Case studies demonstrate these results.<\/jats:p>","DOI":"10.1145\/2823353","type":"journal-article","created":{"date-parts":[[2017,2,27]],"date-time":"2017-02-27T13:06:52Z","timestamp":1488200812000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Event-Based Mobility Modeling and Analysis"],"prefix":"10.1145","volume":"1","author":[{"given":"Jian-Min","family":"Jiang","sequence":"first","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"given":"Qin","family":"Li","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[{"name":"East China Normal University, Shanghai, China"}]},{"given":"Lin","family":"Zhao","sequence":"additional","affiliation":[{"name":"Beijing Jiaotong University, Beijing, China"}]},{"given":"Shi","family":"Zhang","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}]},{"given":"Ping","family":"Gong","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}]},{"given":"Zhong","family":"Hong","sequence":"additional","affiliation":[{"name":"Fujian Normal University, Fuzhou, China"}]},{"given":"Donghuo","family":"Chen","sequence":"additional","affiliation":[{"name":"Soochow University, Jiangsu, China"}]}],"member":"320","published-online":{"date-parts":[[2017,2,20]]},"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.1017\/S0960129509990193"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.001"},{"key":"e_1_2_1_4_1","series-title":"Lecture Notes in Computer Science","volume-title":"Objects, Components, Architectures, Services, and Applications for a Networked World","author":"Baumeister Hubert","unstructured":"Hubert Baumeister , Nora Koch , Piotr Kosiuczenko , and Martin Wirsing . 2002. Extending activity diagrams to model mobile systems . In Objects, Components, Architectures, Services, and Applications for a Networked World . Lecture Notes in Computer Science , Vol. 2591 . Springer , 278--293. Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, and Martin Wirsing. 2002. Extending activity diagrams to model mobile systems. In Objects, Components, Architectures, Services, and Applications for a Networked World. Lecture Notes in Computer Science, Vol. 2591. Springer, 278--293."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.004"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01221098"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/wcm.72"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199516"},{"volume-title":"Proceedings of the International Conference on Foundations of Software Science and Computation Structure. 140--155","author":"Cardelli Luca","key":"e_1_2_1_10_1","unstructured":"Luca Cardelli and Andrew D. Gordon . 1998. Mobile ambients . In Proceedings of the International Conference on Foundations of Software Science and Computation Structure. 140--155 . Luca Cardelli and Andrew D. Gordon. 1998. Mobile ambients. In Proceedings of the International Conference on Foundations of Software Science and Computation Structure. 140--155."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/63334.63337"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793142"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCAS.2010.936782"},{"volume-title":"The Java Language Specification","author":"Gosling James","key":"e_1_2_1_15_1","unstructured":"James Gosling . 2000. The Java Language Specification . Addison-Wesley Professional . James Gosling. 2000. The Java Language Specification. Addison-Wesley Professional."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.675716"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the International Conference on Software: Theory and Practice. 377--384","author":"Guan Xudong","year":"2000","unstructured":"Xudong Guan , Yiling Yang , and Jinyuan You . 2000 . Making ambients more robust . In Proceedings of the International Conference on Software: Theory and Practice. 377--384 . Xudong Guan, Yiling Yang, and Jinyuan You. 2000. Making ambients more robust. In Proceedings of the International Conference on Software: Theory and Practice. 377--384."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the North American Process Algebra Workshop.","author":"Gupta Vineet","year":"1993","unstructured":"Vineet Gupta . 1993 . Concurrent Kripke structures . In Proceedings of the North American Process Algebra Workshop. Vineet Gupta. 1993. Concurrent Kripke structures. In Proceedings of the North American Process Algebra Workshop."},{"key":"e_1_2_1_19_1","volume-title":"Hildebrandt and Vladimiro Sassone","author":"Thomas","year":"1996","unstructured":"Thomas T. Hildebrandt and Vladimiro Sassone . 1996 . Comparing transition systems with independence and asynchronous transition systems. In CONCUR\u201996: Concurrency Theory. Lecture Notes in Computer Science, Vol. 1119 . Springer , 84--97. Thomas T. Hildebrandt and Vladimiro Sassone. 1996. Comparing transition systems with independence and asynchronous transition systems. In CONCUR\u201996: Concurrency Theory. Lecture Notes in Computer Science, Vol. 1119. Springer, 84--97."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2011.81"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492248.2492267"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-012-4744-y"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.28"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2783438"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the International Conference on Conceptual Modeling. 147--158","author":"Kosiuczenko Piotr","year":"2002","unstructured":"Piotr Kosiuczenko . 2002 . Sequence diagrams for mobility . In Proceedings of the International Conference on Conceptual Modeling. 147--158 . Piotr Kosiuczenko. 2002. Sequence diagrams for mobility. In Proceedings of the International Conference on Conceptual Modeling. 147--158."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the International Workshop on Agent-Oriented Software Engineering. 51--63","author":"Kusek Mario","year":"2006","unstructured":"Mario Kusek and Gordan Jezic . 2006 . Extending UML sequence diagrams to model agent mobility . In Proceedings of the International Workshop on Agent-Oriented Software Engineering. 51--63 . Mario Kusek and Gordan Jezic. 2006. Extending UML sequence diagrams to model agent mobility. In Proceedings of the International Workshop on Agent-Oriented Software Engineering. 51--63."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the IFIP TC6\/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V (FORTE\u201992)","author":"Langerak Rom","year":"1992","unstructured":"Rom Langerak . 1992 . Bundle event structures: A non-interleaving semantics for LOTOS . In Proceedings of the IFIP TC6\/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V (FORTE\u201992) . 331--346. Rom Langerak. 1992. Bundle event structures: A non-interleaving semantics for LOTOS. In Proceedings of the IFIP TC6\/WG6.1 5th International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V (FORTE\u201992). 331--346."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.3390\/s150304837"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596981"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90027-U"},{"key":"e_1_2_1_34_1","series-title":"Lecture Notes in Computer Science","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"Mar\u00e9chal Olivier","unstructured":"Olivier Mar\u00e9chal , Pascal Poizat , and Jean-Claude Royer . 2004. Checking asynchronously communicating components using symbolic transition systems . In On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE . Lecture Notes in Computer Science , Vol. 3291 . Springer , 1502--1519. Olivier Mar\u00e9chal, Pascal Poizat, and Jean-Claude Royer. 2004. Checking asynchronously communicating components using symbolic transition systems. In On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, Vol. 3291. Springer, 1502--1519."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666824"},{"key":"e_1_2_1_36_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_37_1","unstructured":"Robin Milner . 1982. A Calculus of Communicating Systems . Springer-Verlag , New York, NY . Robin Milner. 1982. A Calculus of Communicating Systems. Springer-Verlag, New York, NY."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90180-N"},{"volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh James","key":"e_1_2_1_41_1","unstructured":"James Rumbaugh , Ivar Jacobson , and Grady Booch . 2004. The Unified Modeling Language Reference Manual . Addison-Wesley . James Rumbaugh, Ivar Jacobson, and Grady Booch. 2004. The Unified Modeling Language Reference Manual. Addison-Wesley."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the Conference on Enterprise Modelling and Information Systems (EMISA\u201905)","volume":"75","author":"Schmidt Karsten","year":"2005","unstructured":"Karsten Schmidt . 2005 . Controllability of open workflow nets . In Proceedings of the Conference on Enterprise Modelling and Information Systems (EMISA\u201905) , Vol. 75 . 236--249. Karsten Schmidt. 2005. Controllability of open workflow nets. In Proceedings of the Conference on Enterprise Modelling and Information Systems (EMISA\u201905), Vol. 75. 236--249."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_6"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.82"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795202"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/646737.701934"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500501"},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040235.2040239"},{"volume-title":"Proceedings of the 10th Annual IEEE Symposium on Logics in Computer Science (LICS\u201995)","author":"Rob","key":"e_1_2_1_49_1","unstructured":"Rob J. van Glabbeeka and Gordon D. Plotkin. 1995. Configuration structures . In Proceedings of the 10th Annual IEEE Symposium on Logics in Computer Science (LICS\u201995) . IEEE, Los Alamitos, CA, 199--209. Rob J. van Glabbeeka and Gordon D. Plotkin. 1995. Configuration structures. In Proceedings of the 10th Annual IEEE Symposium on Logics in Computer Science (LICS\u201995). IEEE, Los Alamitos, CA, 199--209."},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.014"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2237509"},{"volume-title":"Mobile agents","author":"White James E.","key":"e_1_2_1_52_1","unstructured":"James E. White . 1996. Mobile agents . In Software Agents, J. Bradshaw (Ed.). AAAI Press\/The MIT Press , 437--472. James E. White. 1996. Mobile agents. In Software Agents, J. Bradshaw (Ed.). AAAI Press\/The MIT Press, 437--472."},{"key":"e_1_2_1_53_1","volume-title":"Handbook of Logic in Computer Science, Semantic Modelling","volume":"4","author":"Winskel Glynn","year":"1995","unstructured":"Glynn Winskel and Mogens Nielsen . 1995 . Models for Concurrency . Handbook of Logic in Computer Science, Semantic Modelling , Vol. 4 . Oxford Science Publications, Oxford, England. Glynn Winskel and Mogens Nielsen. 1995. Models for Concurrency. Handbook of Logic in Computer Science, Semantic Modelling, Vol. 4. Oxford Science Publications, Oxford, England."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1166587"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2823353","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2823353","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2823353"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,20]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4,30]]}},"alternative-id":["10.1145\/2823353"],"URL":"https:\/\/doi.org\/10.1145\/2823353","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"type":"print","value":"2378-962X"},{"type":"electronic","value":"2378-9638"}],"subject":[],"published":{"date-parts":[[2017,2,20]]},"assertion":[{"value":"2015-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}