{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:23:40Z","timestamp":1725485020428},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432821"},{"type":"electronic","value":"9783540706571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-70657-7_18","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:00:57Z","timestamp":1180663257000},"page":"278-296","source":"Crossref","is-referenced-by-count":7,"title":["Automated Derivation of Complex Agent Architectures from Analysis Specifications"],"prefix":"10.1007","author":[{"given":"Clint H.","family":"Sparkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"DeLoach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Athie L.","family":"Self","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Brauer, W., Nickles, M., Robatsos, M., Weiss, G., Lorentzen, K.: Expectation-Oriented Analysis and Design. In this volume (2001)","DOI":"10.1007\/3-540-70657-7_15"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Clarke, E. Wing, J.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys. 28(4) (1996)","DOI":"10.1145\/242223.242257"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Dastani, M., Jonker, C., Truer, J.: A Requirement Specification Language for Configuration Dynamics of Multi-Agent System. In this volume (2001)","DOI":"10.1007\/3-540-70657-7_12"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"DeLoach, S. A., Wood, M., Sparkman, C.: Multiagent Systems Engineering. To appear in the Intl. J. on Software Engineering and Knowledge Engineering (2001)","DOI":"10.1142\/S0218194001000542"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"DeLoach, S. A., Wood, M.: Developing Multiagent Systems with agentTool. In: Castelfranchi, C., Lesperance, Y. (eds.): Intelligent Agents VII: Agent Theories Architectures and Languages, Proceedings of the 7th International Workshop, ATAL 2000. Lecture Notes in Artificial Intelligence, Vol. 1986. Springer-Verlag, Berlin Heidelberg New York (2001)","DOI":"10.1007\/3-540-44631-1_4"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"DeLoach, S. A.: Specifying Agent Behavior as Concurrent Tasks. Proceedings of the Fifth International Conference on Autonomous Agents. ACM Press, New York (2001) 102\u2013103","DOI":"10.1145\/375735.376009"},{"key":"18_CR7","unstructured":"DeLoach, S. A.: Using agentMom. Air Force Institute of Technology, (2000)"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/B978-0-934613-12-5.50034-3","volume-title":"Readings in Artificial Intelligence and Software Engineering","author":"C. Green","year":"1986","unstructured":"Green, C., Luckham, D., Balzer, R., et al.: Report on a Knowledge-Based Software Assistant. In Rich, C., Waters, R. C. (eds.): Readings in Artificial Intelligence and Software Engineering. Morgan Kaufmann, San Mateo, California (1986) 377\u2013428"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Hartrum, T. C., Graham, R.: The AFIT Wide Spectrum Object Modeling Environment: An AWESOME Beginning. Proceedings of the National Aerospace and Electronics Conference. IEEE (2000) 35\u201342","DOI":"10.1109\/NAECON.2000.894889"},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N. Jennings","year":"2000","unstructured":"Jennings, N.: On Agent-based Software Engineering, Artificial Intelligence: 117 (2000) 277\u2013296","journal-title":"Artificial Intelligence"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Lind, J.: Issues in Agent-Oriented Software Engineering. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 45\u201358","DOI":"10.1007\/3-540-44564-1_3"},{"key":"18_CR12","unstructured":"Omicini, A.: SODA: Societies and Infrastructures in the Analysis and Design of Agent-Based Systems. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 185\u2013194"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Rana, O.: A Modelling Approach for Agent Based Systems Design. In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 195\u2013206","DOI":"10.1007\/3-540-44564-1_13"},{"key":"18_CR14","unstructured":"Saba, G. M., Santos, E.: The Multi-Agent Distributed Goal Satisfaction System. Proceedings of the International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA\u2019 2000) (2000) 389\u2013394"},{"key":"18_CR15","unstructured":"Self, A.: Design & Specification of Dynamic, Mobile, and Reconfigurable Multiagent Systems. MS thesis, AFIT\/GCS\/ENG\/01M-11. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH, (2001)"},{"key":"18_CR16","unstructured":"Sparkman, C.: Transforming Analysis Models Into Design Models for the Multiagent Systems Engineering (MaSE) Methodology. MS thesis, AFIT\/GCS\/ENG\/01M-12. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH (2001)"},{"key":"18_CR17","unstructured":"Wood, M.: Multiagent Systems Engineering: A Methodology for Analysis and Design of Multiagent Systems. MS thesis, AFIT\/GCS\/ENG\/00M-26. School of Engineering, Air Force Institute of Technology (AU), Wright-Patterson AFB, OH, 2000"},{"issue":"3","key":"18_CR18","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Intl. J. of Autonomous Agents and Multi-Agent Systems. 3(3) (2000) 285\u2013312","journal-title":"Intl. J. of Autonomous Agents and Multi-Agent Systems"},{"key":"18_CR19","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: the State of the Art In Ciancarini, P., Wooldridge, M. (eds.): Agent-Oriented Software Engineering: First International Workshop, AOSE 2000. Lecture Notes in Artificial Intelligence, Vol. 1957. Springer-Verlag, Berlin Heidelberg (2001) 1\u201328"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Zambonelli, F.: Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations. In this volume (2001)","DOI":"10.1007\/3-540-70657-7_16"},{"key":"18_CR21","unstructured":"Zhu, H.: A Formal Specification Language for MAS Engineering. In this volume (2002)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-70657-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:26:09Z","timestamp":1556450769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-70657-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432821","9783540706571"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-70657-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}