High variability design for software agents: Extending tropos

ACM Transactions on Autonomous and Adaptive Systems

Volumn 2, Issue 4, 2007, Pages

  Penserini, Loris ^a   Perini, Anna ^a   Susi, Angelo ^a   Mylopoulos, John ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

Agent capability design; Agent oriented software engineering; Early requirements; Goal oriented requirements engineering

Indexed keywords

AGENT CAPABILITY DESIGN; AGENT ORIENTED SOFTWARE ENGINEERING; EXTENDING TROPOS; GOA ORIENTED REQUIREMENTS ENGINEERING;

COMPUTER AIDED DESIGN; ELECTRONIC COMMERCE; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS; NUMERICAL METHODS; SOFTWARE ENGINEERING;

SOFTWARE AGENTS;

EID: 36649035972     PISSN: 15564665     EISSN: 15564703     Source Type: Journal    
DOI: 10.1145/1293731.1293736     Document Type: Article

References (36)

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 AgentOriented 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 Sth 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 (ATALOl). 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'OB). 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 LAMBRK, 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 IACM 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'OS). 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 MultiAgent 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.