{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:18:08Z","timestamp":1725538688587},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387848099"},{"type":"electronic","value":"9780387848105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/b137171_70","type":"book-chapter","created":{"date-parts":[[2009,9,22]],"date-time":"2009-09-22T21:01:09Z","timestamp":1253653269000},"page":"675-683","source":"Crossref","is-referenced-by-count":0,"title":["Requirements Modeling with Agent Programming"],"prefix":"10.1007","author":[{"given":"Aniruddha","family":"Dasgupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aneesh","family":"Krishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya K.","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,3]]},"reference":[{"key":"70_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5269-7","volume-title":"Non-Functional Requirements in Software Engineering","author":"L. Chung","year":"2000","unstructured":"L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Boston, 2000."},{"key":"70_CR2","unstructured":"A. Dasgupta, and A. K. Ghose. CASO: A framework for dealing with objectives in a constraint-based extension to Agentspeak(L). In Proceedings of the 2006 Australasian Computer Science Conference, 2006, pp. 121\u2013126."},{"key":"70_CR3","doi-asserted-by":"crossref","unstructured":"A. Dasgupta, A. Krishna, and A. K. Ghose. Co-evolution of agent-oriented conceptual models and CASO agent programs. In IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology, Hong Kong, China (IAT\u201906), 2006, pp. 686\u2013689.","DOI":"10.1109\/IAT.2006.46"},{"key":"70_CR4","doi-asserted-by":"crossref","unstructured":"A. Dasgupta, A. Krishna, and A. K. Ghose. Agent based executable conceptual models using i* and CASO. In Proceedings of ER Workshops, NZ, 2007. pp. 276\u2013285.","DOI":"10.1007\/978-3-540-76292-8_33"},{"key":"70_CR5","unstructured":"A. Fuxman, R. Kazhamiakin, M. Pistore, and M. Roveri. Formal Tropos: language and semantics. 2003."},{"issue":"7","key":"70_CR6","doi-asserted-by":"publisher","first-page":"587","DOI":"10.1016\/j.is.2004.11.006","volume":"30","author":"G. Gans","year":"2005","unstructured":"G. Gans, M. Jarke, G. Lakemeyer, and D. Schmitz. Deliberation in a metadatabased modeling and simulation environment for inter-organizational networks. Information Systems, 30(7), pp. 587\u2013607, 2005, Elsevier Science Ltd.","journal-title":"Information Systems"},{"key":"70_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. D. Giacomo","year":"2000","unstructured":"G. D. Giacomo, Y. Lesperance, and H. J. Levesque. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, pp. 109\u2013169, 2000.","journal-title":"Artificial Intelligence"},{"key":"70_CR8","doi-asserted-by":"crossref","unstructured":"B. Hui, S. Liaskos, and J. Mylopoulos. Requirements analysis for customizable software goals-skills-preferences framework. In International Requirements Engineering Conference, RE (2003). IEEE, 2003, pp. 117\u2013126.","DOI":"10.1109\/ICRE.2003.1232743"},{"key":"70_CR9","doi-asserted-by":"crossref","unstructured":"A. Krishna, Y. Guan, and A. K. Ghose. Co-evolution of i* models and 3apl agents. In Sixth International Conference on Quality Software (QSIC\u201906), 2006, pp. 117\u2013124.","DOI":"10.1109\/QSIC.2006.19"},{"key":"70_CR10","volume-title":"Modeling mental states in requirements engineering an agent-oriented framework based on i* and CASL","author":"A. Lapouchnian","year":"2004","unstructured":"A. Lapouchnian. Modeling mental states in requirements engineering an agent-oriented framework based on i* and CASL. MSc Thesis, York Univeristy, Canada, 2004."},{"key":"70_CR11","doi-asserted-by":"crossref","unstructured":"A. Lapouchnian, and Y. Lesperance. Modeling mental states in the analysis of multiagent systems requirements. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems(AAMAS 2006). ACM, New York, USA, pp. 241\u2013243.","DOI":"10.1145\/1160633.1160675"},{"key":"70_CR12","doi-asserted-by":"crossref","unstructured":"B. Nuseibeh, and S. Easterbrook. Requirements engineering: a roadmap. In Proceedings of 22nd International Conference on Software Engineering-Future of SE Track, June 4\u201311, 2000, Limerick, Ireland, pp. 35\u201346.","DOI":"10.1145\/336512.336523"},{"key":"70_CR13","unstructured":"A. Rao. Agentspeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away: Proceedings of the 7th European WS on Modelling Autonomous Agents in a Multi-Agent World. Springer, Berlin, 1996."},{"key":"70_CR14","unstructured":"A.S. Rao and M. Georgeff. BDI agents: from theory to practice, In Proceedings of First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, 1995, pp. 312\u2013319."},{"key":"70_CR15","unstructured":"E. Yu. Modelling strategic relationships for process reengineering, PhD Thesis. University of Toronto, Canada, 1995."},{"key":"70_CR16","doi-asserted-by":"crossref","unstructured":"E. Yu. Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE\u201997), Washington D.C., USA, January 6\u20138, pp. 226\u2013235, 1997.","DOI":"10.1109\/ISRE.1997.566873"},{"key":"70_CR17","unstructured":"X. Wang and Y. Lesperance. Agent-oriented requirements engineering using ConGolog and i*. In Proceedings of the 3rd International Bi-Conference Workshop AOIS-2001, 59\u201378, iCue Publishing, Berlin, 2001."}],"container-title":["Information Systems Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/b137171_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T14:38:07Z","timestamp":1607351887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/b137171_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387848099","9780387848105"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/b137171_70","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}