{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:50:56Z","timestamp":1725511856328},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_4","type":"book-chapter","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T15:54:46Z","timestamp":1209398086000},"page":"44-57","source":"Crossref","is-referenced-by-count":0,"title":["Refining Goal Models by Evaluating System Behaviour"],"prefix":"10.1007","author":[{"given":"Mirko","family":"Morandini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loris","family":"Penserini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"4_CR1","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":"4_CR2","doi-asserted-by":"crossref","unstructured":"Cheong, C., Winikoff, M.: Hermes: Designing Goal-Oriented Agent Interactions. In: The proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005) Utrecht, colocated with AAMAS 2005 (2005)","DOI":"10.1145\/1082473.1082653"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Conceptual Modeling - ER 2002","author":"P. Giorgini","year":"2002","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with Goal Models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol.\u00a02503, Springer, Heidelberg (2002)"},{"key":"4_CR4","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":"4_CR5","unstructured":"Jennings, N.: Foundations of Distributed Artificial Intelligence, chapter Coordination Techniques for Distributed Artificial Intelligence. Wiley-IEEE (1996)"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. Jennings","year":"1998","unstructured":"Jennings, N., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems\u00a01(1), 7\u201338 (1998)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards Requirements-Driven Autonomic Systems Design. In: Design and Evolution of Autonomic Application Software (DEAS 2005) at ICSE 2005 (2005)","DOI":"10.1145\/1083063.1083075"},{"issue":"1","key":"4_CR8","first-page":"27","volume":"11","author":"P. Norvig","year":"1997","unstructured":"Norvig, P., Cohn, D.: Adaptive software. PC AI\u00a011(1), 27\u201330 (1997)","journal-title":"PC AI"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A practical agent-oriented methodology. In: Henderson-Sellers, B., Giorgini, P. (eds.) Agent-Oriented Methodologies, Idea Group (2005)","DOI":"10.4018\/978-1-59140-581-8.ch005"},{"key":"4_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45074-2_9","volume-title":"Agents and Peer-to-Peer Computing","author":"L. Penserini","year":"2003","unstructured":"Penserini, L., Liu, L., Mylopoulos, J., Panti, M., Spalazzi, L.: Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. In: Moro, G., Koubarakis, M. (eds.) AP2PC 2002. LNCS (LNAI), vol.\u00a02530, Springer, Heidelberg (2003)"},{"key":"4_CR11","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: Sheory, O., Huhns, M. (eds.) AAMAS 2007, 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, Honolulu, Hawai\u2019i (2007), Extended version available as ITC-irst TR200601002 at: http:\/\/sra.itc.it\/images\/sepapers\/bdiagents_goalmodels.pdf","DOI":"10.1145\/1329125.1329307"},{"key":"4_CR12","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":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/11752660_13","volume-title":"Agent-Oriented Software Engineering VI","author":"A. Perini","year":"2006","unstructured":"Perini, A., Susi, A.: Automating Model Transformations in Agent-Oriented Modelling. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 167\u2013178. Springer, Heidelberg (2006)"},{"key":"4_CR14","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, vol.\u00a09, pp. 149\u2013174. Springer Science+Business Media Inc., USA (2005) (Book chapter)"},{"key":"4_CR15","unstructured":"Rao, A.S., Georgeff, M.P.: Modeling rational agents within a bdi-architecture. In: KR, pp. 473\u2013484 (1991)"},{"key":"4_CR16","unstructured":"Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on software Engineering and Methodology\u00a012(3), 317\u2013370 (2003)","journal-title":"ACM Transactions on software Engineering and Methodology"}],"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_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:23:20Z","timestamp":1619522600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79488-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540794875","9783540794882"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79488-2_4","relation":{},"subject":[]}}