In recent years, concepts in object-oriented modeling and programming have been extended in several directions, giving rise to new paradigms such as age- orientation and feature-orientation. This volume came out of a Dagstuhl seminar exploring the relationship - tween the original paradigm and the two new ones. Following the success of the seminar, the idea emerged to edit a volume with contributions from parti- pants - including those who were invited but could not come. The participants' reaction was very positive, and so we, the organizers of the seminar, felt - couraged to edit this volume. All submissions were properly refereed, resulting in the present selection of high-quality papers in between the topics of objects, agents and features. The editors got help from a number of additional reviewers, viz. Peter Ahlbrecht, Daniel Amyot, Lynne Blair, Jan Broersen, Mehdi Dastani, Virginia Dignum, Dimitar Guelev, Benjamin Hirsch, Maik Kollmann, Alice Miller, Stephan Rei?-Marganiec, Javier Vazquez-Salceda, and Gerard Vreeswijk. Finally, we would like to take this opportunity to thank all the persons - volvedintherealizationoftheseminarandthisbook: attendees, authors, revi- ers, and, last but not least, the sta? from Schloss Dagstuhl and Springer-Verlag. February 2004 The Editors TableofContents Objects, Agents, and Features: An Introduction. . . . . . . . . . . . . . . . . . . . . . . . 1 John-Jules Ch. Meyer, Mark D. Ryan, and Hans-Dieter Ehrich Coordinating Agents in OO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, and John-Jules Ch. Meyer On Feature Orientation and on Requirements Encapsulation Using Families of Requirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Jan Bredereke Detecting Feature Interactions: How Many Components Do We Need?. . . .

Dies Buch ist aus der Uberarbeitung und Erweiterung von Notizen zu Vorlesungen entstan den, die seit 1977 zuniichst vom.ersten Autor an der Universitii.t Dortmund, seit 1982 dann von allen drei Autoren in wechselrider Folge an der Technischen Universitat Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei den theoretischen Grundlagen, jedoch haben die Moglichkeiten und Grenzen praktischer Anwendung die Auswahl und die Gestaltung' des Stoffes stark beeinflufit. Das Buch richtet sich vomehmlich an Informatiker, die sich mit Grundlagen des Software-Entwurfs auseinandersetzen wollen, und an Mathematiker, die sich fiir Anwendungen der universellen Algebra und der Logik in der Informatik interes sieren. Das Buch hat einfiihrenden Charakter. Die verwendeten Begriffe und Bezeichnungen wer den systematisch definiert und erl8.utert. Eine gewisse Vertrautheit mit allgemeinen Grund lagen der Informatik sowie eine gewisse mathematische Reife werden jedoch vorausgesetzt. Gelegentlich. wird zur illustration von Zusammenhii.ngen auf Konzepte und Begriffe aus der Theorie der formalen Sprachen und der Automatentheorie bezuggenommen, jedoch konnen diese Passagen iibergangen werden, ohne daB der Zusammenhang verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung - umfungreich und in viele Spezialgebiete verzweigt. Auch gibt es durchaus verschiedene Ansatze zur Gestaltung der Theorie und des Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen Altemativen und Verastelungen nachzuspiiren, sondem einen Kernbereich zu umreillen und diesen einheitlich und elementar darzustellen."