Automated Evaluation of Coordination Approaches

How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advantages and drawbacks. To support their mutual comparison, this paper proposes a formal methodology to automatically evaluate the performance of coordination approaches. This methodology comprises (1) creation of simulation models of coordination approaches, (2) execution of simulation experiments of these models applied to test examples, and (3) automated evaluation of the models against specified requirements. Moreover, in a specific case study, the methodology is used to evaluate some coordination approaches that originate from various disciplines.

[1]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[2]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[3]  Tibor Bosse,et al.  Coordination Approaches for Complex Software Systems , 2006 .

[4]  D. Marc Kilgour.  Game Theory and Political Theory: An Introduction Peter C. Ordeshook Cambridge: Cambridge University Press 1986, pp. xv, 511 , 1988 .

[5]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[6]  A. Campbell,et al.  Progress in Artificial Intelligence , 1995, Lecture Notes in Computer Science.

[7]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[8]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[9]  John V. Jackson.  Idea for a mind , 1987, SGAR.

[10]  P. Maes.  How to Do the Right Thing , 1989 .

[11]  Henning Dierks.  PLC-automata: a new class of implementable real-time automata , 2001, Theor. Comput. Sci..

[12]  Tibor Bosse,et al.  A Temporal Trace Language for the Formal Analysis of Dynamic Properties , 2005 .

[13]  Toby Tyrrell,et al.  Computational mechanisms for action selection , 1993 .

[14]  Salima Hassas,et al.  Self-Organisation: Paradigms and Applications , 2003, Engineering Self-Organising Systems.

[15]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artificial Intelligence.

[16]  Teodor Rus,et al.  Transformation-Based Reactive Systems Development , 1997, Lecture Notes in Computer Science.

[17]  Paolo Pirjanian,et al.  Behavior Coordination Mechanisms - State-of-the-art , 1999 .

[18]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[19]  S. Franklin.  Artificial Minds , 1995 .

[20]  David Stuart Robertson,et al.  Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform , 2005, MATES.

[21]  Nicholas R. Jennings,et al.  Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents , 2001, EPIA.

[22]  O. G. Selfridge,et al.  Pandemonium: a paradigm for learning , 1988 .

[23]  Andrea Omicini,et al.  On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in , 2005, Engineering Self-Organising Systems.

[24]  P. H. Lindsay,et al.  Human Information Processing: An Introduction to Psychology , 1972 .

[25]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[26]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .