Organising Computation through Dynamic Grouping

  • Michael Fisher
  • Chiara Ghidini
  • Benjamin Hirsch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2975)


There are a range of abstractions used for both modelling and programming of modern computational systems. While these abstractions may have been devised for specific purposes, the variety of options is often confusing, with development and programming techniques often being distinct. The aim of this chapter is two-fold. First, we bring together a number of these abstractions into one, general, view. Second, we show how, by grouping computational elements, this general view can capture a range of behaviours in areas such as multi-agent systems, web services, and object-oriented systems. This framework then provides a basis for design and implementation techniques for a wide variety of modern computational systems, in particular providing the basis of a general programming language for dynamic, distributed computation.


Multiagent System Dynamic Group Element Space Code Fragment Computational Element 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)Google Scholar
  2. 2.
    Birman, K.P.: The Process Group Approach to Reliable Distributed Computing. Techanical Report TR91-1216, Department of Computer Science, Cornell University (July 1991)Google Scholar
  3. 3.
    Booch, G.: Object-Oriented Analysis And Design With Applications. Addison-Wesley, Reading (1994)Google Scholar
  4. 4.
    Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature interaction: a critical review and considered forecast. Computer Networks 41(1), 115–141 (2003)zbMATHCrossRefGoogle Scholar
  5. 5.
    Fisher, M., Kakoudakis, T.: Flexible Agent Grouping in Executable Temporal Logic. In: Proceedings of Twelfth International Symposium on Languages for Intensional Programming (ISLIP), World Scientific Press, Singapore (1999)Google Scholar
  6. 6.
    Franklin, S., Graesser, A.: Is it an agent, or just a program?: A taxonomy for autonomous agents. In: Jennings, N.R., Wooldridge, M.J., Müller, J.P. (eds.) ECAI-WS 1996 and ATAL 1996. LNCS, vol. 1193, Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    Goldberg, A., Robson, D.: Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading (1983)zbMATHGoogle Scholar
  8. 8.
    Hirsch, B., Fisher, M., Ghidini, C.: Organising logic-based agents. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Gordon-Spears, D.F. (eds.) FAABS 2002. LNCS (LNAI), vol. 2699, pp. 15–27. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Keahey, K.: Common Component Architecture Terms and Definitions, Common Component Architecture Forum,
  10. 10.
    Plath, M., Ryan, M.D.: Feature Integration using a Feature Construct. Science of Computer Programmin 41(1), 53–84 (2001)zbMATHCrossRefGoogle Scholar
  11. 11.
    Szyperski, C.: Component Software - Beyond Object Oriented Programming. Addison Wesley, Reading (1998)Google Scholar
  12. 12.
    Ungar, D., Chambers, C., Chang, B.-W., Hölzle, U.: Organizing Programs Without Classes. Lisp and Symbolic Computation 4(3), 37–56 (1991)Google Scholar
  13. 13.
    W3C consortium.W3CWeb Services Glossary,
  14. 14.
    W3C consortium. W3C Web Services Activity Statement (2002),
  15. 15.
    Wegner, P.: Classification in object oriented systems. ACM SIGPLAN Notices 21(10), 173–182 (1986)CrossRefMathSciNetGoogle Scholar
  16. 16.
    Wooldridge, M.: An Introduction to Multiagent Systems. John Wiley & Sons, Chichester (2002)Google Scholar
  17. 17.
    Wooldridge, M., Jennings, N.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Michael Fisher
    • 1
  • Chiara Ghidini
    • 2
  • Benjamin Hirsch
    • 1
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.Automated Reasoning Systems Division (SRA)ITC-IRSTTrentoItaly

Personalised recommendations