{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T22:52:28Z","timestamp":1717368748838},"reference-count":44,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2006,7]]},"abstract":"LIME (Linda in a mobile environment) is a model and middleware supporting the development of applications that exhibit the physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the Linda model. The context for computation, represented in Linda by a globally accessible persistent tuple space, is refined in LIME to transient sharing of the identically named tuple spaces carried by individual mobile units. Tuple spaces are also extended with a notion of location and programs are given the ability to react to specified states. The resulting model provides a minimalist set of abstractions that facilitates the rapid and dependable development of mobile applications. In this article we illustrate the model underlying LIME, provide a formal semantic characterization for the operations it makes available to the application developer, present its current design and implementation, and discuss lessons learned in developing applications that involve physical mobility.<\/jats:p>","DOI":"10.1145\/1151695.1151698","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:11:32Z","timestamp":1161195092000},"page":"279-328","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":177,"title":["LIME"],"prefix":"10.1145","volume":"15","author":[{"given":"Amy L.","family":"Murphy","sequence":"first","affiliation":[{"name":"University of Lugano, Lugano (TI), Switzerland"}]},{"given":"Gian Pietro","family":"Picco","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}]},{"given":"Gruia-Catalin","family":"Roman","sequence":"additional","affiliation":[{"name":"Washington University, St. Louis, MO"}]}],"member":"320","published-online":{"date-parts":[[2006,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Mobile CORBA. In Proceedings of the 3rd International Symposium on Distributed Objects and Applications (DOA), 52--63","author":"Adwankar S.","year":"2001","unstructured":"Adwankar , S. 2001 . Mobile CORBA. In Proceedings of the 3rd International Symposium on Distributed Objects and Applications (DOA), 52--63 .]] Adwankar, S. 2001. Mobile CORBA. In Proceedings of the 3rd International Symposium on Distributed Objects and Applications (DOA), 52--63.]]"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90069-P"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.372777"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 5th IFIP International Workshop on Quality of Service (IWQoS)","author":"Blair G.","unstructured":"Blair , G. , Davies , N. , Friday , A. , and Wade , S . 1997. Quality of service support in a mobile environment: An approach based on tuple spaces . In Proceedings of the 5th IFIP International Workshop on Quality of Service (IWQoS) ( New York). 37--48.]] Blair, G., Davies, N., Friday, A., and Wade, S. 1997. Quality of service support in a mobile environment: An approach based on tuple spaces. In Proceedings of the 5th IFIP International Workshop on Quality of Service (IWQoS) (New York). 37--48.]]"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 493--511","author":"Boulkenafed M.","unstructured":"Boulkenafed , M. and Issarny , V . 2003. A middleware service for mobile ad hoc data sharing, enhancing data availability . In Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 493--511 .]] Boulkenafed, M. and Issarny, V. 2003. A middleware service for mobile ad hoc data sharing, enhancing data availability. In Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 493--511.]]"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the Workshop on Software Engineering and Mobility, Colocated with the 23rd International Conference on Software Engineering","author":"Busi N.","unstructured":"Busi , N. and Zavattaro , G . 2001. Some thoughts on transiently shared dataspaces . In Proceedings of the Workshop on Software Engineering and Mobility, Colocated with the 23rd International Conference on Software Engineering ( Toronto, ON, Canada). 328--333.]] Busi, N. and Zavattaro, G. 2001. Some thoughts on transiently shared dataspaces. In Proceedings of the Workshop on Software Engineering and Mobility, Colocated with the 23rd International Conference on Software Engineering (Toronto, ON, Canada). 328--333.]]"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/4236.865084"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 5th International Conference on Mobile Agents","author":"Carbunar B.","unstructured":"Carbunar , B. , Valente , M. , and Vitek , J . 2001. LIME revisited: Reverse engineering an agent communication model . In Proceedings of the 5th International Conference on Mobile Agents ( Atlanta, GA), 54--69.]] Carbunar, B., Valente, M., and Vitek, J. 2001. LIME revisited: Reverse engineering an agent communication model. In Proceedings of the 5th International Conference on Mobile Agents (Atlanta, GA), 54--69.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Carriero N. Gelernter D. and Zuck L. 1995. Bauhaus Linda. In Selected articles from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Object-Based Models and Languages for Concurrent Systems. Springer Verlag London UK 66--76.]] Carriero N. Gelernter D. and Zuck L. 1995. Bauhaus Linda. In Selected articles from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Object-Based Models and Languages for Concurrent Systems. Springer Verlag London UK 66--76.]]","DOI":"10.1007\/3-540-59450-7_5"},{"key":"e_1_2_1_10_1","unstructured":"Chandy K. and Misra J. 1988. Parallel Program Design: A Foundation. Addison-Wesley Reading MA.]] Chandy K. and Misra J. 1988. Parallel Program Design: A Foundation. Addison-Wesley Reading MA.]]"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 1st International Conference on Pervasive Computing","author":"Chen G.","unstructured":"Chen , G. and Kotz , D . 2002. Solar: An open platform for context-aware mobile applications . In Proceedings of the 1st International Conference on Pervasive Computing ( Zurich, Switzerland). 41--47.]] Chen, G. and Kotz, D. 2002. Solar: An open platform for context-aware mobile applications. In Proceedings of the 1st International Conference on Pervasive Computing (Zurich, Switzerland). 41--47.]]"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the International Workshop on Mobile Teamwork Support, Colocated with the 22nd International Conference on Distributed Computing Systems","author":"Cugola G.","unstructured":"Cugola , G. and Picco , G. P . 2002. Peer-to-peer for collaborative applications . In Proceedings of the International Workshop on Mobile Teamwork Support, Colocated with the 22nd International Conference on Distributed Computing Systems ( Vienna). 359--364.]] Cugola, G. and Picco, G. P. 2002. Peer-to-peer for collaborative applications. In Proceedings of the International Workshop on Mobile Teamwork Support, Colocated with the 22nd International Conference on Distributed Computing Systems (Vienna). 359--364.]]"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2005.08.003"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 3rd USENIX Symposium on Internet Technologies and Systems (USITS)","author":"deLara E.","unstructured":"deLara , E. , Wallach , D. , and Zwaenepoel , W . 2001. Puppeteer: Component-Based adaptation for mobile computing . In Proceedings of the 3rd USENIX Symposium on Internet Technologies and Systems (USITS) ( San Francisco, CA). 159--170.]] deLara, E., Wallach, D., and Zwaenepoel, W. 2001. Puppeteer: Component-Based adaptation for mobile computing. In Proceedings of the 3rd USENIX Symposium on Internet Technologies and Systems (USITS) (San Francisco, CA). 159--170.]]"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Dey A. Salber D. and Abowd G. 2001. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Comput. Interaction (HCI) J.---Special Issue Context-Aware Comput. 16 204 97--166.]] Dey A. Salber D. and Abowd G. 2001. A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications. Human-Comput. Interaction (HCI) J.---Special Issue Context-Aware Comput. 16 204 97--166.]]","DOI":"10.1207\/S15327051HCI16234_02"},{"key":"e_1_2_1_16_1","unstructured":"Freeman E. Hupfer S. and Arnold K. 1999. JavaSpaces Principles Patterns and Practice. Pearson Education Prentice Hall Upper Saddle River NJ.]] Freeman E. Hupfer S. and Arnold K. 1999. JavaSpaces Principles Patterns and Practice. Pearson Education Prentice Hall Upper Saddle River NJ.]]"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2433"},{"key":"e_1_2_1_18_1","volume-title":"-C","author":"Handorean R.","year":"2002","unstructured":"Handorean , R. and Roman , G . -C . 2002 . Service provision in ad hoc networks. In Proceedings of the 5th International Conference on Coordination Models and Languages, F. Arbab and C. Talcott, Eds. Lecture Notes in Computer Science, vol. 2315 . Springer Verlag , York, UK, 207--219.]] Handorean, R. and Roman, G.-C. 2002. Service provision in ad hoc networks. In Proceedings of the 5th International Conference on Coordination Models and Languages, F. Arbab and C. Talcott, Eds. Lecture Notes in Computer Science, vol. 2315. Springer Verlag, York, UK, 207--219.]]"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)80688-1","article-title":"Secure sharing of tuple spaces in ad hoc settings","volume":"85","author":"Handorean R.","year":"2003","unstructured":"Handorean , R. and Roman , G.-C. 2003 . Secure sharing of tuple spaces in ad hoc settings . Electron. Notes Theoretical Comput. Sci. 85 , 3, 1 -- 20 .]] Handorean, R. and Roman, G.-C. 2003. Secure sharing of tuple spaces in ad hoc settings. Electron. Notes Theoretical Comput. Sci. 85, 3, 1--20.]]","journal-title":"Electron. Notes Theoretical Comput. Sci."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146942"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00178-X"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015584805733"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.666824"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/304399.304400"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 1st International Workshop on Distributed Event-Based Systems, 639--644","author":"Meier R.","unstructured":"Meier , R. and Cahill , V . 2002. STEAM: Event-Based middleware for wireless ad hoc networks . In Proceedings of the 1st International Workshop on Distributed Event-Based Systems, 639--644 .]] Meier, R. and Cahill, V. 2002. STEAM: Event-Based middleware for wireless ad hoc networks. In Proceedings of the 1st International Workshop on Distributed Event-Based Systems, 639--644.]]"},{"key":"e_1_2_1_26_1","volume-title":"Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION)","volume":"4038","author":"Murphy A.","unstructured":"Murphy , A. and Picco , G. P . 2006. Using LIME to support replication for availability in mobile ad hoc networks . In Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION) ( Bologria, Italy). Lecture Notes in Computer Science , vol. 4038 . Springer Verlag. To appear.]] 10.1007\/11767954_13 Murphy, A. and Picco, G. P. 2006. Using LIME to support replication for availability in mobile ad hoc networks. In Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION) (Bologria, Italy). Lecture Notes in Computer Science, vol. 4038. Springer Verlag. To appear.]] 10.1007\/11767954_13"},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21)","author":"Murphy A. L.","unstructured":"Murphy , A. L. , Picco , G. P. , and Roman , G . -C. 2001. LIME: A middleware for physical and logical mobility . In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) , F. Golshani et al., Eds. Phoenix (AZ), 524--533.]] Murphy, A. L., Picco, G. P., and Roman, G.-C. 2001. LIME: A middleware for physical and logical mobility. In Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21), F. Golshani et al., Eds. Phoenix (AZ), 524--533.]]"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.685256"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the ACM Symposium on Applied Computing (SAC)","author":"Omicini A.","unstructured":"Omicini , A. and Zambonelli , F . 1999. Tuple centres for the coordination of Internet agents . In Proceedings of the ACM Symposium on Applied Computing (SAC) ( San Antonio, TX). 183--190.]] 10.1145\/298151.298231 Omicini, A. and Zambonelli, F. 1999. Tuple centres for the coordination of Internet agents. In Proceedings of the ACM Symposium on Applied Computing (SAC) (San Antonio, TX). 183--190.]] 10.1145\/298151.298231"},{"key":"e_1_2_1_30_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 2nd International Workshop on Mobile Agents","author":"Picco G. P.","unstructured":"Picco , G. P. 1998. μCODE : A lightweight and flexible mobile code toolkit . In Proceedings of the 2nd International Workshop on Mobile Agents . Lecture Notes in Computer Science , vol. 1477 , Springer Verlag , New York , 160--171.]] Picco, G. P. 1998. μCODE: A lightweight and flexible mobile code toolkit. In Proceedings of the 2nd International Workshop on Mobile Agents. Lecture Notes in Computer Science, vol. 1477, Springer Verlag, New York, 160--171.]]"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 5th International Conference on Coordination Models and Languages, F. Arbab and C. Talcott, Eds. Lecture Notes in Computer Science","volume":"2315","author":"Picco G. P.","unstructured":"Picco , G. P. and Buschini , M . 2002. Exploiting transiently shared tuple spaces for location transparent code mobility . In Proceedings of the 5th International Conference on Coordination Models and Languages, F. Arbab and C. Talcott, Eds. Lecture Notes in Computer Science , vol. 2315 , Springer Verlag, York, UK, 258--273.]] Picco, G. P. and Buschini, M. 2002. Exploiting transiently shared tuple spaces for location transparent code mobility. In Proceedings of the 5th International Conference on Coordination Models and Languages, F. Arbab and C. Talcott, Eds. Lecture Notes in Computer Science, vol. 2315, Springer Verlag, York, UK, 258--273.]]"},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 21st International Conference on Software Engineering, D. Garlan, Ed. 368--377","author":"Picco G. P.","unstructured":"Picco , G. P. , Murphy , A. L. , and Roman , G . -C. 1999. LIME: Linda meets mobility . In Proceedings of the 21st International Conference on Software Engineering, D. Garlan, Ed. 368--377 .]] 10.1145\/302405.302659 Picco, G. P., Murphy, A. L., and Roman, G.-C. 1999. LIME: Linda meets mobility. In Proceedings of the 21st International Conference on Software Engineering, D. Garlan, Ed. 368--377.]] 10.1145\/302405.302659"},{"key":"e_1_2_1_33_1","volume-title":"-C","author":"Picco G. P.","year":"2002","unstructured":"Picco , G. P. , Murphy , A. L. , and Roman , G . -C . 2002 . On global virtual data structures. In Process Coordination and Ubiquitous Computing, D. Marinescu and C. Lee, Eds. CRC Press , Boca Raton, FL, 11--29.]] Picco, G. P., Murphy, A. L., and Roman, G.-C. 2002. On global virtual data structures. In Process Coordination and Ubiquitous Computing, D. Marinescu and C. Lee, Eds. CRC Press, Boca Raton, FL, 11--29.]]"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/383876.383879"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 455--473","author":"Popovici A.","year":"2003","unstructured":"Popovici , A. , Frei , A. , and G. Alonso . 2003 . A proactive middleware platform for mobile computing . In Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 455--473 .]] Popovici, A., Frei, A., and G.Alonso. 2003. A proactive middleware platform for mobile computing. In Proceedings of the 4th ACM\/IFIP\/USENIX International Middleware Conference (Rio de Janeiro, Brazil). 455--473.]]"},{"key":"e_1_2_1_37_1","volume-title":"Proceedings of the 23rd International Conference on Software Engineering","author":"Roman G.-C.","unstructured":"Roman , G.-C. , Huang , Q. , and Hazemi , A . 2001. Consistent group membership in ad hoc networks . In Proceedings of the 23rd International Conference on Software Engineering ( Toronto, ON, Canada). 381--388.]] Roman, G.-C., Huang, Q., and Hazemi, A. 2001. Consistent group membership in ad hoc networks. In Proceedings of the 23rd International Conference on Software Engineering (Toronto, ON, Canada). 381--388.]]"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258079"},{"key":"e_1_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Roman G.-C. Murphy A. L. and Picco G. P. 2000. Coordination and mobility. In Coordination of Internet Agents: Models Technologies and Applications A. Omicini et al. Eds. Springer Verlag New York 254--273.]] Roman G.-C. Murphy A. L. and Picco G. P. 2000. Coordination and mobility. In Coordination of Internet Agents: Models Technologies and Applications A. Omicini et al. Eds. Springer Verlag New York 254--273.]]","DOI":"10.1007\/978-3-662-04401-8_10"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2002.1158281"},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the 6th European Software Engineering Conference Colocated with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE)","volume":"1301","author":"Rosenblum D.","unstructured":"Rosenblum , D. and Wolf , A. L . 1997. A design framework for Internet-Scale event observation and notification . In Proceedings of the 6th European Software Engineering Conference Colocated with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE) ( Zunch, Switzerland). Lecture Notes in Computer Science , vol. 1301 , Springer Verlag, New York. 344--360.]] 10.1145\/267895.267920 Rosenblum, D. and Wolf, A. L. 1997. A design framework for Internet-Scale event observation and notification. In Proceedings of the 6th European Software Engineering Conference Colocated with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE) (Zunch, Switzerland). Lecture Notes in Computer Science, vol. 1301, Springer Verlag, New York. 344--360.]] 10.1145\/267895.267920"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019263731139"},{"key":"e_1_2_1_43_1","volume-title":"Aura: An architectural framework for user mobility in ubiquitous computing environments. In Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, J. Bosch et al., Eds","author":"Sousa J.","year":"2002","unstructured":"Sousa , J. and Garlan , D . 2002 . Aura: An architectural framework for user mobility in ubiquitous computing environments. In Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, J. Bosch et al., Eds . Kluwer Academic , Hingham, MA , 29--43.]] Sousa, J. and Garlan, D. 2002. Aura: An architectural framework for user mobility in ubiquitous computing environments. In Proceedings of the 3rd Working IEEE\/IFIP Conference on Software Architecture, J. Bosch et al., Eds. Kluwer Academic, Hingham, MA, 29--43.]]"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224070"},{"key":"e_1_2_1_46_1","volume-title":"Digest of Papers of the 19th International Symposium on Fault-Tolerant Computing, 199--206","author":"Xu A.","unstructured":"Xu , A. and Liskov , B . 1989. A design for a fault-tolerant, distributed implementation of Linda . In Digest of Papers of the 19th International Symposium on Fault-Tolerant Computing, 199--206 .]] Xu, A. and Liskov, B. 1989. A design for a fault-tolerant, distributed implementation of Linda. In Digest of Papers of the 19th International Symposium on Fault-Tolerant Computing, 199--206.]]"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1151695.1151698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T19:55:57Z","timestamp":1672257357000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1151695.1151698"}},"subtitle":["A coordination model and middleware supporting mobility of hosts and agents"],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1151695.1151698"],"URL":"https:\/\/doi.org\/10.1145\/1151695.1151698","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]},"assertion":[{"value":"2006-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}