Automated evaluation of coordination approaches

Authors:
Tibor Bosse;Mark Hoogendoorn;Jan Treur
Affiliations:
Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
Venue:
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Year:
2006

Citing 13
Cited 1

Qualitative process theory

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
A logic-based calculus of events

New Generation Computing
Idea for a mind

ACM SIGART Bulletin
Mind as motion: explorations in the dynamics of cognition

Mind as motion: explorations in the dynamics of cognition
The imperative future: principles of executable temporal logic

The imperative future: principles of executable temporal logic
Maintaining knowledge about temporal intervals

Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Artificial Minds

Artificial Minds
Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents

EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
PLC-Automata: A New Class of Implementable Real-Time Automata

ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Reo: a channel-based coordination model for component composition

Mathematical Structures in Computer Science
LEADSTO: a language and environment for analysis of dynamics by simulation

MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
On the role of simulations in engineering self-organising MAS: the case of an intrusion detection system in TuCSoN

ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems

Requirements analysis of an agent’s reasoning capability

AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.