{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:00Z","timestamp":1725511860834},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540794875"},{"type":"electronic","value":"9783540794882"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79488-2_14","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:54:46Z","timestamp":1209398086000},"page":"182-196","source":"Crossref","is-referenced-by-count":13,"title":["Tool-Supported Development with Tropos: The Conference Management System Case Study"],"prefix":"10.1007","author":[{"given":"Mirko","family":"Morandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duy Cu","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Siena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","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 (1999)"},{"key":"14_CR2","unstructured":"Bertolini, D., Novikau, A., Susi, A., Perini, A.: TAOM4E: An Eclipse ready tool for Agent-Oriented Modeling. Issue on the development process. Technical report, Fondazione Bruno Kessler - irst (2006)"},{"issue":"3","key":"14_CR3","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. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: Exploring and evaluating alternatives. In: OTM Conferences (1), pp. 533\u2013550 (2006)","DOI":"10.1007\/11914853_32"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Dam, K., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: Proceedings of the 5th Int\u2019l Bi-Conference Workshop on AgentOriented Information Systems (AOIS), Melbourne, Australia (2003)","DOI":"10.1007\/978-3-540-25943-5_6"},{"key":"14_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-47922-8_1","volume-title":"Advances in Artificial Intelligence","author":"S.A. DeLoach","year":"2002","unstructured":"DeLoach, S.A.: Modeling organizational rules in the multi-agent systems engineering methodology. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol.\u00a02338, pp. 1\u201315. Springer, Heidelberg (2002)"},{"volume-title":"Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook","year":"2004","key":"14_CR7","unstructured":"Federico Bergenti, M.-P.G., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Springer, Heidelberg (2004)"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in tropos. Requir. Eng.\u00a09(2), 132\u2013150 (2004)","journal-title":"Requir. Eng."},{"key":"14_CR9","first-page":"174","volume-title":"IEEE Int. Symposium on Requirements Engineering","author":"A. Fuxman","year":"2001","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE Int. Symposium on Requirements Engineering, Toronto, CA, August 2001, pp. 174\u2013181. IEEE Computer Society Press, Los Alamitos (2001)"},{"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 2005) (2005)","DOI":"10.1109\/RE.2005.43"},{"key":"14_CR11","unstructured":"Giorgini, P., Mylopoulos, J., Perini, A., Susi, A.: The Tropos Methodology and Software Development Environment. In: Giorgini, P., Maiden, N., Mylopoulos, J., Yu, E. (eds.) Social Modelling for Requirements Engineering, MIT Press, Cambridge (to appear)"},{"issue":"2","key":"14_CR12","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. Engineering Applications of Artificial Intelligence\u00a018(2), 159\u2013171 (2005)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)","DOI":"10.4018\/978-1-59140-581-8"},{"key":"14_CR14","unstructured":"Morandini, M.: Knowledge Level Engineering of BDI Agents. Master\u2019s thesis, Dept. of Computer Science, University of Trento, Italy (2006), http:\/\/dit.unitn.it\/~morandini\/resources\/ThesisMirkoMorandini.pdf"},{"key":"14_CR15","unstructured":"Morandini, M., Penserini, L., Perini, A., Susi, A.: Refining goal models by evaluating system behaviour. In: 8th International Workshop on Agent-Oriented Software Engineering, AAMAS (May 2007)"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-72830-6","volume-title":"8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007","author":"D.C. Nguyen","year":"2007","unstructured":"Nguyen, D.C., Perini, A., Tonella, P.: A goal-oriented software testing methodology. In: 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007. LNCS, vol.\u00a04951, Springer, Heidelberg (2007)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/11767138_31","volume-title":"Advanced Information Systems Engineering","author":"L. Penserini","year":"2006","unstructured":"Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Software Agent Implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 465\u2013479. Springer, Heidelberg (2006)"},{"key":"14_CR18","volume-title":"Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007)","author":"L. Penserini","year":"2007","unstructured":"Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Agent Capabilities. In: Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Haway, USA, ACM Press, New York (2007)"},{"issue":"4","key":"14_CR19","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. Computer Systems Science & Engineering\u00a020(4), 319\u2013329 (2005)","journal-title":"Computer Systems Science & Engineering"},{"issue":"3","key":"14_CR20","first-page":"76","volume":"3","author":"A. Pokahr","year":"2003","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: Implementing a bdi-infrastructure for jade agents. EXP - in search of innovation (Special Issue on JADE)\u00a03(3), 76\u201385 (2003)","journal-title":"EXP - in search of innovation (Special Issue on JADE)"},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming","author":"A. Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Bordini, J.D.R., Dastani, M., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming, pp. 149\u2013174. Springer Science, Business Media Inc. (2005)"},{"key":"14_CR22","unstructured":"Siena, A.: Engineering Normative Requirements. In: Proceedings of the First International Conference on Research Challenges in Information Science, RCIS 2007, Ouarzazate, Morocco, pp. 439\u2013444 (2007)"},{"issue":"1","key":"14_CR23","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1590\/S0104-65002005000200004","volume":"11","author":"R.G.-S. Souza","year":"2005","unstructured":"Souza, R.G.-S., Perini, A.: Analyzing requirements of knowledge management systems with the support of agent organizations. Journal of the Brazilian Computer Society (JCBS)\u00a011(1), 51\u201362 (2005), ISSN 0104-6500","journal-title":"Journal of the Brazilian Computer Society (JCBS)"},{"key":"14_CR24","unstructured":"Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering VIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79488-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:23:17Z","timestamp":1619522597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79488-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540794875","9783540794882"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79488-2_14","relation":{},"subject":[]}}