{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:23:43Z","timestamp":1725485023940},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_2","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T06:00:57Z","timestamp":1180677657000},"page":"17-32","source":"Crossref","is-referenced-by-count":6,"title":["Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements"],"prefix":"10.1007","author":[{"given":"Catholijn","family":"Jonker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioan","family":"Alfred Letia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Brazier, F. M. T., Jonker, C. M., Jungen, F. J., and Treur, J., Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach. In: Applied Artificial Intel-ligence Journal, vol. 13, 1999, pp. 65\u201390. H. S. Nwana and D. T. Ndumu (eds.), Special Issue on Multi-Agent Systems.","DOI":"10.1080\/088395199117496"},{"key":"2_CR2","unstructured":"Caire, G., Garijo, F., Gomez, J., Pavon, J., Leal, F., Chainho, P., Kearney, P., Stark, J., Evans, R., and Massonet, P., Agent Oriented Analysis Using MESSGE\/UML. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Work-shop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in CS, Springer Verlag. This volume."},{"key":"2_CR3","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., Lamsweerde, A. van, and Fickas, S. (1993). Goal-directed Requirements Acquisition. Science in Computer Programming, vol. 20, pp. 3\u201350.","journal-title":"Science in Computer Programming"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Darimont, R., and Lamsweerde, A. van (1996). Formal Refinement Patterns for Goal-Driven Requirements Elaboration. In: Proc. of the Fourth ACM Symposium on the Foun-dation of Software Engineering (FSE4), pp. 179\u2013190.","DOI":"10.1145\/239098.239131"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Dellarocas, C. and M. Klein. An experimental evaluation of domain-independent fault handling services in open multi-agent systems. In: Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS-2000), Boston, MA, 2000.","DOI":"10.1109\/ICMAS.2000.858440"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1019116823502","volume":"1","author":"C. Dellarocas","year":"2000","unstructured":"Dellarocas, C., and M. Klein. A knowledge-based approach for handling exceptions in business processes. Information Technology and Management, 1:155\u2013169, 2000.","journal-title":"Information Technology and Management"},{"key":"2_CR7","unstructured":"Dignum, V., Weigand, H., and Xu, L., Agent Societies: Towards Frameworks-based De-sign. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second Interna-tional Workshop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in CS, Springer Verlag. This volume."},{"key":"2_CR8","unstructured":"Ferber, J. and Gutknecht, O. (1998). A meta-model for the analysis and design of organi-zations in multi-agent systems. In: Proc. of the Third International Conference on Multi-Agent Systems (ICMAS\u2019 98) Proceedings. IEEE Computer Society, 1998"},{"key":"2_CR9","unstructured":"Ferber, J. and Gutknecht, O. (1999). Operational Semantics of a role-based agent archi-tecture. Proceedings of the 6th Int. Workshop on Agent Theories, Architectures and Lan-guages. Lecture Notes in AI, Springer-Verlag."},{"key":"2_CR10","unstructured":"Ferber, J., Gutknecht, O., Jonker, C.M., Mueller, J.P., and Treur, J., Organization Models and Behavioural Requirements Specification for Multi-Agent Systems (extended ab-stract). In: Proc. of the Fourth International Conference on Multi-Agent Systems, ICMAS 2000. IEEE Computer Society Press, 2000. Extended version in: Proc. of the ECAI 2000 Workshop on Modelling Artificial Societies and Hybrid Organizations, 2000."},{"key":"2_CR11","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. (1999). Specification of Behavioural Requirements within Compositional Multi-Agent System Design. In: F.J. Garijo, M. Boman (eds.), Multi-Agent System Engineering, Proc. of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW\u201999. Lecture Notes in AI, vol. 1647, Springer Verlag, 1999, pp. 8\u201327."},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1007\/3-540-49213-5_13","volume-title":"Proceedings of the International Workshop on Compositionality, COMPOS\u201997","author":"C.M. Jonker","year":"1998","unstructured":"Jonker, C.M., and Treur, J., Compositional Verification of Multi-Agent Systems: a For-mal Analysis of Pro-activeness and Reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS\u201997. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, 1998, pp. 350\u2013380"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1613\/jair.682","volume":"12","author":"G.A. Kaminka","year":"2000","unstructured":"Kaminka, G.A., and M. Tambe. Robust agent teams via socially-atentive monitoring. In: Journal of Artificial Intelligence Research, 12:105\u2013147, 2000.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Klein, M., and C. Dellarocas. Exception handling in agent systems. In O. Etzioni, J. Mul-ler, and J. Bradshaw, editors, In: Proceedings of the 3rd International Conference on Autonomous Agents (AA\u201999), pages 62\u201368, 1999.","DOI":"10.1145\/301136.301164"},{"key":"2_CR15","volume-title":"Requirements Engineering: Processes and Techniques","author":"G. Kontonya","year":"1998","unstructured":"Kontonya, G., and Sommerville, I. (1998). Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1287\/mnsc.45.3.425","volume":"45","author":"T. W. Malone","year":"2000","unstructured":"Malone, T. W., K. Crowston, J. Lee, B. Pentland, C. Dellarocas, G. Wyner, J. Quimby, C. S. Osborn, A. Bernstein, G. Herman, M. Klein, and E. O\u2019Donnell. Tools for inventing or-ganizations: Toward a handbook for organizatinal processes. In: Management Science, 45:425\u2013443, 2000.","journal-title":"Management Science"},{"key":"2_CR17","unstructured":"Minar, M., R. Burkhart, C. Langton, and M. Askenazy. The Swarm simulation system: A toolkit for building multi-agent simulations. Technical report, Santa Fe Institute, 1996. http:\/\/www.santafe.edu\/projects\/swarm\/ ."},{"key":"2_CR18","unstructured":"Parunak, H.V.D., and Odell, J., Representing Social Structures in UML. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Work-shop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in CS, Springer Verlag. This volume. In: M. Wooldridge, G. Weiss, and P. Ciancarini (eds.), Proc. of the Second International Workshop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in CS, Springer Verlag. This volume."},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., and M.P. Singh. Verifying compliance with commitments protocols: enabling open web-based multiagent systems. In: Autonomous Agents and Multi-Agent Systems, 2:217\u2013236, 1999.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Agent-Oriented Software Engineering","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., N.R. Jennings, and M. Wooldridge. Organizational abstractions for the analysis and design of multi-agent systems. In: P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, LNCS 1957. Springer-Verlag, 2001."}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:26:12Z","timestamp":1556465172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-70657-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432821","9783540706571"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-70657-7_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}