Coordinating mobile agents in interaction spaces

Peschanski, Frédéric; Darrasse, Alexis; Guts, Nataliya; Bobbio, Jérémy

doi:10.1016/j.scico.2007.01.011

Cited by 3 publications

(2 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In previous research, the closest relative to our approach is constituted by coordination languages for mobile agents (e.g. [22]). However, our work is different from these, since we are treating complete mobile devices as agents.…”

Section: Related Workmentioning

confidence: 99%

Social devices

Mäkitalo

Pääkkö

Raatikainen

et al. 2012

Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia

View full text Add to dashboard Cite

Online social media services, such as Facebook and Twitter, have set new standards on how people interact with each other online, share their everyday activities, and media services. While current mobile services supporting social interaction are typically primarily for remote communication, similar services can be introduced to co-located social interactions. In such a setting, people and proactive, context sensing mobile devices form a new kind of a socio-digital system where the mobile devices are active participants and can initiate interaction among the devices and people. Physical proximity of the devices becomes a key enabler to advance users' interaction with each other and the supporting mobile services. In this paper, we introduce the concept of Social Devices and its implementation. The Social Devices Platform facilitates autonomously composed cooperative services in co-located devices where the client part is simple and easily deployable to different kinds of devices.

show abstract

Section: Related Workmentioning

confidence: 99%

Social devices

Mäkitalo

Pääkkö

Raatikainen

et al. 2012

Proceedings of the 11th International Conference on Mobile and Ubiquitous Multimedia

View full text Add to dashboard Cite

show abstract

“…Finally, ActorSpace does not specify a failure model, whereas dataspaces signal failure with state-change notification events. Peschanski et al (2007) describe an actor-style system with multicast channels connecting actors, but do not consider layering of actor locations. They consider link failure, channel failure and location failure as distinct concepts, whereas the dataspace model unifies all of these in the state-change event mechanism.…”

Section: Formal Actor Modelsmentioning

confidence: 99%

Conversational concurrency

Garnock-Jones¹

View full text Add to dashboard Cite

Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software components share knowledge with each other in order to make progress as a group towards a common goal.This dissertation studies concurrency from the perspective of cooperative knowledge-sharing, taking the conversational exchange of knowledge as a central concern in the design of concurrent programming languages. In doing so, it makes five contributions:1. It develops the idea of a common dataspace as a medium for knowledge exchange among concurrent components, enabling a new approach to concurrent programming.While dataspaces loosely resemble both "fact spaces" from the world of Linda-style languages and Erlang's collaborative model, they significantly differ in many details.2. It offers the first crisp formulation of cooperative, conversational knowledge-exchange as a mathematical model. 3.It describes two faithful implementations of the model for two quite different languages.4. It proposes a completely novel suite of linguistic constructs for organizing the internal structure of individual actors in a conversational setting.The combination of dataspaces with these constructs is dubbed Syndicate. 5.It presents and analyzes evidence suggesting that the proposed techniques and constructs combine to simplify concurrent programming.The dataspace concept stands alone in its focus on representation and manipulation of conversational frames and conversational state and in its integral use of explicit epistemic knowledge. The design is particularly suited to integration of general-purpose I/O with otherwisefunctional languages, but also applies to actor-like settings more generally. AcknowledgmentsNetworking is interprocess communication.-Robert Metcalfe, 1972, quoted in Day (2008) I am deeply grateful to the many, many people who have supported, taught, and encouraged me over the past seven years.My heartfelt thanks to my advisor, Matthias Felleisen. Matthias, it has been an absolute privilege to be your student. Without your patience, insight and willingness to let me get the crazy ideas out of my system, this work would not have been possible. My gratitude also to the members of my thesis committee, Mitch Wand, Sam Tobin-Hochstadt, and Jan Vitek. Sam in particular helped me convince Matthias that there might be something worth looking into in this concurrency business. I would also like to thank Olin Shivers for providing early guidance during my studies.Thanks Many thanks to Alex Warth and Yoshiki Ohshima, who invited me to intern at CDG Labs with a wonderful research group during summer and fall 2014, and to John Day, whose book helped motivate me to return to academia. Thanks also to the DARPA CRASH program and to several NSF grants that helped to fund my PhD research.I wouldn't have made it here without crucial interventions over the past few decades from a wide range ...

show abstract

Formal verification of mobile agent based worflows

Bouchoul

Mostefai

2012

2012 International Conference on Information Technology and E-Services

View full text Add to dashboard Cite

Coordinating mobile agents in interaction spaces

Cited by 3 publications

References 8 publications

Social devices

Social devices

Conversational concurrency

Formal verification of mobile agent based worflows

Contact Info

Product

Resources

About