Dagstuhl Seminar 03081
Objects, Agents and Features
( Feb 16 – Feb 21, 2003 )
Permalink
Organizers
- Hans-Dieter Ehrich (TU Braunschweig, DE)
- John-Jules Ch. Meyer (Utrecht University, NL)
- Mark D. Ryan (University of Birmingham, GB)
Contact
There are many ways of structuring software, and the seminar focussed on an established one (object-orientation) and two emerging ones (agent-orientation and feature-orientation).
- The object paradigm is now widely used in software technology (with programming languages like C++ and Java, and OO modelling frameworks such as UML). However, the theoretical foundations of the object paradigm are not settled yet, although clean concepts and reliable foundations are more and more demanded not only by academia but also by practitioners. In particular, the precise meaning of UML concepts is subject to wide debate.
- Agents are more special kinds of objects, having more autonomy, and taking more initiative. For this reason, agent-oriented programming is sometimes referred to as 'subject-oriented' rather than 'object-oriented', indicating that an agent is much more in control of itself than an object which is manipulated by other entities (objects). There is some work on investigating typical object notions like inheritance in the context of agents. An interesting question is whether this is a fruitful way to go. Typically, agents are thought of being endowed with 'mental states' involving concepts like knowledge, belief, desires and goals, in order to display autonomous and in particular pro-active behaviour.
- Features are optional extensions of functionality which may be added to a software product, in order to reflect changes in requirements. They also cut across the class structure, because implementing a feature typically involves updating several classes or objects. The more complex the system is, the harder it is to add features without breaking something; this phenomenon has been dubbed the 'feature interaction problem'. Because users like to think of a system as comprising a base system together with a number of features on top, features could potentially be seen as a structuring mechanism rivalling objects and agents.
In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as agent-orientation and feature-orientation.
The Dagstuhl seminar explored the relationship between the original paradigm and the two new ones. The participants' reaction was very positive, and we are planning a Springer-Verlag book of the proceedings. See http://www.cs.bham.ac.uk/~mdr/research/dagstuhl03/cfp
There were approximately 30 oral contributions, of which 15 were from young researchers. There were no keynote presentations and no posters. None of the papers have been published under the auspices of the Seminar, but a book is planned (as mentioned above). The presentations were wide-ranging and varied.
The main highlight was the exploration of the novel theme which ran throughout the seminar, namely the intersection and interaction between the three concepts of the seminar title. Some of the issues are highlighted in the following table.
Objects | Agents | Features |
---|---|---|
basic structuring mechanism | structuring mechanism | secondary structuring mechanism; cuts across existing structure |
private data & message passing | private data & communication | violates privacy; invades code |
reactive | deliberative, reflective, having belief/desire/ intention | "goal oriented" desirable |
prescribed behaviour | autonomous | autonomy desirable |
monotonic (+ overriding) | non-monotonic | non-monotonic |
- Peter Ahlbrecht (TU Braunschweig, DE)
- Stefan Brass (TU Clausthal, DE)
- Jan Bredereke (Verden (Aller), DE)
- Muffy Calder (University of Glasgow, GB)
- Mehdi Dastani (Utrecht University, NL) [dblp]
- Ralph Depke (Universität Paderborn, DE)
- Hans-Dieter Ehrich (TU Braunschweig, DE)
- Christophe Gaston (CEA - Gif sur Yvette, FR) [dblp]
- Dimitar Guelev (University of Birmingham, GB) [dblp]
- Zahia Guessoum (Université Paris VI, FR)
- Aidan Harding (University of Birmingham, GB)
- Hannah Harris (University of Birmingham, GB)
- Maritta Heisel (Universität Duisburg-Essen, DE) [dblp]
- Jan Himmelspach (Universität Rostock, DE)
- Joris Hulstijn (Utrecht University, NL) [dblp]
- Maik Kollmann (TU Braunschweig, DE)
- Juliana Küster Filipe (University of Birmingham, GB)
- Luigi Logrippo (Université du Québec en Outaouais, CA)
- Tiziana Margaria (Universität Göttingen, DE) [dblp]
- Philipp Meier (LMU München, DE)
- John-Jules Ch. Meyer (Utrecht University, NL) [dblp]
- Alice Miller (University of Glasgow, GB)
- Christian Prehofer (DOCOMO Euro-Labs - München, DE) [dblp]
- Isidro Ramos Salavert (Universidad Politécnica - Valencia, ES)
- Stephan Reiff-Marganiec (University of Leicester, GB)
- Alessandro Ricci (University of Bologna, IT) [dblp]
- Mathias Röhl (Universität Rostock, DE)
- Mark D. Ryan (University of Birmingham, GB) [dblp]
- Gunter Saake (Universität Magdeburg, DE) [dblp]
- Pierre-Yves Schobbens (University of Namur, BE)
- Jeanine Souquieres (LORIA & INRIA - Nancy, FR)
- Birna Van Riemsdijk (Utrecht University, NL) [dblp]
- Carsten von Schwichow (TU Ilmenau, DE)
- Roel J. Wieringa (University of Twente, NL) [dblp]
- Martin Wirsing (LMU München, DE) [dblp]
- Nan Zhang (University of Birmingham, GB)