Movement and interaction in semantic GRIDs: dynamic service generation for Agents in the MIC* deployment environment

We present in this position paper the foundations of the MIC* model and deployment environment as they have emerged in the last years, relate them to current evolutions on semantic GRID dynamic service generation, as reflected by OGSA/I and, more recently, by WSRF, and propose an integrated view with the previously proposed STROBE model for communicating agents leading to a quite simple yet very promising architecture that may include Human agents in the loop, uninspectable as most artificial agents, yet behaving autonomously by interacting. Modeling Human agents seems to us of high importance in the high level service generation required by complex, semantically rich applications, such as those of e-Learning, e-Science or e-Commerce envisaged in the years to come.

[1]  Amy L. Murphy,et al.  Software engineering for mobility: a roadmap , 2000, ICSE '00.

[2]  Jean Sallantin,et al.  Constructive Interactions , 2003, LeGE-WG 3.

[3]  Stefano A. Cerri.  Human and Artificial Agent's Conversations on the GRID , 2002, LeGE-WG 1.

[4]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[5]  Abdelkader Gouaïch,et al.  Requirements for Achieving Software Agents Autonomy and Defining their Responsibility , 2003, Agents and Computational Autonomy.

[6]  Feng Wan,et al.  Commitments and causality for multiagent design , 2003, AAMAS '03.

[7]  Giovanni Vigna,et al.  Designing Distributed Applications with Mobile Code Paradigms , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[8]  Stefano A. Cerri,et al.  Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents , 1999, Collaboration between Human and Artificial Societies.

[9]  Cristiano Castelfranchi.  Social Power: A Point missed in Multi-Agent , 1990 .

[10]  Steven Tuecke,et al.  The Physiology of the Grid An Open Grid Services Architecture for Distributed Systems Integration , 2002 .

[11]  Christian Queinnec.  Inverting back the inversion of control or, continuations versus page-centric programming , 2003, SIGP.

[12]  Fabien Michel,et al.  MIC: An Agent Formal Environment , 2003 .

[13]  Frank Guerin,et al.  Denotational semantics for agent communication language , 2001, AGENTS '01.

[14]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 1999, Secure Internet Programming.

[15]  Franco Zambonelli,et al.  Signs of a Revolution in Computer Science and Software Engineering , 2002, ESAW.

[16]  Abdelkader Gouaïch,et al.  MIC: Algebraic Agent Environment , 2003, ISMIS.

[17]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[18]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[19]  Marc Eisenstadt,et al.  Dynamic Learning Agents and Enhanced Presence on the Grid , 2003, LeGE-WG 3.

[20]  Abdelkader Gouaich,et al.  Requirements for achieving software agents autonomy and defining their responsibility , 2003 .

[21]  Stefano A. Cerri.  Open Learning Service Scenarios on GRIDs , 2003, LeGE-WG 3.

[22]  Luca Cardelli,et al.  A language with distributed scope , 1995, POPL '95.

[23]  Ben J Hicks,et al.  World Multiconference on Systemics, Cybernetics and Informatics , 2000 .

[24]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[25]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[26]  Gordon S. Blair,et al.  The Tuple Space: An Old Solution to a New Problem? , 1997 .