AmbientTalk: programming responsive mobile peer-to-peer applications with actors
The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and becau...
Uložené v:
| Vydané v: | Computer languages, systems & structures Ročník 40; číslo 3-4; s. 112 - 136 |
|---|---|
| Hlavní autori: | , , , , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Elsevier Ltd
01.10.2014
|
| Predmet: | |
| ISSN: | 1477-8424, 1873-6866 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and because of problems inherent to mobile networks, such as the fact that wireless network connectivity is often intermittent, and the lack of centralized infrastructure to coordinate the peers.
We present AmbientTalk, a distributed programming language designed specifically to develop mobile peer-to-peer applications. AmbientTalk aims to make it easy to develop mobile applications that are resilient to network failures by design. We describe the language׳s concurrency and distribution model in detail, as it lies at the heart of AmbientTalk׳s support for responsive, resilient application development. The model is based on communicating event loops, itself a descendant of the actor model. We contribute a small-step operational semantics for this model and use it to establish data race and deadlock freedom.
•We discuss the challenges of developing responsive mobile peer-to-peer applications.•We introduce AmbientTalk, an actor-based distributed programming language designed to develop such applications.•We compare an AmbientTalk application to an equivalent one in Java RMI.•We define a small-step operational semantics for a subset of AmbientTalk.•We establish data race and deadlock freedom of the concurrency model. |
|---|---|
| AbstractList | The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and because of problems inherent to mobile networks, such as the fact that wireless network connectivity is often intermittent, and the lack of centralized infrastructure to coordinate the peers. We present AmbientTalk, a distributed programming language designed specifically to develop mobile peer-to-peer applications. AmbientTalk aims to make it easy to develop mobile applications that are resilient to network failures by design. We describe the language's concurrency and distribution model in detail, as it lies at the heart of AmbientTalk's support for responsive, resilient application development. The model is based on communicating event loops, itself a descendant of the actor model. We contribute a small-step operational semantics for this model and use it to establish data race and deadlock freedom. The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on neighbouring phones. Developing such applications is challenging because of problems inherent to concurrent and distributed programming, and because of problems inherent to mobile networks, such as the fact that wireless network connectivity is often intermittent, and the lack of centralized infrastructure to coordinate the peers. We present AmbientTalk, a distributed programming language designed specifically to develop mobile peer-to-peer applications. AmbientTalk aims to make it easy to develop mobile applications that are resilient to network failures by design. We describe the language׳s concurrency and distribution model in detail, as it lies at the heart of AmbientTalk׳s support for responsive, resilient application development. The model is based on communicating event loops, itself a descendant of the actor model. We contribute a small-step operational semantics for this model and use it to establish data race and deadlock freedom. •We discuss the challenges of developing responsive mobile peer-to-peer applications.•We introduce AmbientTalk, an actor-based distributed programming language designed to develop such applications.•We compare an AmbientTalk application to an equivalent one in Java RMI.•We define a small-step operational semantics for a subset of AmbientTalk.•We establish data race and deadlock freedom of the concurrency model. |
| Author | Pinte, Kevin Lombide Carreton, Andoni De Meuter, Wolfgang Scholliers, Christophe Harnie, Dries Van Cutsem, Tom Gonzalez Boix, Elisa |
| Author_xml | – sequence: 1 givenname: Tom surname: Van Cutsem fullname: Van Cutsem, Tom email: tvcutsem@vub.ac.be – sequence: 2 givenname: Elisa surname: Gonzalez Boix fullname: Gonzalez Boix, Elisa – sequence: 3 givenname: Christophe surname: Scholliers fullname: Scholliers, Christophe – sequence: 4 givenname: Andoni surname: Lombide Carreton fullname: Lombide Carreton, Andoni – sequence: 5 givenname: Dries surname: Harnie fullname: Harnie, Dries – sequence: 6 givenname: Kevin surname: Pinte fullname: Pinte, Kevin – sequence: 7 givenname: Wolfgang surname: De Meuter fullname: De Meuter, Wolfgang |
| BookMark | eNp9kLtOxDAQRS0EErDQU6akSRh7nRcdQrwkJCigtibOBLw4cbANiL_Hy1IhQXWnuGc0c_bZ9uQmYuyIQ8GBVyerQttCAJcFlAWA2GJ7vKmXedVU1XaaZV3njRRyl-2HsEoFaGS5x-7Pxs7QFB_Qvpxms3dPHsfRTE-ZpzC7KZh3ykbXGUvZTOTz6PJ1ZjjP1miMJnWyDxOfM9TR-XDAdga0gQ5_csEeLy8ezq_z27urm_Oz21yLuox5TS0KbHtoETrs264fSPMe25IvSUBb6UGSEA3vSOLQDQCADWnRSeSa5HK5YMebvenm1zcKUY0maLIWJ3JvQfGqAmihbkSqwqaqvQvB06Bmb0b0n4qDWstTK6WtWstTUKrkJiHVL0Sb-P1s9Gjsf-DpBqT0-7shr4JOfjX1xpOOqnfmb_gLG3WMaw |
| CitedBy_id | crossref_primary_10_1145_3360570 crossref_primary_10_1145_3276522 |
| Cites_doi | 10.1007/3-540-36162-6_2 10.1007/BFb0053547 10.1007/3-540-49538-X_10 10.1006/jpdc.1994.1060 10.1145/583960.583964 10.1145/162685.162711 10.1145/357172.357176 10.1017/S095679689700261X 10.1145/292469.292470 10.1109/PERCOM.2004.1276864 10.1145/960112.28722 10.1109/NCA.2005.29 10.1145/964001.964012 10.1145/503502.503505 10.1145/42392.42399 10.1145/35037.42182 10.1145/38765.38828 10.1007/978-3-642-03013-0_11 10.1145/67386.67403 10.1145/985072.985109 10.1145/857076.857078 10.1109/NCA.2001.962511 10.1145/1734206.1734209 10.1016/0890-5401(92)90008-4 10.1145/2363.2433 10.1145/960116.54016 10.1145/74850.74870 10.1145/1028976.1029004 10.1007/978-3-642-14107-2_13 10.1002/spe.909 10.1016/0304-3975(92)90014-7 10.1007/978-3-540-70592-5_6 10.1007/978-3-642-16949-6_6 10.1109/MC.2006.180 10.1145/62083.62111 10.1007/11498094_11 10.1109/SCCC.2007.12 |
| ContentType | Journal Article |
| Copyright | 2014 Elsevier Ltd |
| Copyright_xml | – notice: 2014 Elsevier Ltd |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.cl.2014.05.002 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-6866 |
| EndPage | 136 |
| ExternalDocumentID | 10_1016_j_cl_2014_05_002 S1477842414000335 |
| GrantInformation_xml | – fundername: Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen) – fundername: Prospective Research for Brussels (PRFB) program of the Brussels Institute for Research and Innovation (Innoviris) |
| GroupedDBID | --K --M .DC .~1 0R~ 1B1 1~. 1~5 29F 4.4 457 4G. 5VS 7-5 71M 8P~ AACTN AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AAQFI AAXUO AAYFN ABBOA ABMAC ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEKER AFKWA AFTJW AGHFR AGUBO AGYEJ AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD AXJTR BKOJK BLXMC EBS EFJIC EJD EO8 EO9 EP2 EP3 FDB FEDTE FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HVGLF HZ~ IHE J1W KOM M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 PC. Q38 RIG ROL RPZ SDF SDG SDP SES SEW SPC SSV SSZ T5K TN5 XFK YYM ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFPUW AIGII AIIUN AKBMS AKRWK AKYEP ANKPU CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c275t-7e9a2a9d09a0bad9bdfec1da9513e2096cf4e2281be4afbf000a8ec2b4a1ce433 |
| ISSN | 1477-8424 |
| IngestDate | Sat Sep 27 22:43:06 EDT 2025 Sat Nov 29 07:56:55 EST 2025 Tue Nov 18 21:50:51 EST 2025 Fri Feb 23 02:17:32 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3-4 |
| Keywords | Futures Mobile networks Peer-to-peer Leasing Actors Event loops Service discovery |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c275t-7e9a2a9d09a0bad9bdfec1da9513e2096cf4e2281be4afbf000a8ec2b4a1ce433 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 23 |
| PQID | 1660090782 |
| PQPubID | 23500 |
| PageCount | 25 |
| ParticipantIDs | proquest_miscellaneous_1660090782 crossref_primary_10_1016_j_cl_2014_05_002 crossref_citationtrail_10_1016_j_cl_2014_05_002 elsevier_sciencedirect_doi_10_1016_j_cl_2014_05_002 |
| PublicationCentury | 2000 |
| PublicationDate | 2014-10-01 |
| PublicationDateYYYYMMDD | 2014-10-01 |
| PublicationDate_xml | – month: 10 year: 2014 text: 2014-10-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Computer languages, systems & structures |
| PublicationYear | 2014 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Ousterhout J. Why threads are a bad idea (for most purposes). Presentation given at the 1996 Usenix annual technical conference, January 1996 Varela, Agha (bib32) 2001; 36 Haller P, Odersky M. Actors that unify threads and events. In: Murphy A, Vitek J., editors. Coordination models and languages, 9th international conference, coordination 2007, Paphos, Cyprus, June 6–8, 2007, Proceedings. Lecture notes in computer science, vol. 4467. Springer, Berlin Heidelberg, Germany; 2007. p. 171–90. Callsen, Agha (bib51) 1994; 21 Schäfer J, Poetzsch-Heffter A. Jcobox: generalizing active objects to concurrent components. In: Proceedings of the 24th European conference on object-oriented programming, ECOOP׳10. Berlin, Heidelberg: Springer-Verlag; 2010. p. 275–99. doi Igarashi, Pierce, Wadler (bib57) 2001; 23 Ungar D, Smith RB. Self: the power of simplicity. In: Conference proceedings on object-oriented programming systems, languages and applications. ACM Press; New York, NY, USA; 1987. p. 227–42. doi Watanabe T, Yonezawa A. Reflection in an object-oriented concurrent language. In: Conference proceedings on Object-oriented programming systems, languages and applications. ACM Press, New York, NY, USA; 1988. p. 306–15. doi Meier R, Cahill V, Nedos A, Clarke S. Proximity-based service discovery in mobile ad hoc networks. In: Distributed applications and interoperable systems. Springer, Berlin Heidelberg, Germany; 2005. p. 115–29. Briot J-P. From objects to actors: study of a limited symbiosis in smalltalk-80. In: Proceedings of the 1988 ACM SIGPLAN workshop on object-based concurrent programming. New York, NY, USA: ACM Press; 1988. pp. 69–72. doi Scholliers C, Gonzalez Boix E, De Meuter W, D’Hondt T. Context-aware tuples for the ambient. In: On the move to meaningful internet systems. OTM, vol. 2010, 2010. p. 745–63. Eugster P, Garbinato B, Holzer A. Location-based publish/subscribe. In: Fourth IEEE international symposium on network computing and applications, vol. 2, 2005. p. 279–82. Liskov (bib10) 1988; 31 Mascolo C, Capra L, Emmerich W. Mobile computing middleware. In: Advanced lectures on networking. Springer-Verlag; Berlin Heidelberg, Germany 2002. p. 20–58. Liskov B, Shrira L. Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Proceedings of the ACM SIGPLAN 1988 conference on programming language design and implementation. ACM Press, New York, NY, USA; 1988. p. 260–67. doi Lee (bib16) 2006; 39 Srinivasan S, Mycroft A. Kilim: isolation-typed actors for java. In: ECOOP ׳08: proceedings of the 22nd European conference on object-oriented programming. Berlin, Heidelberg: Springer-Verlag; 2008. p. 104–28. doi Van Cutsem T, Mostinckx S, Gonzalez Boix E, Dedecker J, De Meuter W. Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks. In: International conference of the Chilean Computer Science Society (SCCC). IEEE Computer Society, Los Alamitos, CA, USA; 2007. p. 3–12. Briot, Guerraoui, Lohr (bib36) 1998; 30 Dedecker, Van Cutsem, Mostinckx, D׳Hondt, De Meuter (bib3) 2006; vol. 4067 Goldberg, Robson (bib12) 1989 Waldo J. Constructing ad hoc networks. In: IEEE international symposium on network computing and applications (NCA׳01), 2001. p. 9. Felleisen, Findler, Flatt (bib42) 2009 Boix, Cutsem, Vallejos, Meuter, D׳Hondt (bib5) 2009; vol. 33 Cardelli L, Gordon AD. Mobile ambients. In: Foundations of software science and computation structures: first international conference, FOSSACS ׳98. Berlin Germany: Springer-Verlag; 1998. URL Gray C, Cheriton D. Leases: an efficient fault-tolerant mechanism for distributed file cache consistency. In: SOSP ׳89: proceedings of the twelfth ACM symposium on operating systems principles. New York, NY, USA: ACM Press; 1989. p. 202–10. doi: http://doi.acm.org/10.1145/74850.74870. . Armstrong, Virding, Wikström, Williams (bib8) 1996 Lamport, Shostak, Pease (bib37) 1982; 4 Schärli N, Ducasse S, Nierstrasz O, Black AP. Traits: Composable units of behaviour. In: Cardelli L, editor. ECOOP. Lecture notes in computer science, vol. 2743. Springer, Berlin Heidelberg, Germany; 2003. p. 248–74. Milner, Parrow, Walker (bib53) 1992; 100 Eugster, Felber, Guerraoui, Kermarrec (bib21) 2003; 35 Mamei M, Zambonelli F. Programming pervasive and mobile computing applications with the TOTA middleware. In: PERCOM ׳04: proceedings of the second IEEE international conference on pervasive computing and communications. Washington, DC, USA: IEEE Computer Society; 2004. p. 263. Schäfer J. A programming model and language for concurrent and distributed object-oriented systems [Ph.D. thesis]. Technischen Universität Kaiserslautern, 2010. Van Cutsem, Mostinckx, De Meuter (bib26) 2009; 35 Agha, Mason, Smith, Talcott (bib45) 1997; 7 Lieberman (bib30) 1987 Gelernter (bib48) 1985; 7 Saraswat (bib52) 1993 Felleisen, Hieb (bib44) 1992; 103 McAffer J. Meta-level programming with coda. In: ECOOP ׳95: proceedings of the 9th European Conference on object-oriented programming. London, UK: Springer-Verlag; 1995. p. 190–214. Abadi, Cardelli (bib43) 1996 Bracha G, Ungar D. Mirrors: design principles for meta-level facilities of object-oriented programming languages. In: Proceedings of the 19th annual conference on object-oriented programming, systems, languages and applications; 2004. p. 331–43. Caromel D, Henrio L, Serpette BP. Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ׳04. New York, NY, USA: ACM; 2004. p. 123–34. doi Van Cutsem T, Bergel A, Ducasse S, Meuter W. Adding state and visibility control to traits using lexical nesting. In: Genoa: proceedings of the 23rd European conference on ECOOP 2009—object-oriented programming. Berlin, Heidelberg: Springer-Verlag; 2009. p. 220–43. doi Miller M, Tribble ED, Shapiro J. Concurrency among strangers: programming in E as plan coordination. In: Symposium on trustworthy global computing. Lecture notes in computer science, vol. 3705. Springer, Berlin Heidelberg, Germany; 2005. p. 195–229. Sun Microsystems, Java RMI specification, 1998 Boix E Gonzalez. Handling partial failures in mobile ad hoc network applications: from programming language design to tool support [Ph.D. thesis]. Vrije Universiteit Brussel, Faculty of Sciences, Software Languages Lab; October 2012. Joseph AD, deLespinasse AF, Tauber JA, Gifford DK, Kaashoek MF. Rover: a toolkit for mobile information access. In: Proceedings of the 15th ACM symposium on operating systems principles (SOSP ׳95), Colorado, 1995. p. 156–71. Caromel (bib19) 1993; 36 Agha (bib2) 1986 Sussman GJ, Steele GL, Jr., Scheme: An interpreter for extended lambda calculus. In: MEMO 349, MIT AI LAB, 1975. (captured in March 2008). Yonezawa A, Briot J-P, Shibayama E. Object-oriented concurrent programming in ABCL/1. In: Conference proceedings on object-oriented programming systems, languages and applications. ACM Press, New York, NY, USA; 1986. p. 258–68. doi Jul, Levy, Hutchinson, Black (bib9) 1988; 6 Mostinckx, Van Cutsem, Timbermont, Gonzalez Boix, Tanter, De Meuter (bib27) 2009; 39 Baduel L, Baude F, Caromel D, Contes A, Huet F, Morel M, Quilici R. Programming, deploying, composing, for the grid. In: Grid computing: software environments and tools. Springer-Verlag, Berlin Heidelberg, Germany; 2006. URL Kaminsky A, Bischof H-P. Many-to-many invocation: a new object oriented paradigm for ad hoc collaborative systems. In: ACM SIGPLAN Conference on object-oriented programming, systems, languages, and applications (OOPSLA). ACM Press, New York, NY, USA; 2002. p. 72–3. doi Murphy A, Picco G, Roman G-C. LIME: A middleware for physical and logical mobility. In: Proceedings of the 21st international conference on distributed computing systems. IEEE Computer Society, Los Alamitos, CA, USA; 2001. p. 524–36. Sewell, Wojciechowski, Unyapoth (bib55) 2010; 32 10.1016/j.cl.2014.05.002_bib4 10.1016/j.cl.2014.05.002_bib1 10.1016/j.cl.2014.05.002_bib7 10.1016/j.cl.2014.05.002_bib20 10.1016/j.cl.2014.05.002_bib6 10.1016/j.cl.2014.05.002_bib23 10.1016/j.cl.2014.05.002_bib24 Eugster (10.1016/j.cl.2014.05.002_bib21) 2003; 35 10.1016/j.cl.2014.05.002_bib22 Dedecker (10.1016/j.cl.2014.05.002_bib3) 2006; vol. 4067 10.1016/j.cl.2014.05.002_bib28 10.1016/j.cl.2014.05.002_bib25 Agha (10.1016/j.cl.2014.05.002_bib45) 1997; 7 10.1016/j.cl.2014.05.002_bib29 Felleisen (10.1016/j.cl.2014.05.002_bib44) 1992; 103 10.1016/j.cl.2014.05.002_bib31 Boix (10.1016/j.cl.2014.05.002_bib5) 2009; vol. 33 10.1016/j.cl.2014.05.002_bib34 10.1016/j.cl.2014.05.002_bib35 10.1016/j.cl.2014.05.002_bib33 10.1016/j.cl.2014.05.002_bib38 10.1016/j.cl.2014.05.002_bib39 Milner (10.1016/j.cl.2014.05.002_bib53) 1992; 100 Jul (10.1016/j.cl.2014.05.002_bib9) 1988; 6 Felleisen (10.1016/j.cl.2014.05.002_bib42) 2009 Igarashi (10.1016/j.cl.2014.05.002_bib57) 2001; 23 Saraswat (10.1016/j.cl.2014.05.002_bib52) 1993 Van Cutsem (10.1016/j.cl.2014.05.002_bib26) 2009; 35 Lee (10.1016/j.cl.2014.05.002_bib16) 2006; 39 10.1016/j.cl.2014.05.002_bib41 10.1016/j.cl.2014.05.002_bib40 10.1016/j.cl.2014.05.002_bib46 Abadi (10.1016/j.cl.2014.05.002_bib43) 1996 Lieberman (10.1016/j.cl.2014.05.002_bib30) 1987 10.1016/j.cl.2014.05.002_bib49 Callsen (10.1016/j.cl.2014.05.002_bib51) 1994; 21 10.1016/j.cl.2014.05.002_bib47 Varela (10.1016/j.cl.2014.05.002_bib32) 2001; 36 Sewell (10.1016/j.cl.2014.05.002_bib55) 2010; 32 Lamport (10.1016/j.cl.2014.05.002_bib37) 1982; 4 Briot (10.1016/j.cl.2014.05.002_bib36) 1998; 30 Mostinckx (10.1016/j.cl.2014.05.002_bib27) 2009; 39 10.1016/j.cl.2014.05.002_bib50 10.1016/j.cl.2014.05.002_bib56 10.1016/j.cl.2014.05.002_bib13 Armstrong (10.1016/j.cl.2014.05.002_bib8) 1996 10.1016/j.cl.2014.05.002_bib54 Agha (10.1016/j.cl.2014.05.002_bib2) 1986 10.1016/j.cl.2014.05.002_bib11 10.1016/j.cl.2014.05.002_bib17 10.1016/j.cl.2014.05.002_bib14 10.1016/j.cl.2014.05.002_bib58 Goldberg (10.1016/j.cl.2014.05.002_bib12) 1989 10.1016/j.cl.2014.05.002_bib15 Gelernter (10.1016/j.cl.2014.05.002_bib48) 1985; 7 10.1016/j.cl.2014.05.002_bib18 Liskov (10.1016/j.cl.2014.05.002_bib10) 1988; 31 Caromel (10.1016/j.cl.2014.05.002_bib19) 1993; 36 |
| References_xml | – volume: 36 start-page: 90 year: 1993 end-page: 102 ident: bib19 article-title: Towards a method of object-oriented concurrent programming publication-title: Commun. ACM – volume: 35 start-page: 80 year: 2009 end-page: 98 ident: bib26 article-title: Linguistic symbiosis between event loop actors and threads publication-title: Comput. Lang. Syst. Struct. – reference: Waldo J. Constructing ad hoc networks. In: IEEE international symposium on network computing and applications (NCA׳01), 2001. p. 9. – volume: vol. 33 start-page: 231 year: 2009 end-page: 251 ident: bib5 article-title: A leasing model to deal with partial failures in mobile ad hoc networks publication-title: TOOLS (47). Lecture notes in business information processing – reference: 〉 (captured in March 2008). – year: 1986 ident: bib2 article-title: Actors: a model of concurrent computation in distributed systems – reference: Van Cutsem T, Bergel A, Ducasse S, Meuter W. Adding state and visibility control to traits using lexical nesting. In: Genoa: proceedings of the 23rd European conference on ECOOP 2009—object-oriented programming. Berlin, Heidelberg: Springer-Verlag; 2009. p. 220–43. doi: – reference: Cardelli L, Gordon AD. Mobile ambients. In: Foundations of software science and computation structures: first international conference, FOSSACS ׳98. Berlin Germany: Springer-Verlag; 1998. URL 〈 – reference: Schärli N, Ducasse S, Nierstrasz O, Black AP. Traits: Composable units of behaviour. In: Cardelli L, editor. ECOOP. Lecture notes in computer science, vol. 2743. Springer, Berlin Heidelberg, Germany; 2003. p. 248–74. – reference: Scholliers C, Gonzalez Boix E, De Meuter W, D’Hondt T. Context-aware tuples for the ambient. In: On the move to meaningful internet systems. OTM, vol. 2010, 2010. p. 745–63. – reference: Yonezawa A, Briot J-P, Shibayama E. Object-oriented concurrent programming in ABCL/1. In: Conference proceedings on object-oriented programming systems, languages and applications. ACM Press, New York, NY, USA; 1986. p. 258–68. doi: – reference: Van Cutsem T, Mostinckx S, Gonzalez Boix E, Dedecker J, De Meuter W. Ambienttalk: object-oriented event-driven programming in mobile ad hoc networks. In: International conference of the Chilean Computer Science Society (SCCC). IEEE Computer Society, Los Alamitos, CA, USA; 2007. p. 3–12. – reference: Ousterhout J. Why threads are a bad idea (for most purposes). Presentation given at the 1996 Usenix annual technical conference, January 1996 〈 – volume: 36 start-page: 20 year: 2001 end-page: 34 ident: bib32 article-title: Programming dynamically reconfigurable open systems with SALSA publication-title: SIGPLAN Not. – reference: Gray C, Cheriton D. Leases: an efficient fault-tolerant mechanism for distributed file cache consistency. In: SOSP ׳89: proceedings of the twelfth ACM symposium on operating systems principles. New York, NY, USA: ACM Press; 1989. p. 202–10. doi: http://doi.acm.org/10.1145/74850.74870. – reference: Srinivasan S, Mycroft A. Kilim: isolation-typed actors for java. In: ECOOP ׳08: proceedings of the 22nd European conference on object-oriented programming. Berlin, Heidelberg: Springer-Verlag; 2008. p. 104–28. doi: – reference: Joseph AD, deLespinasse AF, Tauber JA, Gifford DK, Kaashoek MF. Rover: a toolkit for mobile information access. In: Proceedings of the 15th ACM symposium on operating systems principles (SOSP ׳95), Colorado, 1995. p. 156–71. – reference: 〉. – reference: Meier R, Cahill V, Nedos A, Clarke S. Proximity-based service discovery in mobile ad hoc networks. In: Distributed applications and interoperable systems. Springer, Berlin Heidelberg, Germany; 2005. p. 115–29. – volume: 4 start-page: 382 year: 1982 end-page: 401 ident: bib37 article-title: The Byzantine generals problem publication-title: ACM Trans. Progr. Lang. Syst. – volume: 21 start-page: 289 year: 1994 end-page: 300 ident: bib51 article-title: Open heterogeneous computing in ActorSpace publication-title: J. Parallel Distrib. Comput. – reference: Baduel L, Baude F, Caromel D, Contes A, Huet F, Morel M, Quilici R. Programming, deploying, composing, for the grid. In: Grid computing: software environments and tools. Springer-Verlag, Berlin Heidelberg, Germany; 2006. URL 〈 – year: 1989 ident: bib12 article-title: Smalltalk-80: the language. – reference: Ungar D, Smith RB. Self: the power of simplicity. In: Conference proceedings on object-oriented programming systems, languages and applications. ACM Press; New York, NY, USA; 1987. p. 227–42. doi: – reference: Mascolo C, Capra L, Emmerich W. Mobile computing middleware. In: Advanced lectures on networking. Springer-Verlag; Berlin Heidelberg, Germany 2002. p. 20–58. – reference: Boix E Gonzalez. Handling partial failures in mobile ad hoc network applications: from programming language design to tool support [Ph.D. thesis]. Vrije Universiteit Brussel, Faculty of Sciences, Software Languages Lab; October 2012. – volume: 100 start-page: 1 year: 1992 end-page: 40 ident: bib53 article-title: A calculus of mobile processes, i publication-title: Inf. Comput. – reference: Miller M, Tribble ED, Shapiro J. Concurrency among strangers: programming in E as plan coordination. In: Symposium on trustworthy global computing. Lecture notes in computer science, vol. 3705. Springer, Berlin Heidelberg, Germany; 2005. p. 195–229. – volume: 7 start-page: 1 year: 1997 end-page: 72 ident: bib45 article-title: A foundation for actor computation publication-title: J. Funct. Progr. – reference: Watanabe T, Yonezawa A. Reflection in an object-oriented concurrent language. In: Conference proceedings on Object-oriented programming systems, languages and applications. ACM Press, New York, NY, USA; 1988. p. 306–15. doi: – volume: vol. 4067 start-page: 230 year: 2006 end-page: 254 ident: bib3 article-title: Ambient-oriented programming in AmbientTalk publication-title: Proceedings of the 20th European conference on object-oriented programming (ECOOP). Lecture notes in computer science – reference: Kaminsky A, Bischof H-P. Many-to-many invocation: a new object oriented paradigm for ad hoc collaborative systems. In: ACM SIGPLAN Conference on object-oriented programming, systems, languages, and applications (OOPSLA). ACM Press, New York, NY, USA; 2002. p. 72–3. doi: – reference: Mamei M, Zambonelli F. Programming pervasive and mobile computing applications with the TOTA middleware. In: PERCOM ׳04: proceedings of the second IEEE international conference on pervasive computing and communications. Washington, DC, USA: IEEE Computer Society; 2004. p. 263. – volume: 39 start-page: 661 year: 2009 end-page: 699 ident: bib27 article-title: Mirror-based reflection in AmbientTalk publication-title: Softw. Pract. Exp. – reference: Schäfer J, Poetzsch-Heffter A. Jcobox: generalizing active objects to concurrent components. In: Proceedings of the 24th European conference on object-oriented programming, ECOOP׳10. Berlin, Heidelberg: Springer-Verlag; 2010. p. 275–99. doi: 〈 – volume: 7 start-page: 80 year: 1985 end-page: 112 ident: bib48 article-title: Generative communication in Linda publication-title: ACM Trans. Progr. Lang. Syst. – reference: Eugster P, Garbinato B, Holzer A. Location-based publish/subscribe. In: Fourth IEEE international symposium on network computing and applications, vol. 2, 2005. p. 279–82. – volume: 103 start-page: 235 year: 1992 end-page: 271 ident: bib44 article-title: The revised report on the syntactic theories of sequential control and state publication-title: Theor. Comput. Sci. – volume: 39 start-page: 33 year: 2006 end-page: 42 ident: bib16 article-title: The problem with threads publication-title: Computer – start-page: 9 year: 1987 end-page: 36 ident: bib30 article-title: Concurrent object-oriented programming in ACT 1 publication-title: Object-oriented concurrent programming – year: 2009 ident: bib42 article-title: Semantics Engineering with PLT Redex – year: 1996 ident: bib8 article-title: Concurrent programming in Erlang – reference: Liskov B, Shrira L. Promises: linguistic support for efficient asynchronous procedure calls in distributed systems. In: Proceedings of the ACM SIGPLAN 1988 conference on programming language design and implementation. ACM Press, New York, NY, USA; 1988. p. 260–67. doi: – year: 1996 ident: bib43 article-title: A theory of objects – volume: 23 start-page: 396 year: 2001 end-page: 450 ident: bib57 article-title: Featherweight java publication-title: ACM Trans. Progr. Lang. Syst. – volume: 35 start-page: 114 year: 2003 end-page: 131 ident: bib21 article-title: The many faces of publish/subscribe publication-title: ACM Comput. Surv. – reference: Haller P, Odersky M. Actors that unify threads and events. In: Murphy A, Vitek J., editors. Coordination models and languages, 9th international conference, coordination 2007, Paphos, Cyprus, June 6–8, 2007, Proceedings. Lecture notes in computer science, vol. 4467. Springer, Berlin Heidelberg, Germany; 2007. p. 171–90. – reference: Bracha G, Ungar D. Mirrors: design principles for meta-level facilities of object-oriented programming languages. In: Proceedings of the 19th annual conference on object-oriented programming, systems, languages and applications; 2004. p. 331–43. – volume: 30 start-page: 291 year: 1998 end-page: 329 ident: bib36 article-title: Concurrency and distribution in object-oriented programming publication-title: ACM Comput. Surv. – volume: 32 start-page: 12:1 year: 2010 end-page: 12:63 ident: bib55 article-title: Nomadic pict publication-title: ACM Trans. Progr. Lang. Syst. – volume: 6 start-page: 109 year: 1988 end-page: 133 ident: bib9 article-title: Fine-grained mobility in the Emerald system publication-title: ACM Trans. Comput. Syst. – reference: Sun Microsystems, Java RMI specification, 1998 〈 – reference: . – year: 1993 ident: bib52 article-title: Concurrent constraint programming – volume: 31 start-page: 300 year: 1988 end-page: 312 ident: bib10 article-title: Distributed programming in Argus publication-title: Commun. ACM – reference: McAffer J. Meta-level programming with coda. In: ECOOP ׳95: proceedings of the 9th European Conference on object-oriented programming. London, UK: Springer-Verlag; 1995. p. 190–214. – reference: Schäfer J. A programming model and language for concurrent and distributed object-oriented systems [Ph.D. thesis]. Technischen Universität Kaiserslautern, 2010. – reference: Briot J-P. From objects to actors: study of a limited symbiosis in smalltalk-80. In: Proceedings of the 1988 ACM SIGPLAN workshop on object-based concurrent programming. New York, NY, USA: ACM Press; 1988. pp. 69–72. doi: – reference: Sussman GJ, Steele GL, Jr., Scheme: An interpreter for extended lambda calculus. In: MEMO 349, MIT AI LAB, 1975. – reference: Caromel D, Henrio L, Serpette BP. Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ׳04. New York, NY, USA: ACM; 2004. p. 123–34. doi: – reference: Murphy A, Picco G, Roman G-C. LIME: A middleware for physical and logical mobility. In: Proceedings of the 21st international conference on distributed computing systems. IEEE Computer Society, Los Alamitos, CA, USA; 2001. p. 524–36. – year: 1996 ident: 10.1016/j.cl.2014.05.002_bib8 – ident: 10.1016/j.cl.2014.05.002_bib1 doi: 10.1007/3-540-36162-6_2 – ident: 10.1016/j.cl.2014.05.002_bib35 – ident: 10.1016/j.cl.2014.05.002_bib54 doi: 10.1007/BFb0053547 – ident: 10.1016/j.cl.2014.05.002_bib58 – ident: 10.1016/j.cl.2014.05.002_bib25 doi: 10.1007/3-540-49538-X_10 – year: 1996 ident: 10.1016/j.cl.2014.05.002_bib43 – volume: 21 start-page: 289 issue: 3 year: 1994 ident: 10.1016/j.cl.2014.05.002_bib51 article-title: Open heterogeneous computing in ActorSpace publication-title: J. Parallel Distrib. Comput. doi: 10.1006/jpdc.1994.1060 – volume: 36 start-page: 20 issue: 12 year: 2001 ident: 10.1016/j.cl.2014.05.002_bib32 article-title: Programming dynamically reconfigurable open systems with SALSA publication-title: SIGPLAN Not. doi: 10.1145/583960.583964 – volume: 36 start-page: 90 issue: 9 year: 1993 ident: 10.1016/j.cl.2014.05.002_bib19 article-title: Towards a method of object-oriented concurrent programming publication-title: Commun. ACM doi: 10.1145/162685.162711 – volume: 4 start-page: 382 issue: 3 year: 1982 ident: 10.1016/j.cl.2014.05.002_bib37 article-title: The Byzantine generals problem publication-title: ACM Trans. Progr. Lang. Syst. doi: 10.1145/357172.357176 – volume: 7 start-page: 1 issue: 1 year: 1997 ident: 10.1016/j.cl.2014.05.002_bib45 article-title: A foundation for actor computation publication-title: J. Funct. Progr. doi: 10.1017/S095679689700261X – volume: 30 start-page: 291 issue: 3 year: 1998 ident: 10.1016/j.cl.2014.05.002_bib36 article-title: Concurrency and distribution in object-oriented programming publication-title: ACM Comput. Surv. doi: 10.1145/292469.292470 – ident: 10.1016/j.cl.2014.05.002_bib47 doi: 10.1109/PERCOM.2004.1276864 – ident: 10.1016/j.cl.2014.05.002_bib18 doi: 10.1145/960112.28722 – ident: 10.1016/j.cl.2014.05.002_bib17 – ident: 10.1016/j.cl.2014.05.002_bib49 doi: 10.1109/NCA.2005.29 – ident: 10.1016/j.cl.2014.05.002_bib13 – ident: 10.1016/j.cl.2014.05.002_bib56 doi: 10.1145/964001.964012 – volume: 23 start-page: 396 issue: 3 year: 2001 ident: 10.1016/j.cl.2014.05.002_bib57 article-title: Featherweight java publication-title: ACM Trans. Progr. Lang. Syst. doi: 10.1145/503502.503505 – volume: 31 start-page: 300 issue: 3 year: 1988 ident: 10.1016/j.cl.2014.05.002_bib10 article-title: Distributed programming in Argus publication-title: Commun. ACM doi: 10.1145/42392.42399 – ident: 10.1016/j.cl.2014.05.002_bib34 – volume: 6 start-page: 109 issue: 1 year: 1988 ident: 10.1016/j.cl.2014.05.002_bib9 article-title: Fine-grained mobility in the Emerald system publication-title: ACM Trans. Comput. Syst. doi: 10.1145/35037.42182 – ident: 10.1016/j.cl.2014.05.002_bib28 – ident: 10.1016/j.cl.2014.05.002_bib11 doi: 10.1145/38765.38828 – ident: 10.1016/j.cl.2014.05.002_bib29 doi: 10.1007/978-3-642-03013-0_11 – ident: 10.1016/j.cl.2014.05.002_bib31 doi: 10.1145/67386.67403 – year: 1989 ident: 10.1016/j.cl.2014.05.002_bib12 – ident: 10.1016/j.cl.2014.05.002_bib6 – ident: 10.1016/j.cl.2014.05.002_bib22 doi: 10.1145/985072.985109 – year: 1986 ident: 10.1016/j.cl.2014.05.002_bib2 – volume: 35 start-page: 114 issue: 2 year: 2003 ident: 10.1016/j.cl.2014.05.002_bib21 article-title: The many faces of publish/subscribe publication-title: ACM Comput. Surv. doi: 10.1145/857076.857078 – ident: 10.1016/j.cl.2014.05.002_bib7 doi: 10.1109/NCA.2001.962511 – volume: 32 start-page: 12:1 issue: 4 year: 2010 ident: 10.1016/j.cl.2014.05.002_bib55 article-title: Nomadic pict publication-title: ACM Trans. Progr. Lang. Syst. doi: 10.1145/1734206.1734209 – ident: 10.1016/j.cl.2014.05.002_bib14 – year: 1993 ident: 10.1016/j.cl.2014.05.002_bib52 – volume: 100 start-page: 1 issue: 1 year: 1992 ident: 10.1016/j.cl.2014.05.002_bib53 article-title: A calculus of mobile processes, i publication-title: Inf. Comput. doi: 10.1016/0890-5401(92)90008-4 – volume: 7 start-page: 80 issue: 1 year: 1985 ident: 10.1016/j.cl.2014.05.002_bib48 article-title: Generative communication in Linda publication-title: ACM Trans. Progr. Lang. Syst. doi: 10.1145/2363.2433 – volume: vol. 33 start-page: 231 year: 2009 ident: 10.1016/j.cl.2014.05.002_bib5 article-title: A leasing model to deal with partial failures in mobile ad hoc networks – year: 2009 ident: 10.1016/j.cl.2014.05.002_bib42 – ident: 10.1016/j.cl.2014.05.002_bib20 doi: 10.1145/960116.54016 – ident: 10.1016/j.cl.2014.05.002_bib38 doi: 10.1145/74850.74870 – ident: 10.1016/j.cl.2014.05.002_bib23 doi: 10.1145/1028976.1029004 – ident: 10.1016/j.cl.2014.05.002_bib40 – ident: 10.1016/j.cl.2014.05.002_bib41 doi: 10.1007/978-3-642-14107-2_13 – volume: 35 start-page: 80 issue: 1 year: 2009 ident: 10.1016/j.cl.2014.05.002_bib26 article-title: Linguistic symbiosis between event loop actors and threads publication-title: Comput. Lang. Syst. Struct. – volume: vol. 4067 start-page: 230 year: 2006 ident: 10.1016/j.cl.2014.05.002_bib3 article-title: Ambient-oriented programming in AmbientTalk – volume: 39 start-page: 661 issue: 7 year: 2009 ident: 10.1016/j.cl.2014.05.002_bib27 article-title: Mirror-based reflection in AmbientTalk publication-title: Softw. Pract. Exp. doi: 10.1002/spe.909 – volume: 103 start-page: 235 issue: 2 year: 1992 ident: 10.1016/j.cl.2014.05.002_bib44 article-title: The revised report on the syntactic theories of sequential control and state publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(92)90014-7 – ident: 10.1016/j.cl.2014.05.002_bib46 – ident: 10.1016/j.cl.2014.05.002_bib33 doi: 10.1007/978-3-540-70592-5_6 – ident: 10.1016/j.cl.2014.05.002_bib39 doi: 10.1007/978-3-642-16949-6_6 – volume: 39 start-page: 33 issue: 5 year: 2006 ident: 10.1016/j.cl.2014.05.002_bib16 article-title: The problem with threads publication-title: Computer doi: 10.1109/MC.2006.180 – ident: 10.1016/j.cl.2014.05.002_bib15 – ident: 10.1016/j.cl.2014.05.002_bib24 doi: 10.1145/62083.62111 – ident: 10.1016/j.cl.2014.05.002_bib50 doi: 10.1007/11498094_11 – ident: 10.1016/j.cl.2014.05.002_bib4 doi: 10.1109/SCCC.2007.12 – start-page: 9 year: 1987 ident: 10.1016/j.cl.2014.05.002_bib30 article-title: Concurrent object-oriented programming in ACT 1 |
| SSID | ssj0020845 |
| Score | 2.1739457 |
| Snippet | The rise of mobile computing platforms has given rise to a new class of applications: mobile applications that interact with peer applications running on... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 112 |
| SubjectTerms | Actors Applications programs Computer simulation Event loops Failure Futures Leasing Mathematical models Mobile communication systems Mobile networks Networks Peer-to-peer Programming Semantics Service discovery |
| Title | AmbientTalk: programming responsive mobile peer-to-peer applications with actors |
| URI | https://dx.doi.org/10.1016/j.cl.2014.05.002 https://www.proquest.com/docview/1660090782 |
| Volume | 40 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: ScienceDirect Freedom Collection - Elsevier customDbUrl: eissn: 1873-6866 dateEnd: 20181231 omitProxy: false ssIdentifier: ssj0020845 issn: 1477-8424 databaseCode: AIEXJ dateStart: 20020401 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Lb9MwGLdKx4EL46mNAQoSO6AqI86jSbiV0QpQVXbIUG-W7ThSR5qUpq2q_UH8nXyO7SSAmMaBS1qlSSr7--V7PxB6zT0Rp8x3ZNA9sH2Osc2czLUxwx6NHOHwgNbDJsLZLJrP44te74ephdnlYVFE-328-q-khnNAbFk6-w_kbh4KJ-A7EB2OQHY43orwoyWTNY4Jzb9Jc18nYC2lS2CtE2J3YrAsGfCDwUqItb0pbfk56AazddFbPYynq8CaKRCNo7PGgeoHXdU4Uh1pt-s2OfEr8JDz7aYSNfYStWbVlL-4BgF1PXhfLvY6yaxq5IRsEJrnZlR32wXB_D4tYaWpkDkra2FmY8vhJIuuKwP7TVKc4b5-CCLTV0XVhj2rbk4ahqYkSHFbrDOwleDGqpPKHzJBuSeuzriMNGH_THnRWvlnYv6zL2RyOZ2SZDxPTr3J6rstZ5PJGP6p90Hh5A46cMMgjvroYPRpPP_cmPZOVI_DbhagA-Iqk_DXP_6bAvSbKlDrN8kDdF8bJtZIAeoh6oniETo05La0DHiMLjr4emd10GW16LIUuqwuuqwuuiyJLkuh6wm6nIyT84-2Hsthc1j8xg5FTF0ap05MHUbTmKWZ4DiloKt7wgWTmGe-cF2wh4RPM5aB0KWR4C7zKebC97ynqF-UhThCVsZYKmdqUMZBYvMhi7JgmFKccYYZ6M7H6K3ZK8J1z3o5OiUnJjnxivCcyN0lTkBgd4_Rm-aOlerXcsO1ntl-ovVNpUcSgM4Nd70ylCLAimV8jRai3FYED8F6iKXO_ewW15yge-078Bz14eUUL9BdvtssqvVLDbCfjWCwkg |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=AmbientTalk%3A+programming+responsive+mobile+peer-to-peer+applications+with+actors&rft.jtitle=Computer+languages%2C+systems+%26+structures&rft.au=Van+Cutsem%2C+Tom&rft.au=Gonzalez+Boix%2C+Elisa&rft.au=Scholliers%2C+Christophe&rft.au=Lombide+Carreton%2C+Andoni&rft.date=2014-10-01&rft.issn=1477-8424&rft.volume=40&rft.issue=3-4&rft.spage=112&rft.epage=136&rft_id=info:doi/10.1016%2Fj.cl.2014.05.002&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1477-8424&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1477-8424&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1477-8424&client=summon |