Abstract
Agents and Multi-Agent Systems (MAS) are considered a suitable paradigm for engineering complex systems. Interaction is a primary source of this complexity and coordination plays a key role for its management, providing the means for modelling and shaping the agent interaction space so as to engineer the global behaviour of the system as a whole. Feature-based systems are certainly complex systems: they are generally composed by several interrelated parts which work together to provide global functionalities. The set of functionalities is not fixed, but typically evolves with the (dynamic) integration of new features. In this paper we investigate the possibility of using agents and coordination abstractions for the engineering of feature-based systems; in particular, typical feature issues – such as feature plug-and-play and the feature-interaction problem – are framed in the agent-based engineering context.
The content of the paper is articulated as follows: First, we provide an overview of agent-oriented software engineering, in particular of the reason why agent paradigm is suitable for complex systems. Here, the importance of the coordination dimension is reminded, in particular the adoption of suitable coordination artifacts to engineer collective behaviour of MAS is discussed. Then, features and feature-based systems are briefly considered, sketching some of the main characteristics which make them complex systems. After that, a perspective for engineering feature-based systems on top of agents and coordination artifacts is provided; the main points of the discussion are exemplified using the TuCSoN MAS coordination model & infrastructure applied to a simple case study typically found in the feature literature, an email service engineering.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems 6(1), 67–94 (1997)
Calder, M., Kolberg, M., Magill, E.H., Reiff-Marganiec, S.: Feature Interaction: a critical review and considered forecast. Computer Networks (41), 115–142 (2003)
Ciancarini, P., Omicini, A., Zambonelli, F.: Multiagent system engineering: the coordination viewpoint. In: Jennings, N.R., Lespérance, Y. (eds.) Intelligent Agents VI — Agent Theories, Architectures, and Languages, February 2000. LNCS (LNAI), vol. 1767, pp. 250–259. Springer, Heidelberg (2000)
Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: Proc. of the 1998 ACM Symposium on Applied Computing (SAC 1998), pp. 169–177. ACM, New York (1998), Track on Coordination Models, Languages and Applications
Gasser, L.: Mas infrastructure: Definitions, needs, and prospects. In: Wagner, T.A., Rana, O.F. (eds.) AA-WS 2000. LNCS (LNAI), vol. 1887, p. 1. Springer, Heidelberg (2001)
Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM 35(2), 97–107 (1992)
Hall, R.J.: Feature interactions in electronic mail. In: IEEE Workshop on Feature Interaction, IOS Press, Amsterdam (2000)
Iglesias, C., Garijo, M., Gonzalez, J.: A survey of agent-oriented methodologies. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 317–330. Springer, Heidelberg (1999)
Iglesias, C., Garijo, M., Gonzalez, J., Velasco, J.R.: Analysis and design of multiagent systems using MAS-common KADS. In: Agent Theories, Architectures and Languages, pp. 313–327 (1997)
Jennings, N., Bussmann, S.: Agent-based control systems: Why are they suited to engineering complex systems? Control Systems Magazine 23(3), 61–73 (2003)
Jennings, N.R., Wooldridge, M.: Agent-oriented software engineering. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol. 1647, Springer, Heidelberg (1999)
Keck, D., Kuehn, P.: The feature and service interaction problem in telecommunications systems: a survey. Transaction on Software Engineering 24(10), 779–796 (1998)
Omicini, A.: SODA: Societies and infrastructures in the analysis and design of agentbased systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)
Omicini, A., Denti, E.: Formal ReSpecT. In: Dovier, A., Meo, M.C., Omicini, A. (eds.) Declarative Programming – Selected Papers from AGP 2000. Electronic Notes in Theoretical Computer Science, vol. 48, pp. 179–196. Elsevier Science B. V, Amsterdam (2001)
Omicini, A., Denti, E.: From tuple spaces to tuple centres. Science of Computer Programming 41(3), 277–294 (2001)
Omicini, A., Ossowski, S.: Objective versus subjective coordination in the engineering of agent systems. In: Klusch, M., Bergamaschi, S., Edwards, P., Petta, P. (eds.) Intelligent Information Agents. LNCS (LNAI), vol. 2586, pp. 179–202. Springer, Heidelberg (2003)
Omicini, A., Ricci, A.: Reasoning about organisation: Shaping the infrastructure. AI*IA Notizie XVI(2), 7–16 (2003)
Omicini, A., Ricci, A., Viroli, M.: Formal specification and enactment of security policies through Agent Coordination Contexts. In: Focardi, R., Zavattaro, G. (eds.) Security Issues in Coordination Models, Languages and Systems, August 2003. Electronic Notes in Theoretical Computer Science, vol. 85(3), Elsevier Science B. V., Amsterdam (2003)
Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2(3), 251–269 (1999); Special Issue: Coordination Mechanisms for Web Agents
Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Advances in Computers 46 (The Engineering of Large Systems), 329–400 (1998)
Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P., Mylopoulos, J.: A knowledge level software engineering methodology for agent oriented programming. In: Proceedings of the International Conference on Autonomous Agent (Agents 2001) (May 2001)
Plath, M., Ryan, M.: Plug-and-play features. In: Kimbler, K., Bouma, L.G. (eds.) Feature Interactions in Telecommunications and Software Systems, pp. 150–164. IOS Press, Amsterdam (1998)
Prehofer, C.: Plug-and-play composition of features and feature interactions with statechard diagrams. In: IEEE Workshop on Feature Interaction, IOS Press, Amsterdam (2003)
Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 96–110. Springer, Heidelberg (2003)
Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. In: Brogi, A., Jacquet, J.-M. (eds.) FOCLASA 2002 – Foundations of Coordination Languages and Software Architecture, March 2003. Electronic Notes in Theoretical Computer Science, vol. 68(3), Elsevier Science B. V., Amsterdam (2003)
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 1–28. Springer, Heidelberg (2001)
Wooldridge, M., Ciancarini, P.: Agent-oriented software engineering: The state of the art. In: Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing, Singapore (2001)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Wooldridge, M.J., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)
Zambonelli, F., Jennings, N.R., Omicini, A., Wooldridge, M.: Agent-oriented software engineering for Internet applications. In: Omicini, A., Zambonelli, F., Klusch, M., Tolksdorf, R. (eds.) Coordination of Internet Agents, March 2001, ch. 13, pp. 369–398. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ricci, A. (2004). Agents and Coordination Artifacts for Feature Engineering. In: Ryan, M.D., Meyer, JJ.C., Ehrich, HD. (eds) Objects, Agents, and Features. Lecture Notes in Computer Science, vol 2975. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25930-5_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-25930-5_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21989-7
Online ISBN: 978-3-540-25930-5
eBook Packages: Springer Book Archive