{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T05:40:02Z","timestamp":1746164402611,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642399749"},{"type":"electronic","value":"9783642399756"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-39975-6_14","type":"book-chapter","created":{"date-parts":[[2014,3,27]],"date-time":"2014-03-27T11:35:00Z","timestamp":1395920100000},"page":"463-490","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Tropos Software Engineering Methodology"],"prefix":"10.1007","author":[{"given":"Mirko","family":"Morandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiano","family":"Dalpiaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cu Duy","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Siena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,1,6]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s00766-010-0112-x","volume":"16","author":"Y. Asnar","year":"2011","unstructured":"Asnar, Y., Giorgini, P., Mylopoulos, J.: Goal-driven risk assessment in requirements engineering. Requir. Eng. 16(2), 101\u2013116 (2011)","journal-title":"Requir. Eng."},{"key":"14_CR2","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: JADE: a FIPA compliant agent framework. In: Practical Applications of Intelligent Agents and Multi-agents, pp. 97\u2013108, April 1999"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Programming Multi-agent Systems, pp. 44\u201365 (2004)","DOI":"10.1007\/978-3-540-32260-3_3"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: an agent-oriented software development methodology. Auton. Agent Multi Agent Syst. 8(3), 203\u2013236 (2004)","journal-title":"Auton. Agent Multi Agent Syst."},{"key":"14_CR5","first-page":"533","volume":"1","author":"V. Bryl","year":"2006","unstructured":"Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: exploring and evaluating alternatives. In: OTM Conferences (1), pp. 533\u2013550 (2006)","journal-title":"In: OTM Conferences"},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1504\/EG.2009.024443","volume":"6","author":"V. Bryl","year":"2009","unstructured":"Bryl, V., Dalpiaz, F., Ferrario, R., Mattioli, A., Villafiorita, A.: Evaluating procedural alternatives: a case study in e-voting. Electron. Gov. 6(2), 213\u2013231 (2009)","journal-title":"Electron. Gov."},{"key":"14_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L.K. Chung","year":"2000","unstructured":"Chung, L.K., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer, Dordrecht (2000)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE International Symposium on Requirements Engineering, pp. 174\u2013181. IEEE Computer Society, Toronto (Aug 2001)","DOI":"10.1109\/ISRE.2001.948557"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.engappai.2004.11.017","volume":"18","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Mylopoulous, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. Artif. Intell. 18(2), 159\u2013171 (2005)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Proceedings of the 13th IEEE International Requirements Engineering Conference (RE\u201905) (2005)","DOI":"10.1109\/RE.2005.43"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Hadar, I., Kuflik, T., Perini, A., Reinhartz-Berger, I., Ricca, F., Susi, A.: An empirical study of requirements model understanding: Use Case vs. tropos models. In: Symposium on Applied Computing, pp. 2324\u20132329 (2010)","DOI":"10.1145\/1774088.1774569"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kolp, M., Giorgini, P., Mylopoulos, J.: A goal-based organizational perspective on multi-agents architectures. In: Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001) (2001)","DOI":"10.1007\/3-540-45448-9_10"},{"key":"14_CR13","volume-title":"Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science, vol. 4951, pp. 182\u2013196. Springer, Berlin (2008). 8th International Workshop, AOSE 2007","author":"M. Morandini","year":"2007","unstructured":"Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A.: Tool-supported development with tropos: the conference management system case study. In Luck, M., Padgham, L. (eds.) Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science, vol. 4951, pp. 182\u2013196. Springer, Berlin (2008). 8th International Workshop, AOSE 2007, Honolulu, May 2007"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Morandini, M., Penserini, L., Perini, A.: Automated mapping from goal models to self-adaptive systems. In: 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2008), Tool Demo, pp. 485\u2013486 (Sept 2008)","DOI":"10.1109\/ASE.2008.83"},{"key":"14_CR15","unstructured":"Morandini, M., Penserini, L., Perini, A.: Operational semantics of goal models in adaptive agents. In: 8th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS\u201909). IFAAMAS, Richland (May 2009)"},{"key":"14_CR16","unstructured":"Morandini, M., Perini, A., Marchetto, A.: Empirical evaluation of tropos4as modelling. In: iStar, pp. 14\u201319 (2011)"},{"key":"14_CR17","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: eCAT: a tool for automating test cases generation and execution in testing multi-agent systems. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems: Demo Papers, pp.\u00a01669\u20131670. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2008)"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1504\/IJAOSE.2010.029810","volume":"4","author":"C.D. Nguyen","year":"2010","unstructured":"Nguyen, C.D., Perini, A., Tonella, P.: Goal-oriented testing for MASs. Int. J. Agent Oriented Softw. Eng. 4(1), 79\u2013109 (2010)","journal-title":"Int. J. Agent Oriented Softw. Eng."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Penserini, L., Perini, A., Susi, A., Morandini, M., Mylopoulos, J.: A design framework for generating BDI-agents from goal models. In: 6th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS\u201907), Honolulu, pp. 610\u2013612 (2007)","DOI":"10.1145\/1329125.1329307"},{"issue":"4","key":"14_CR20","doi-asserted-by":"crossref","first-page":"01","DOI":"10.1145\/1293731.1293736","volume":"2","author":"L. Penserini","year":"2007","unstructured":"Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High variability design for software agents: extending tropos. ACM Trans. Auton. Adapt. Syst. 2(4), 16:01\u201316:27 (2007)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"issue":"4","key":"14_CR21","first-page":"319","volume":"20","author":"A. Perini","year":"2005","unstructured":"Perini, A., Susi, A.: Agent-oriented visual modeling and model validation for engineering distributed systems. Comput. Syst. Sci. Eng. 20(4), 319\u2013329 (2005)","journal-title":"Comput. Syst. Sci. Eng."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Dix, J., Bordini, R., Dastani, M., El\u00a0Fallah Seghrouchni, A. (eds.) Multi-agent Programming, vol. 9, pp. 149\u2013174. Springer Science+Business Media Inc., New York (2005). Book chapter","DOI":"10.1007\/0-387-26350-0_6"},{"issue":"4","key":"14_CR23","first-page":"401","volume":"29","author":"A. Susi","year":"2005","unstructured":"Susi, A., Perini, A., Mylopoulos, J., Giorgini, P.: The tropos metamodel and its use. Informatica (Slovenia) 29(4), 401\u2013408 (2005)","journal-title":"Informatica (Slovenia)"},{"key":"14_CR24","unstructured":"Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, Department of Computer Science, University of Toronto (1995)"}],"container-title":["Handbook on Agent-Oriented Design Processes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39975-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T05:23:40Z","timestamp":1746163420000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39975-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642399749","9783642399756"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39975-6_14","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"6 January 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}