Title :
Toward domain-independent formalization of indirect interaction
Author :
Goldin, Dina ; Keil, David
Author_Institution :
Connecticut Univ., CT, USA
Abstract :
Unlike direct interaction based on message passing, indirect interaction takes place between agents as they make and observe persistent changes to their shared environment. The dining philosophers and foraging ants problems illustrate the characteristics that distinguish indirect from direct interaction, such as persistence, space and time decoupling, dynamic binding of recipient, and lack of intent. We point out that indirect interaction is an important phenomenon in many different fields within and outside computer science, including open systems, and merits explicit formal modeling.
Keywords :
concurrency control; distributed shared memory systems; message passing; open systems; software agents; dining philosopher; direct interaction; domain-independent formalization; dynamic binding; foraging ants problem; formal modeling; indirect interaction; message passing; open system; shared environment; space decoupling; time decoupling; Biological system modeling; Biological systems; Computer science; Concurrent computing; Conferences; Delay effects; Message passing; Mobile agents; Mobile robots; Open systems;
Conference_Titel :
Enabling Technologies: Infrastructure for Collaborative Enterprises, 2004. WET ICE 2004. 13th IEEE International Workshops on
Print_ISBN :
0-7695-2183-5
DOI :
10.1109/ENABL.2004.68