{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:43:48Z","timestamp":1747543428007,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426677"},{"type":"electronic","value":"9783540454410"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45441-1_31","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T17:29:50Z","timestamp":1186421390000},"page":"422-441","source":"Crossref","is-referenced-by-count":29,"title":["UML for Agent-Oriented Software Development: The Tropos Proposal"],"prefix":"10.1007","author":[{"given":"John","family":"Mylopoulos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Kolp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaelson","family":"Castro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,17]]},"reference":[{"key":"31_CR1","unstructured":"Bauer, B., Extending UML for the Specification of Agent Interaction Protocols, OMG document ad\/99-12-03, FIPA submission to the OMG\u2019s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled \u201cUML2.0 RFI\u201d, December 1999."},{"key":"31_CR2","unstructured":"Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, Addison-Wesley, 1999."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Castro, J., Kolp, M. and Mylopoulos, J., \u201cA Requirements-Driven Development Methodology\u201d, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE\u201901), Interlaken, Switzerland, June 2001.","DOI":"10.1007\/3-540-45341-5_8"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Chung, L. K., Nixon, B. A., Yu, E. and Mylopoulos, J., Non-Functional Requirements in Software Engineering, Kluwer Publishing, 2000.","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"31_CR5","unstructured":"Clarke, E., Grumberg, O. and Peled, D., Model Checking, MIT Press, 1999."},{"issue":"3","key":"31_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"32","author":"P. Cohen","year":"1990","unstructured":"Cohen, P. and Levesque, H., \u201cIntention is Choice with Commitment\u201d, Artificial Intelligence, 32(3), 1990, pp. 213\u2013261.","journal-title":"Artificial Intelligence"},{"key":"31_CR7","unstructured":"Conallen, J., Building Web Applications with UML, The Addison-Wesley Object Technology Series, Addison-Wesley, 2000."},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A. and Fickas, S., \u201cGoal-directed Requirements Acquisition\u201d, Science of Computer Programming, 20, 1993, pp. 3\u201350.","journal-title":"Science of Computer Programming"},{"key":"31_CR9","unstructured":"Davis, A., Software Requirements: Objects, Functions and States, Prentice Hall, 1993."},{"key":"31_CR10","unstructured":"DeLoach, S. A. and Wood, M., \u201cDeveloping Multiagent Systems with agentTool\u201d, Proceedings of the 7th The Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201900), Boston, USA, July, 2000."},{"key":"31_CR11","unstructured":"DeMarco, T., Structured Analysis and System Specification, Yourdon Press, 1978."},{"key":"31_CR12","unstructured":"The Foundation for Intelligent Physical Agents, http:\/\/www.fipa.org , 2001."},{"key":"31_CR13","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J. and Traverso, P., \u201cModel Checking Early Requirements Specification in Tropos\u201d, Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE\u201901), Toronto, Canada, August 2001."},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Fuxman, A., Giorgini, P., Kolp, M. and Mylopoulos, J., \u201cInformation Systems as Social Structures\u201d, Proceedings of the Second International Conference on Formal Ontologies for Information Systems (FOIS\u201901), Ogunquit, USA, October 2001.","DOI":"10.1145\/505168.505171"},{"key":"31_CR15","unstructured":"Goal Oriented Requirement Language, http:\/\/www.cs.toronto.edu\/km\/GRL"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Iglesias, C., Garrijo, M. and Gonzalez, J., \u201cA Survey of Agent-Oriented Methodologies\u201d, Proceedings of the 5th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL\u201998), pp. 317\u2013330, Paris, France, July 1998.","DOI":"10.1007\/3-540-49057-4_21"},{"key":"31_CR17","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N. R. Jennings","year":"2000","unstructured":"Jennings, N. R., \u201cOn agent-based software engineering\u201d, Artificial lntelligence, 117, 2000, pp. 277\u2013296.","journal-title":"Artificial lntelligence"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Kinny, D. and Georgeff, M., \u201cModelling and Design of Multi-Agent System\u201d, Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL\u201996), pp. 1\u201320, Budapest, Hungary, August 1996.","DOI":"10.1007\/BFb0013569"},{"key":"31_CR19","unstructured":"Kolp, M., Castro, J. and Mylopoulos, J., \u201cA Social Organization Perspective on Software Architectures\u201d, Proceedings of the First International Workshop From Software Requirements to Architectures (STRAW\u201901), pp. 5\u201312, Toronto, Canada, May 2001."},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Kolp, M., Giorgini, P. and Mylopoulos, J., \u201cA Goal-Based Organizational Perspective on Multi-Agents Architectures\u201d, Proceedings of the 9th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL\u201901), Seattle, USA, August 2001.","DOI":"10.1007\/3-540-45448-9_10"},{"key":"31_CR21","unstructured":"Odell, J. and Bock, C., Suggested UML Extensions for Agents, OMG document ad\/99-12-01, Submitted to the OMG\u2019s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled \u201cUML 2.0 RFI\u201d, December 1999."},{"key":"31_CR22","unstructured":"Odell, J., Van Dyke Parunak, H. and Bauer, B., \u201cExtending UML for Agents\u201d, Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence, pp. 3\u201317, Austin, USA, July 2000."},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P. and Mylopoulos, J., \u201cA Knowledge Level Software Engineering Methodology for Agent Oriented Programming\u201d. Proceedings of the Fifth International Conference on Autonomous Agents (Agents\u201901), Montreal, Canada, June 2001.","DOI":"10.1145\/375735.376477"},{"key":"31_CR24","volume-title":"Designing Object-Oriented Software","author":"R. Wirfs-Brock","year":"1990","unstructured":"Wirfs-Brock, R., Wilkerson, B. and Wiener, L., Designing Object-Oriented Software, Englewood Cliffs, Prentice-Hall, 1990."},{"key":"31_CR25","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings, N. R. and Kinny D., \u201cThe Gaia Methodology for Agent-Oriented Analysis and Design\u201d, Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.","DOI":"10.1023\/A:1010071910869"},{"key":"31_CR26","unstructured":"Yourdon, E. and Constantine, L., Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, 1979."},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Yu, E., \u201cModeling Organizations for Information Systems Requirements Engineering\u201d, Proceedings of the First IEEE International Symposium on Requirements Engineering (RE\u201993), pp. 34\u201341, San Jose, USA, January 1993.","DOI":"10.1109\/ISRE.1993.324839"},{"key":"31_CR28","doi-asserted-by":"crossref","unstructured":"Yu, E. and Mylopoulos, J., \u201cUnderstanding \u2018Why\u2019 in Software Process Modeling, Analysis and Design\u201d, Proceedings of the Sixteenth International Conference on Software Engineering (ICSE\u201994,, pp. 159\u2013168, Sorrento, Italy, May 1994.","DOI":"10.1109\/ICSE.1994.296775"},{"key":"31_CR29","volume-title":"Modelling Strategic Relationships for Process Reengineering","author":"E. Yu","year":"1995","unstructured":"Yu, E., Modelling Strategic Relationships for Process Reengineering, Ph.D. thesis, Department of Computer Science, University of Toronto, Canada, 1995."},{"issue":"1","key":"31_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/(SICI)1099-1174(199603)5:1<1::AID-ISAF99>3.0.CO;2-C","volume":"5","author":"E. Yu","year":"1996","unstructured":"Yu, E. and Mylopoulos, J., \u201cUsing Goals, Rules, and Methods to Support Reasoning in Business Process Reengineering\u201d, International Journal of Intelligent Systems in Accounting, Finance and Management, 5(1), January 1996, pp. 1\u201313.","journal-title":"International Journal of Intelligent Systems in Accounting, Finance and Management"}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45441-1_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:36:14Z","timestamp":1737347774000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45441-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426677","9783540454410"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-45441-1_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}