{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:19Z","timestamp":1725504559888},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540779896"},{"type":"electronic","value":"9783540779902"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77990-2_9","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T05:35:28Z","timestamp":1204263328000},"page":"143-163","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Description Language for Multi-Agent Architectures"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Faulkner","sequence":"first","affiliation":[]},{"given":"Manuel","family":"Kolp","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Wautelet","sequence":"additional","affiliation":[]},{"given":"Youssef","family":"Achbany","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: Formal Connectors. Software Architecture Lab., Carnegie Mellon University, Pittsburgh, USA, Technical Report CMU-CS-94-115 (1994)","key":"9_CR1","DOI":"10.21236\/ADA277611"},{"doi-asserted-by":"crossref","unstructured":"Allen, R., Garlan, D.: Beyond Definition\/Use: Architectural Interconnection. In: Proceedings of ACM Workshop on Interface Definition Languages, Portland, Oregon, pp. 35\u201345 (January 1994)","key":"9_CR2","DOI":"10.1145\/185084.185101"},{"key":"9_CR3","volume-title":"How to do things with worlds","author":"J.L. Austin","year":"1962","unstructured":"Austin, J.L.: How to do things with worlds. Oxford University Press, New York (1962)"},{"key":"9_CR4","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)"},{"unstructured":"Bratman, M.: Intentions, Plans and Practical Reasoning, Harvard Univ (1988)","key":"9_CR5"},{"key":"9_CR6","volume-title":"Pattern Oriented Software Architecture: A System of Pattern","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern Oriented Software Architecture: A System of Pattern. Wiley and Sons, Chichester (1996)"},{"issue":"6","key":"9_CR7","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0306-4379(02)00012-1","volume":"27","author":"J. Castro","year":"2002","unstructured":"Castro, J., Kolp, M., Mylopoulos, J.: Towards requirements-driven information systems engineering: The Tropos Project. Information Systems\u00a027(6), 365\u2013389 (2002)","journal-title":"Information Systems"},{"unstructured":"Coglianese, L.H., Szymanski, R.: DSSA ADAGE: An Environment for Architecture Based Avionics Development. In: AGARD 1993. Proc. Of the 4th Int. Conf. on: Aerospace Software Engineering for Advanced Systems Architecture, Paris, France, pp. 321\u2013328 (1993)","key":"9_CR8"},{"issue":"1","key":"9_CR9","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., Fickas, S.: Goal-Directed Requirements Acquisition. Science of Computer Programming\u00a020(1), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"issue":"2","key":"9_CR10","first-page":"166","volume":"5","author":"D. Formo","year":"2001","unstructured":"Formo, D., Mendenlo, U.: A Multi-Agent Simulation Platform for Modeling Perfectly Rational and Bounded-Rational Agents in Organizations. Artificial Societies and Social Simulation\u00a05(2), 166\u2013177 (2001)","journal-title":"Artificial Societies and Social Simulation"},{"unstructured":"Faulkner, S.: An Architectural Framework for Describing BDI Multi-Agent Information Systems, Ph.D. thesis, Department of Management Science, University of Louvain, Belgium (May 2004)","key":"9_CR11"},{"unstructured":"Garlan, D., Monroe, R.: Acme: an architecture description interchange language. In: Proc. of the 7th Annual IBM Centre for Advanced Studies Conference, Toronto, Ontario, pp. 78\u201386 (1997)","key":"9_CR12"},{"key":"9_CR13","first-page":"1","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"D. Garlan","year":"1993","unstructured":"Garlan, D., Shaw, M.: An Introduction to software architecture. In: Ambriola, V., Tortora, G. (eds.) Advances in Software Engineering and Knowledge Engineering, pp. 1\u201339. World Scientific Publishing, Singapore (1993)"},{"doi-asserted-by":"crossref","unstructured":"Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environment. In: SIGSOFT 1994. Proc. Of the 2th Int. Conf. on ACM Symposium on the Foundation of Software Engineering, New Orleans, Louisiana, pp. 175\u2013188 (1994)","key":"9_CR14","DOI":"10.1145\/193173.195404"},{"key":"9_CR15","volume-title":"Communicating Sequential Processes","author":"A.R. Hoare","year":"1995","unstructured":"Hoare, A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1995)"},{"unstructured":"Kolp, M., Wautelet, Y.: DesCARTES Architect: Design CASE Tool for Agent-Oriented Repositories, Techniques, Environments and Systems. In: Louvain School of Management, Universit\u00e9 catholique de Louvain, Louvain-la-Neuve, Belgium (2007), http:\/\/www.isys.ucl.ac.be\/descartes","key":"9_CR16"},{"unstructured":"Luck, M., d\u2019Inverno, M.: A formal framework for agency and autonomy. In: Proc. of the 1st Int. Conf. on Multi-Agent Systems, San Francisco, USA, pp. 254\u2013260 (1995)","key":"9_CR17"},{"issue":"4","key":"9_CR18","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"C. Luckham","year":"1995","unstructured":"Luckham, C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering\u00a021(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995)"},{"doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: Proc. of the 4th Int. Conf. on the Foundations of Software Engineering, San Francisco, CA, USA, pp. 3\u201314 (1996)","key":"9_CR20","DOI":"10.1145\/239098.239104"},{"doi-asserted-by":"crossref","unstructured":"Mettala, I., Graham, M.H.: The domain-specific software architecture program. Technical Report CMU\/SEI-92-SR-9. Carnegie Mellon Univ (1992)","key":"9_CR21","DOI":"10.21236\/ADA257225"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/3-540-45441-1_31","volume-title":"Unified Modeling Language (UML)","author":"J. Mylopoulos","year":"2001","unstructured":"Mylopoulos, J., Kolp, M., Castro, J.: UML for Agent-Oriented\u00a0 Software Development: the Tropos Proposal. In: Gogolla, M., Kobryn, C. (eds.) Unified Modeling Language (UML). LNCS, vol.\u00a02185, pp. 422\u2013441. Springer, Heidelberg (2001)"},{"unstructured":"Object Management Group, The Software Process Engineering Metamodel Specification. Version 1.1 (2007)","key":"9_CR23"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.: PVS: Combining Specification\u00a0 Proof Checking\u00a0 and Model Checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"issue":"4","key":"9_CR25","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"Perry, D.E., Wolf, A.L.: Foundations for study of software architecture. In ACM SIGSOFT Software Engineering Notes\u00a017(4), 40\u201352 (1992)","journal-title":"In ACM SIGSOFT Software Engineering Notes"},{"issue":"4","key":"9_CR26","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M. Shaw","year":"1995","unstructured":"Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for Software Architecture and Tools to Support Them. IEEE Transactions on Software Engineering\u00a021(4), 314\u2013335 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR27","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, Englewood Cliffs (1996)"},{"doi-asserted-by":"crossref","unstructured":"Silva, C., Ara\u00fajo, J., Moreira, A., Castro, J., Alencar, F., Ramos, R.: Modeling Multi-Agent Systems using UML. In: Proc. of the 20th Brazilian Symposium on Software Engineering (SBES), Florian\u00f3polis, Brazil (October 2006)","key":"9_CR28","DOI":"10.5753\/sbes.2006.21206"},{"key":"9_CR29","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs (1992)"},{"unstructured":"Wautelet, Y., Kolp, M., Achbany, A.: I-Tropos, An Iterative SPEM-Centric Software Project Management Process, Working Paper IAG Series 13\/06, Louvain School of Management, ULouvain, Belgium (2006)","key":"9_CR30"},{"issue":"4","key":"9_CR31","first-page":"74","volume":"9","author":"M. Wooldridge","year":"1996","unstructured":"Wooldridge, M., Jennings, N.R.: Special Issue on Intelligent Agents and Multi-Agent Systems. Applied Artificial Int. Journal\u00a09(4), 74\u201386 (1996)","journal-title":"Applied Artificial Int. Journal"},{"unstructured":"Yu, E.: Modeling Strategic Relationships for Process Reengineering, Ph.D. thesis, Dpt. of Computer Science, University of Toronto, Canada (1995)","key":"9_CR32"},{"unstructured":"Zelesnik, Y.: The UniCon Language Reference Manual (May 1996), http:\/\/www.cs.cmu.edu\/UniCon\/reference-manual\/ReferenceManual1.html","key":"9_CR33"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Information Systems IV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77990-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T15:00:46Z","timestamp":1684249246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77990-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540779896","9783540779902"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77990-2_9","relation":{},"subject":[]}}