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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. QUT Technical report FIT-TR-2002-02, Queensland University of Technology, Brisbane (2002)
Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26, 832–843 (1983)
Arbab, F.R.: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. John Wiley & Sons, Chichester (1996)
Bosse, T., Hoogendoorn, M., Treur, J.: Coordination Approaches for Complex Software Systems. Technical report 06-04ASRAI, Vrije Universiteit Amsterdam (2006), http://hdl.handle.net/1871/9195
Bosse, T., Jonker, C.M., van der Meij, L., Treur, J.: LEADSTO: a Language and Environment for Analysis of Dynamics by SimulaTiOn. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds.) MATES 2005. LNCS (LNAI), vol. 3550, pp. 165–178. Springer, Heidelberg (2005)
Bosse, T., Jonker, C.M., van der Meij, L., Sharpanskykh, A., Treur, J.: A Temporal Trace Language for the Formal Analysis of Dynamic Properties. Technical Report, Vrije Universiteit Amsterdam, Department of Artificial Intelligence (2006)
Bourne, R., Shoop, K., Jennings, N.: Dynamic evaluation of coordination mechanisms for autonomous agents. In: Brazdil, P., Jorge, A. (eds.) Progress in Artificial Intelligence. LNCS (LNAI), pp. 155–168. Springer, Heidelberg (2001)
Dierks, H.: PLC-automata: A new class of implementable real-time automata. In: Rus, T., Bertrán, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol. 1231, pp. 111–125. Springer, Heidelberg (1997)
Forbus, K.D.: Qualitative process theory. Artificial Intelligence 24(1-3), 85–168 (1984)
Franklin, S.: Artificial Minds. MIT Press, Cambridge (1997)
Gardelli, L., Viroli, M., Omicini, A.: On the Role of Simulations in Engineering Self-Organizing MAS: the Case of an Intrusion Detection System in TuCSoN. In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds.) ESOA 2005. LNCS, vol. 3910, pp. 153–166. Springer, Heidelberg (2006)
Goldblatt, R.: Logics of Time and Computation, 2nd edn. CSLI Lecture Notes, vol. 7 (1992)
Jackson, J.V.: Idea for a Mind. SIGGART Newsletter 181, 23–26 (1987)
Kowalski, R., Sergot, M.A.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)
Lindsay, P.H., Norman, D.A.: Human Information Processing: An Introduction to Psychology. Academic Press Inc., New York (1977)
Maes, P.: How to do the right thing. Connection Science 1(3), 291–323 (1989)
Ordeshook, P.: Game theory and political theory: An Introduction. Cambridge University Press, Cambridge (1986)
Pirjanian, P.: Behavior coordination mechanisms – state-of-the-art. Technical Report IRIS-99-375, Institute of Robotics and Intelligent Systems, School of Engineering, University of Southern California (October 1999)
Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)
Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Selfridge, O.G.: Pandemonium: a paradigm for learning in mechanization of thought processes. In: Proceedings of a Symposium Held at the National Physical Laboratory, London, pp. 513–526 (November 1958)
Tyrrell, T.: Computational Mechanisms for Action Selection, PhD thesis, University of Edinburgh (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Hoogendoorn, M., Treur, J. (2006). Automated Evaluation of Coordination Approaches. In: Ciancarini, P., Wiklicky, H. (eds) Coordination Models and Languages. COORDINATION 2006. Lecture Notes in Computer Science, vol 4038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767954_4
Download citation
DOI: https://doi.org/10.1007/11767954_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34694-4
Online ISBN: 978-3-540-34695-1
eBook Packages: Computer ScienceComputer Science (R0)