article

High variability design for software agents: Extending Tropos

Authors:

Loris Penserini,

John MylopoulosAuthors Info & Claims

ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 2, Issue 4

Pages 16 - es

https://doi.org/10.1145/1293731.1293736

Published: 01 November 2007 Publication History

Abstract

Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)—be they software components, human actors or organizational units—cooperate with each other to achieve shared goals. The multi-agent system metaphor fits very well such settings because it is founded on intentional and social concepts and mechanisms. Not surprisingly, many agent-oriented software development methods have been proposed, including GAIA, PASSI, and Tropos. This paper extends the Tropos methodology, enhancing its ability to support high variability design through the explicit modelling of alternatives, it adopts an extended notion of agent capability and proposes a refined Tropos design process. The paper also presents an implemented software development environment for Tropos, founded on the Model-Driven Architecture (MDA) framework and standards. The extended Tropos development process is illustrated through a case study involving an e-commerce application.

References

[1]

Bauer, B., Muller, J. P., and Odell, J. 2001. Agent UML: A formalism for specifying multiagent software systems. Int. J. Softw. Engin. Knowl. Engin. 11, 3, 1--24.

[2]

Bellifemine, F., Poggi, A., and Rimassa, G. 1998. JADE: A FIPA compliant agent framework. In Practical Applications of Intelligent Agents and Multi-Agents Technology (PAAM'98). 97--108.

[3]

Bergenti, F., Gleizes, M.-P., and Zambonelli, F., Eds. 2004. Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 11. Springer.

[4]

Bernon, C., Gleizes, M. P., Peyruqueou, S., and Glize, P. 2002. ADELFE: A methodology for adaptive multi-agent systems engineering. In Engineering Societies in the Agents World III, 3rd International Workshop (ESAW'02). P. Petta, R. Tolksdorf, and F. Zambonelli, Eds. Lecture Notes in Computer Science, vol. 2577. Springer, 156--169.

[5]

Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., and Perini, A. 2004. Tropos: An agent-oriented software development methodology. Autonom. Agents Multi-Agent Syst. 8, 3, 203-- 236.

[6]

Bryl, V., Giorgini, P., and Mylopoulos, J. 2006. Designing cooperative IS: Exploring and evaluating alternatives. In Proceedings of On The Move (OTM) Conferences (1), Montpellier, France. Lecture Notes in Computer Science, vol. 4275. Springer, 533--550.

[7]

Bryson, J., Martin, D., McIlraith, S., and Stein, L. 2002. Toward behavioral intelligence in the semantic web. IEEE Comput. 35, 11, 48--54.

[8]

Castro, J., Kolp, M., and Mylopoulos, J. 2002. Towards requirements-driven information systems engineering: The Tropos Project. Inform. Syst. 27, 6, 365--389.

[9]

Cossentino, M. 2005. From requirements to code with the PASSI methodology. In Agent-Oriented Methodologies, B. Henderson-Sellers and P. Giorgini, Eds. Idea Group Inc., Hershey, PA, Chapter 4, 79--106.

[10]

Dam, K. and Winikoff, M. 2003. Comparing agent-oriented methodologies. In Proceedings of the 5th International Bi-Conference Workshop on AgentOriented Information Systems (AOIS'03). P. Giorgini, B. Henderson-Sellers, and M. Winikoff, Eds. Lecture Notes in Computer Science, vol. 3030. Springer, 78--93.

[11]

DeLoach, S., Wood, M., and Sparkman, C. 2001. Multiagent systems engineering. Int. J. Soft. Engin. Knowl. Engin. 11, 3, 231--258.

[12]

Duddy, K., Lawley, M., and Iyengar, S. 2004. MOF Query/Views/Transformations, Second Revised Submission.

[13]

Fuxman, A., Liu, L., Mylopoulos, J., Roveri, M., and Traverso, P. 2004. Specifying and analyzing early requirements in Tropos. Requir. Engin. 9, 2, 132--150.

[14]

Gardner, T., Griffin, C., Koehler, J., and Hauser, R. 2003. A Review of OMG MOF 2.0 Query /Views /Transformations Submissions and Recommendations.

[15]

Giorgini, P., Mylopoulous, J., and Sebastiani, R. 2005. Goal-oriented requirements analysis and reasoning in the tropos methodology. Engin. Appli. AI 18, 2, 159--171.

[16]

Henderson-Sellers, B. and Giorgini, P., Eds. 2005. Agent-Oriented Methodologies. Idea Group Inc., Hershey, PA.

[17]

Jayatilleke, G., Padgham, L., and Winikoff, M. 2005. A model driven component-based development framework for agents. Comput. Syst. Sci. Engin. 20, 4, 273--282.

[18]

Juan, T., Pearce, A., and Sterling, L. 2002. ROADMAP: Extending the gaia methodology for complex open systems. In Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'02). ACM, 3--10.

[19]

Judson, S. R., France, R. B., and Carver, D. L. 2004. Specifying Model Transformations at the Metamodel Level. http://www.omg.org.

[20]

Kolp, M., Giorgini, P., and Mylopoulos, J. 2001. A goal-based organizational perspective on multi-agents architectures. In Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL'01). J.-J. C. Meyer and M. Tambe, Eds. Lecture Notes in Computer Science, vol. 2333. Springer, 128--140.

[21]

Lapouchnian, A., Liaskos, S., Mylopoulos, J., and Yu, Y. 2005. Towards requirements-driven autonomic systems design. In Workshop on Design an Evolution of Autonomic Application Software (DEAS'05). 45--51. ACM SIGSOFT Software Engineering.

[22]

Liaskos, S., McIlraith, S., and Mylopoulos, J. 2006. Representing and reasoning with preference requirements using goals. Tech. rep. CSRG-542, Computer Science Department, University of Toronto.

[23]

Mellor, S. J., Scott, K., Uhl, A., and Weise, D. 2004. MDA Distilled. Addison-Wesley.

[24]

Padgham, L. and Lambrix, P. 2005. Formalizations of Capabilities for BDI-Agents. Autonom. Agents Multi-Agent Syst. 10, 3, 249--271.

[25]

Padgham, L. and Winikoff, M. 2004. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons.

[26]

Penserini, L., Kolp, M., and Spalazzi, L. 2007. Social-oriented engineering of intelligent software. Web Intel. Agent Syst. Inter. J. 5, 1, 69--87.

[27]

Penserini, L., Perini, A., Susi, A., and Mylopoulos, J. 2006a. From capability specifications to code for multi-agent software. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06). IEEE Computer Society, 253--256.

[28]

Penserini, L., Perini, A., Susi, A., and Mylopoulos, J. 2006b. From stakeholder intentions to software agent implementations. In Proceedings of the Advanced Information Systems Engineering, 18th International Conference (CAiSE'06). E. Dubois and K. Pohl, Eds. Lecture Notes in Computer Science, vol. 4001. Springer, 465--479.

[29]

Perini, A. and Susi, A. 2005. Agent-oriented visual modeling and model validation for engineering distributed systems. Comput. Syst. Sci. Engin. 20, 4, 319--329.

[30]

Perini, A. and Susi, A. 2006. Automating model transformations in agent-oriented modelling. In Agent-Oriented Software Engineering 6th International Workshop (AOSE'05). J. P. Müller and F. Zambonelli, Eds. Lecture Notes in Computer Science, vol. 3950. Springer, 167--178.

[31]

Pokahr, A., Braubach, L., and Lamersdorf, W. 2005. Jadex: A BDI reasoning engine. In Multi-Agent Programming, R. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, Eds. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, 149--174.

[32]

Sebastiani, R., Giorgini, P., and Mylopoulos, J. 2004. Simple and minimum-cost satisfiability for goal models. In Proceedings of the Advanced Information Systems Engineering 16th International Conference (CAiSE'04). A. Persson and J. Stirna, Eds. Lecture Notes in Computer Science, vol. 3084. Springer, 20--35.

[33]

Shehory, O. and Sturm, A. 2001. Evaluation of modeling techniques for agent-based systems. In 5th International Conference on Autonomous Agents. ACM, 624--631.

[34]

Susi, A., Perini, A., Giorgini, P., and Mylopoulos, J. 2005. The Tropos metamodel and its use. Informatica 29, 4, 401--408.

[35]

Yu, E. 1995. Modelling strategic relationships for process reengineering. Ph.D. thesis, Computer Science Department, University of Toronto.

[36]

Zambonelli, F., Jennings, N. R., and Wooldridge, M. 2003. Developing multiagent systems: the GAIA methodology. ACM Trans. Soft. Engin. Method. 12, 3, 317--370.

Cited By

Ayala IAmor MFuentes L(2023)Analysing Requirements Specification Languages for Self-adaptive AAL SystemsProceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023)10.1007/978-3-031-48642-5_14(143-154)Online publication date: 26-Nov-2023
https://doi.org/10.1007/978-3-031-48642-5_14
Khanfir EBen Djemaa RAmous I(2018)Automatic Adaptable Intentional Service Generating and Publishing Framework using OWL-S AnnotationInternational Journal of Web Services Research10.4018/IJWSR.201801010115:1(1-26)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJWSR.2018010101
Ramanathan R(2018)Service-Driven ComputingInformation Retrieval and Management10.4018/978-1-5225-5191-1.ch102(2287-2311)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-5191-1.ch102
Show More Cited By

Index Terms

High variability design for software agents: Extending Tropos
1. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods

Recommendations

The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation

The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial. Goals also play a key role in the implementation of proactive software ...
A software engineering process for BDI agents
KES-AMSTA'08: Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications

Software agents provide an increasingly popular approach to software engineering, offering a fundamentally different design technique for software development based around the creation and deployment of autonomous software components. One of the leading ...
Motivation for a new formal framework for agent-oriented software engineering

Agent-Oriented Software Engineering (AOSE) poses several challenges to the traditional theory and practice of software engineering with the emergence of a variety of theories and tools proposed to deal with this challenge. Agent frameworks with formal ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Autonomous and Adaptive Systems

ACM Transactions on Autonomous and Adaptive Systems Volume 2, Issue 4

November 2007

106 pages

ISSN:1556-4665

EISSN:1556-4703

DOI:10.1145/1293731

Issue’s Table of Contents

Copyright © 2007 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 2007

Published in TAAS Volume 2, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

59
Total Citations
View Citations
1,262
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Ayala IAmor MFuentes L(2023)Analysing Requirements Specification Languages for Self-adaptive AAL SystemsProceedings of the 15th International Conference on Ubiquitous Computing & Ambient Intelligence (UCAmI 2023)10.1007/978-3-031-48642-5_14(143-154)Online publication date: 26-Nov-2023
https://doi.org/10.1007/978-3-031-48642-5_14
Khanfir EBen Djemaa RAmous I(2018)Automatic Adaptable Intentional Service Generating and Publishing Framework using OWL-S AnnotationInternational Journal of Web Services Research10.4018/IJWSR.201801010115:1(1-26)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.4018/IJWSR.2018010101
Ramanathan R(2018)Service-Driven ComputingInformation Retrieval and Management10.4018/978-1-5225-5191-1.ch102(2287-2311)Online publication date: 2018
https://doi.org/10.4018/978-1-5225-5191-1.ch102
Khanfir EDjemaa RAmous I(2018)Non-functional parameters and automatic generation and publishing for Web service description improvementService Oriented Computing and Applications10.1007/s11761-018-0227-312:2(155-168)Online publication date: 1-Jun-2018
https://dl.acm.org/doi/10.1007/s11761-018-0227-3
Penserini LTonucci EIppoliti GDi Labbio J(2017)Development framework for DRONEs as smart autonomous systems2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)10.1109/IISA.2017.8316360(1-6)Online publication date: Aug-2017
https://doi.org/10.1109/IISA.2017.8316360
Morandini MPenserini LPerini AMarchetto A(2017)Engineering requirements for adaptive systemsRequirements Engineering10.1007/s00766-015-0236-022:1(77-103)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00766-015-0236-0
Wautelet YKolp M(2016)Business and model-driven development of BDI multi-agent systemsNeurocomputing10.1016/j.neucom.2015.12.022182:C(304-321)Online publication date: 19-Mar-2016
https://dl.acm.org/doi/10.1016/j.neucom.2015.12.022
Khanfir EDjmeaa RAmous I(2015)Quality and Context Awareness Intention Web Service OntologyProceedings of the 2015 IEEE World Congress on Services10.1109/SERVICES.2015.65(121-125)Online publication date: 27-Jun-2015
https://dl.acm.org/doi/10.1109/SERVICES.2015.65
Suwardi ILestari DSatya D(2015)Handling arbitrary polygon query based on the boolean overlay on a geographical information system2015 2nd International Conference on Advanced Informatics: Concepts, Theory and Applications (ICAICTA)10.1109/ICAICTA.2015.7335376(1-4)Online publication date: Aug-2015
https://doi.org/10.1109/ICAICTA.2015.7335376
Suwardi IAradea (2015)Automatically relation modeling on spatial relationship as self-adaptation ability2015 2nd International Conference on Advanced Informatics: Concepts, Theory and Applications (ICAICTA)10.1109/ICAICTA.2015.7335356(1-6)Online publication date: Aug-2015
https://doi.org/10.1109/ICAICTA.2015.7335356
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents