{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:33:28Z","timestamp":1743039208876,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":52,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_6","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"72-91","source":"Crossref","is-referenced-by-count":0,"title":["Facilitating the Specification Capture and Transformation Process in the Development of Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Alu\u00edzio Haendchen","family":"Filho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nuno","family":"Caminada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arndt","family":"von Staa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-25943-5_1","volume-title":"Agent-Oriented Information Systems","author":"E. Adam","year":"2004","unstructured":"Adam, E., Mandiau, R.: Design of a MAS into a Human Organization: Application to an Information Multi-agent System. In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol.\u00a03030, pp. 1\u201315. Springer, Heidelberg (2004)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, G.: Formalizing Architectural Connection. In: Proc. 16th International Conference on Software Engineering, Sorrento, Italy, pp. 71\u201380 (May 1997)","DOI":"10.1109\/ICSE.1994.296767"},{"key":"6_CR3","unstructured":"Amandi, A.A.: Programa\u00e7\u00e3o de Agentes Orientada a Objetos. CPGCC UFRGS \u2013 Tese de Doutorado, Porto Alegre (1997)"},{"key":"6_CR4","volume-title":"Finite Transition Systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite Transition Systems. PrenticeHall, Masson (1994)"},{"key":"6_CR5","unstructured":"Azarmi, N., Thompson, S.: ZEUS: A Toolkit for Building Multi-Agent Systems. In: Proceedings of Fifth Annual Embracing Complexity Conference, Paris (April 2000)"},{"key":"6_CR6","unstructured":"Baral, C., Lobo, J., Trajcevski, G.: Formalizing Workflows as Collections of Condition-Action Rules. Dept. of Computer Science, University of Texas at El Paso. El Paso, Texas, USA (1997)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Poggi, A., Rimassa, G.: JADE: a FIPA2000 compliant agent development environment. Agents, 216\u2013217 (2001)","DOI":"10.1145\/375735.376120"},{"key":"6_CR8","unstructured":"Berners-Lee, T., Lassila, O., Hendler, J.: The Semantic Web Scientific American, http:\/\/www.scientificamerican.com\/2001\/0501issue\/0501berners-lee.html"},{"key":"6_CR9","volume-title":"Readings in Distributed Artificial Intelligence","author":"A.H. Bond","year":"1988","unstructured":"Bond, A.H., et al.: Readings in Distributed Artificial Intelligence. Morgan and Kaufmann, San Mateo (1988)"},{"key":"6_CR10","first-page":"55","volume-title":"Building Application Frameworks","author":"J. Bosch","year":"1999","unstructured":"Bosch, J., Molin, P., Mattsson, M., Bengtsson, P., Fayad, M.: Framework problem and experiences. In: Fayad, M. (ed.) Building Application Frameworks, pp. 55\u201382. John Willey and Sons, West Sussex (1999)"},{"key":"6_CR11","unstructured":"Breitman, K., Haendchen Filho, A., Haeusler, E.H., Staa, A.V.: Using Ontologies to Formalize Service Specification in Multi-Agent Systems. In: Proceedings Of Third NASA\/ IEEE Workshop on Formal Approaches to Agent Based Systems, Los Alamitos, California USA. LNCS. Springer, Heidelberg (to appear)"},{"issue":"3","key":"6_CR12","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0166-3615(98)00102-X","volume":"37","author":"H. Brussel Van","year":"1998","unstructured":"Van Brussel, H., Wyns, J., Valckenaers, P., Bongaerts, L., Peeters, P.: Reference architecture for holonic manufacturing systems: PROSA. Computers in Industry\u00a037(3), 255\u2013274 (1998)","journal-title":"Computers in Industry"},{"key":"6_CR13","unstructured":"Caminada, N.: Uma Aplica\u00e7\u00e3o Terap\u00eautica de Realidade Virtual Utilizando Tecnologia Baseada em Agentes de Software. Projeto Final de Conclus\u00e3o do curso de Gradua\u00e7\u00e3o em Ci\u00eancia da Computa\u00e7\u00e3o. UniverCidade \u2013 Unidade Ipanema. Junho, Rio de Janeiro, Brasil (2004)"},{"key":"6_CR14","unstructured":"Connolly, D.: Extensible Markup Language (XML) (February 2000), Available online: http:\/\/www.w3.org.XML\/"},{"key":"6_CR15","unstructured":"Correa Filho, M.: A Arquitetura de Di\u00e1logos entre Agentes Cognitivos Distribu\u00eddos. COPPE da UFRJ. Tese de Doutorado (1994)"},{"key":"6_CR16","unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: A Highly-Extensible, XMLBased Architecture Description Language. In: Proceedings of the Working IEEE\/IFIP Conference on Software Architecture (WICSA 2001), Amsterdam, The Netherlands, August 28-31 (2001)"},{"key":"6_CR17","unstructured":"Evans, R., (ed.): MESSAGE: Methodology for Engineering Systems of Software Agents. Deliverable 1 (July 2000)"},{"key":"6_CR18","unstructured":"Faulkner, S.: Towards an Agent Architectural Description Language for Information Systems. Technical Report, University of Louvain, Belgium (2001)"},{"key":"6_CR19","volume-title":"Building Application Frameworks","author":"M.E. Fayad","year":"1999","unstructured":"Fayad, M.E., et al.: Building Application Frameworks. John Wiley & Sons, Inc., New York (1999)"},{"volume-title":"Spinning the Semantic Web","year":"2003","key":"6_CR20","unstructured":"Fensel, D., Wahlster, W., Berners-Lee, T. (eds.): Spinning the Semantic Web. MIT Press, Cambridge Massachusetts (2003)"},{"key":"6_CR21","volume-title":"Proceedings of the Third International Conference on Information and Knowledge Management, CIKM 1994","author":"T. Finin","year":"1994","unstructured":"Finin, T.: KQML as an agent communication language. In: Proceedings of the Third International Conference on Information and Knowledge Management, CIKM 1994. ACM Press, New York (1994)"},{"key":"6_CR22","unstructured":"Reference FIPA-OS V2.1.0. Nortel Networks Corporation, Ontario, Canada (2000), FIPA-OS site, http:\/\/www.emorphia.com\/home.htm"},{"key":"6_CR23","volume-title":"Design patterns \u2013 elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., et al.: Design patterns \u2013 elements of reusable object-oriented software. Addison-Wesley Longman, Inc., Amsterdam (1995)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","year":"2003","unstructured":"Garcia, A., Lucena, C.J.P., et al. (eds.): Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol.\u00a02603. Springer, Heidelberg (2003)"},{"key":"6_CR25","unstructured":"Garcia, A., Torres, V.: Sistemas Multi-Agentes. In: Ruy Milidi\u00fa, C.L.E. (ed.): Papel Virtual, Rio de Janeiro (2001)"},{"key":"6_CR26","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: ACME: An architecture description interchange language. In: Proc. CASCON 1997, Toronto, Canada, pp. 169\u2013183 (November 1997)"},{"issue":"2","key":"6_CR27","first-page":"21","volume":"5","author":"T. Gruber","year":"1998","unstructured":"Gruber, T.: A translation approach to portable ontology specifications. Knowledge Acquisition\u00a05(2), 21\u201366 (1998)","journal-title":"Knowledge Acquisition"},{"key":"6_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-35828-5_9","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"M.L. Griss","year":"2003","unstructured":"Griss, M.L., Kessler, R.R.: Achieving the Promise of Reuse with Agent Component. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol.\u00a02603. Springer, Heidelberg (2003)"},{"key":"6_CR29","first-page":"41","volume-title":"Proceedings of 28th SEW - NASA\/IEEE Software Engineering Workshop, Greenbelt, MD","author":"A. Haendchen Filho","year":"2004","unstructured":"Haendchen Filho, A., van Staa, A., Lucena, C.J.P.: A Component-Based Model for Building Reliable Multi-Agent Systems. In: Proceedings of 28th SEW - NASA\/IEEE Software Engineering Workshop, Greenbelt, MD, pp. 41\u201350. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"6_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-35828-5_10","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"T. Holvoet","year":"2003","unstructured":"Holvoet, T., Steegmans, E.: Application-Specific Reuse of Agen Roles. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol.\u00a02603. Springer, Heidelberg (2003)"},{"key":"6_CR31","volume-title":"Implementing Applications Frameworks \u2013 Object-Oriented Framewoks at Work","author":"E. Kendall","year":"1999","unstructured":"Kendall, E., et al.: A Framework for Agent Systems. In: Fayadd, M., et al. (eds.) Implementing Applications Frameworks \u2013 Object-Oriented Framewoks at Work, John Wiley & Sons, Chichester (1999)"},{"issue":"2","key":"6_CR32","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0166-3615(03)00101-5","volume":"52","author":"D. Kotak","year":"2003","unstructured":"Kotak, D., et al.: Agent-based holonic design and operations environment for distributed manufacturing. Computer in Industry\u00a052(2), 95\u2013108 (2003)","journal-title":"Computer in Industry"},{"issue":"17","key":"6_CR33","first-page":"4233","volume":"42","author":"R. Kwangyeol","year":"2003","unstructured":"Kwangyeol, R., et al.: Agent-Based Fractal Architecture and Modelling for Developing Distributed Manufacturing Systems. International Journal of Production Research\u00a042(17), 4233\u20134255 (2003)","journal-title":"International Journal of Production Research"},{"key":"6_CR34","volume-title":"Applying UML and Patterns","author":"C. Larman","year":"1997","unstructured":"Larman, C.: Applying UML and Patterns. Prentice Hall PTR, New Jersey (1997)"},{"key":"6_CR35","unstructured":"Magee, J., Kramer, J., Giannakopoulou, D.: Behaviour Analysis of Software Architectures. Presented at the 1st Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, USA, February 22-24 (1999)"},{"key":"6_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15670-4_10","volume-title":"Seminar on Concurrency","author":"R. Milner","year":"1985","unstructured":"Milner, R.: Lectures on a Calculus for Communicating Systems. In: Brookes, S.D., Winskel, G., Roscoe, A.W. (eds.) Seminar on Concurrency, vol.\u00a0197. Springer, Heidelberg (1985)"},{"key":"6_CR37","unstructured":"Montesco, C.A.E., et al.: UCL \u2013 Universal Communication Language. Universidade de S\u00e3o Paulo, Instituto de Ci\u00eancias Matem\u00e1ticas e da Computa\u00e7\u00e3o. Technical Report, S\u00e3o Paulo, Brasil (2002)"},{"key":"6_CR38","unstructured":"Noriega, P.: Agent-mediated Auctions: THE Fiskmarked Metaphor. PHD Thesis. Universitat Autonoma de Barcelona, Barcelona (1997)"},{"key":"6_CR39","unstructured":"Object Management Group. Agent Platform Special Interest Group. Agent Technology \u2013 Green Paper, version 1.0 (September 2000)"},{"key":"6_CR40","doi-asserted-by":"crossref","unstructured":"Plasil, F., et al.: Behavior Protocols for Software Components. IEEE Transactions on Software Engineering\u00a028(11) (November 2002)","DOI":"10.1109\/TSE.2002.1049404"},{"key":"6_CR41","volume-title":"Building Application Frameworks: Object-Oriented Foundations of Framework Design","author":"W. Pree","year":"1999","unstructured":"Pree, W.: Hot-spot-driven development. In: Fayad, M., Johnson, R., Schmidt, D. (eds.) Building Application Frameworks: Object-Oriented Foundations of Framework Design. John Willey & Sons, West Sussex (1999)"},{"key":"6_CR42","first-page":"344","volume-title":"Software Reuse - Domain Analysis and Design Process","author":"J. Sodhi","year":"1998","unstructured":"Sodhi, J., et al.: Software Reuse - Domain Analysis and Design Process, p. 344. McGraw-Hill, New York (1998)"},{"key":"6_CR43","unstructured":"Srinivasan, P.: An Introduction to Microsoft .NET Remoting Framework. Microsoft Corporation (July 2001)"},{"key":"6_CR44","volume-title":"Intelligent Information Agents","author":"K. Sycara","year":"1999","unstructured":"Sycara, K.: In-Context Information Management through Adaptative Collaboration of Intelligent Agents. In: Klusch, M. (ed.) Intelligent Information Agents. Springer, Berlin (1999)"},{"key":"6_CR45","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-35828-5_15","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"K. Sycara","year":"2003","unstructured":"Sycara, K., et al.: The RETSINA MAS, a Case Study. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems, vol.\u00a02603, pp. 232\u2013250. Springer, Germany (2003)"},{"key":"6_CR46","unstructured":"Szyperski, C.: Component Software \u2013 Beyond Object-Oriented Programming. Addison-Wesley and ACM Press (2000)"},{"key":"6_CR47","volume-title":"Java Server Pages","author":"N. Todd","year":"2003","unstructured":"Todd, N., Szolkowski, M.: Java Server Pages. Elsevier Ed., Amsterdam (2003)"},{"issue":"2","key":"6_CR48","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/181628.181639","volume":"19","author":"W. Tracz","year":"1994","unstructured":"Tracz, W.: Domain-Specific Software Architecture (DSSA) Frequently Asked Questions (FAQ). ACM Software Engineering Notes\u00a019(2), 52\u201356 (1994)","journal-title":"ACM Software Engineering Notes"},{"key":"6_CR49","unstructured":"Vazquez, J.: The HARMONIA framework: the role of norms and electronic institutions in multi-agent systems applied to complex domains. Technical University of Catalonia, Barcelona, Spain. IOS Press, Amsterdam (2003) ISSN 0921-7126"},{"key":"6_CR50","unstructured":"Vitaglione, G., Quarta, F., Cortese, E.: Scalability and Performance of JADE Message Transport System. In: Proceedings of AAMAS Workshop on AgentCities, Bologna, July 16 (2002)"},{"key":"6_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44564-1_16","volume-title":"Agent-Oriented Software Engineering","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 235\u2013251. Springer, Heidelberg (2001)"},{"key":"6_CR52","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. In: Proceedings of 3rd International Conference on Autonomous Agents, Seatle, WA (1999)","DOI":"10.1145\/301136.301165"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T21:59:10Z","timestamp":1739915950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}