{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,25]],"date-time":"2023-11-25T09:42:13Z","timestamp":1700905333883},"reference-count":35,"publisher":"Association for Computing Machinery (ACM)","issue":"4","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2007,11]]},"abstract":"\n Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)\u2014be they software components, human actors or organizational units\u2014cooperate 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\n Tropos<\/jats:italic>\n . This paper extends the\n Tropos<\/jats:italic>\n 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\n Tropos<\/jats:italic>\n design process. The paper also presents an implemented software development environment for\n Tropos<\/jats:italic>\n , founded on the Model-Driven Architecture (MDA) framework and standards. The extended\n Tropos<\/jats:italic>\n development process is illustrated through a case study involving an e-commerce application.\n <\/jats:p>","DOI":"10.1145\/1293731.1293736","type":"journal-article","created":{"date-parts":[[2007,11,30]],"date-time":"2007-11-30T14:24:58Z","timestamp":1196432698000},"page":"16","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["High variability design for software agents"],"prefix":"10.1145","volume":"2","author":[{"given":"Loris","family":"Penserini","sequence":"first","affiliation":[{"name":"Fondazione Bruno Kessler - irst, Povo-Trento, Italy"}]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - irst, Povo-Trento, Italy"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler - irst, Povo-Trento, Italy"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[{"name":"University of Trento, Povo-Trento, Italy"}]}],"member":"320","published-online":{"date-parts":[[2007,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218194001000517","article-title":"Agent UML: A formalism for specifying multiagent software systems","volume":"11","author":"Bauer B.","year":"2001","unstructured":"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 . 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.","journal-title":"Int. J. Softw. Engin. Knowl. Engin."},{"key":"e_1_2_1_2_1","volume-title":"JADE: A FIPA compliant agent framework. In Practical Applications of Intelligent Agents and Multi-Agents Technology (PAAM'98). 97--108.","author":"Bellifemine F.","year":"1998","unstructured":"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. 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."},{"key":"e_1_2_1_3_1","volume-title":"Eds","author":"Bergenti F.","year":"2004","unstructured":"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 . 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."},{"key":"e_1_2_1_4_1","volume-title":"3rd International Workshop (ESAW'02)","volume":"2577","author":"Bernon C.","unstructured":"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. 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."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of On The Move (OTM) Conferences (1)","volume":"4275","author":"Bryl V.","year":"1914","unstructured":"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. 10.1007\/1 1914 853_32 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. 10.1007\/11914853_32"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2002.1046974"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(02)00012-1"},{"key":"e_1_2_1_9_1","first-page":"79","article-title":"From requirements to code with the PASSI methodology. In Agent-Oriented Methodologies, B. Henderson-Sellers and P. Giorgini, Eds. Idea Group Inc., Hershey, PA","volume":"4","author":"Cossentino M.","year":"2005","unstructured":"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 . 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.","journal-title":"Chapter"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the 5th International Bi-Conference Workshop on AgentOriented Information Systems (AOIS'03)","volume":"3030","author":"Dam K.","unstructured":"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. 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."},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1142\/S0218194001000542","article-title":"Multiagent systems engineering","volume":"11","author":"DeLoach S.","year":"2001","unstructured":"DeLoach , S. , Wood , M. , and Sparkman , C. 2001 . Multiagent systems engineering . Int. J. Soft. Engin. Knowl. Engin. 11 , 3, 231 -- 258 . DeLoach, S., Wood, M., and Sparkman, C. 2001. Multiagent systems engineering. Int. J. Soft. Engin. Knowl. Engin. 11, 3, 231--258.","journal-title":"Int. J. Soft. Engin. Knowl. Engin."},{"key":"e_1_2_1_12_1","unstructured":"Duddy K. Lawley M. and Iyengar S. 2004. MOF Query\/Views\/Transformations Second Revised Submission. Duddy K. Lawley M. and Iyengar S. 2004. MOF Query\/Views\/Transformations Second Revised Submission."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0191-7"},{"key":"e_1_2_1_14_1","unstructured":"Gardner T. Griffin C. Koehler J. and Hauser R. 2003. A Review of OMG MOF 2.0 Query \/Views \/Transformations Submissions and Recommendations. Gardner T. Griffin C. Koehler J. and Hauser R. 2003. A Review of OMG MOF 2.0 Query \/Views \/Transformations Submissions and Recommendations."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.017"},{"key":"e_1_2_1_16_1","volume-title":"Eds","author":"Henderson-Sellers B.","year":"2005","unstructured":"Henderson-Sellers , B. and Giorgini , P. , Eds . 2005 . Agent-Oriented Methodologies. Idea Group Inc ., Hershey, PA. Henderson-Sellers, B. and Giorgini, P., Eds. 2005. Agent-Oriented Methodologies. Idea Group Inc., Hershey, PA."},{"key":"e_1_2_1_17_1","first-page":"273","article-title":"A model driven component-based development framework for agents","volume":"20","author":"Jayatilleke G.","year":"2005","unstructured":"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 . 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.","journal-title":"Comput. Syst. Sci. Engin."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 1st International Joint Conference on Autonomous Agents & Multi-Agent Systems (AAMAS'02)","author":"Juan T.","unstructured":"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. 10.1145\/544741.544744 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. 10.1145\/544741.544744"},{"key":"e_1_2_1_19_1","unstructured":"Judson S. R. France R. B. and Carver D. L. 2004. Specifying Model Transformations at the Metamodel Level. http:\/\/www.omg.org. Judson S. R. France R. B. and Carver D. L. 2004. Specifying Model Transformations at the Metamodel Level. http:\/\/www.omg.org."},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 8th International Workshop on Agent Theories, Architectures, and Languages (ATAL'01)","volume":"2333","author":"Kolp M.","unstructured":"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. 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."},{"key":"e_1_2_1_21_1","volume-title":"Workshop on Design an Evolution of Autonomic Application Software (DEAS'05)","author":"Lapouchnian A.","unstructured":"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. 10.1145\/1083063.1083075 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. 10.1145\/1083063.1083075"},{"key":"e_1_2_1_22_1","unstructured":"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. 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."},{"key":"e_1_2_1_23_1","unstructured":"Mellor S. J. Scott K. Uhl A. and Weise D. 2004. MDA Distilled. Addison-Wesley. Mellor S. J. Scott K. Uhl A. and Weise D. 2004. MDA Distilled. Addison-Wesley."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-004-4345-2"},{"key":"e_1_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Padgham L. and Winikoff M. 2004. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons. Padgham L. and Winikoff M. 2004. Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons.","DOI":"10.1002\/0470861223"},{"key":"e_1_2_1_26_1","first-page":"69","article-title":"Social-oriented engineering of intelligent software","volume":"5","author":"Penserini L.","year":"2007","unstructured":"Penserini , L. , Kolp , M. , and Spalazzi , L. 2007 . Social-oriented engineering of intelligent software . Web Intel. Agent Syst. Inter. J. 5 , 1, 69 -- 87 . Penserini, L., Kolp, M., and Spalazzi, L. 2007. Social-oriented engineering of intelligent software. Web Intel. Agent Syst. Inter. J. 5, 1, 69--87.","journal-title":"Web Intel. Agent Syst. Inter. J."},{"key":"e_1_2_1_27_1","volume-title":"Proceedings of the 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)","author":"Penserini L.","year":"2006","unstructured":"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. 10.1109\/ASE. 2006 .38 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. 10.1109\/ASE.2006.38"},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the Advanced Information Systems Engineering, 18th International Conference (CAiSE'06)","volume":"4001","author":"Penserini L.","unstructured":"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. 10.1007\/11767138_31 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. 10.1007\/11767138_31"},{"key":"e_1_2_1_29_1","first-page":"319","article-title":"Agent-oriented visual modeling and model validation for engineering distributed systems","volume":"20","author":"Perini A.","year":"2005","unstructured":"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 . 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.","journal-title":"Comput. Syst. Sci. Engin."},{"key":"e_1_2_1_30_1","volume-title":"Agent-Oriented Software Engineering 6th International Workshop (AOSE'05)","volume":"3950","author":"Perini A.","unstructured":"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\u00fcller and F. Zambonelli, Eds. Lecture Notes in Computer Science , vol. 3950 . Springer, 167--178. 10.1007\/11752660_13 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\u00fcller and F. Zambonelli, Eds. Lecture Notes in Computer Science, vol. 3950. Springer, 167--178. 10.1007\/11752660_13"},{"key":"e_1_2_1_31_1","volume-title":"Jadex: A BDI reasoning engine","author":"Pokahr A.","year":"2005","unstructured":"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. 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."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the Advanced Information Systems Engineering 16th International Conference (CAiSE'04)","volume":"3084","author":"Sebastiani R.","unstructured":"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. 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."},{"key":"e_1_2_1_33_1","volume-title":"5th International Conference on Autonomous Agents. ACM, 624--631","author":"Shehory O.","unstructured":"Shehory , O. and Sturm , A . 2001. Evaluation of modeling techniques for agent-based systems . In 5th International Conference on Autonomous Agents. ACM, 624--631 . 10.1145\/375735.376473 Shehory, O. and Sturm, A. 2001. Evaluation of modeling techniques for agent-based systems. In 5th International Conference on Autonomous Agents. ACM, 624--631. 10.1145\/375735.376473"},{"key":"e_1_2_1_34_1","first-page":"401","article-title":"The Tropos metamodel and its use","volume":"29","author":"Susi A.","year":"2005","unstructured":"Susi , A. , Perini , A. , Giorgini , P. , and Mylopoulos , J. 2005 . The Tropos metamodel and its use . Informatica 29 , 4, 401 -- 408 . Susi, A., Perini, A., Giorgini, P., and Mylopoulos, J. 2005. The Tropos metamodel and its use. Informatica 29, 4, 401--408.","journal-title":"Informatica"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1293731.1293736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T20:31:32Z","timestamp":1672259492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1293731.1293736"}},"subtitle":["Extending Tropos"],"short-title":[],"issued":{"date-parts":[[2007,11]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,11]]}},"alternative-id":["10.1145\/1293731.1293736"],"URL":"https:\/\/doi.org\/10.1145\/1293731.1293736","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"value":"1556-4665","type":"print"},{"value":"1556-4703","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,11]]},"assertion":[{"value":"2007-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}