{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:23:45Z","timestamp":1725485025919},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_12","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T06:00:57Z","timestamp":1180677657000},"page":"169-187","source":"Crossref","is-referenced-by-count":2,"title":["A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Mehdi","family":"Dastani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn","family":"Jonker","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":"12_CR1","unstructured":"Brazier, F.M.T., Jonker, C.M., and Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proc. of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, 1998, pp. 347\u2013360. To be published by IOS Press."},{"key":"12_CR2","volume-title":"Software requirements: Objects, Functions, and States","author":"A. M. Davis","year":"1993","unstructured":"Davis, A. M. (1993). Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey."},{"key":"12_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":"12_CR4","doi-asserted-by":"crossref","unstructured":"4._Darimont, R., and Lamsweerde, A. van (1996). Formal Refinement Patterns for Goal-Driven Requirements Elaboration. Proc. of the Fourth ACM Symposium on the Foundation of Software Engineering (FSE4), pp. 179\u2013190.","DOI":"10.1145\/239098.239131"},{"key":"12_CR5","unstructured":"Dubois, E., Du Bois, P., and Zeippen, J.M. (1995). A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS\u201995."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Jonker, C.M. and Treur, J., (1999). Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V, Proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL\u201998. Lecture Notes in AI, vol. 1555, Springer Verlag, 1999, pp. 177\u2013194. Extended version in: Journal of Logic, Language and Information, in press.","DOI":"10.1007\/3-540-49057-4_12"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Fisher, M., Wooldridge, M. (1997) On the Formal Specification and Verification of Multi-Agent Systems. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, pp. 67\u201394.","DOI":"10.1142\/S0218843097000057"},{"key":"12_CR8","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, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW\u201999. Lecture Notes in AI, vol.1647, Springer Verlag, Berlin, 1999, pp. 8\u201327."},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45432-2","volume-title":"Proc. of the 2nd International-Workshop on Agent-Oriented Software Engineering, AOSE\u201901","author":"C. Jonker","year":"2001","unstructured":"Catholijn Jonker, Ioan Alfred Letia, and Jan Treur (2001). Diagnosis of the Dynamics Within an Organization By Trace Checking of Behavioral Requirements. In: Wooldridge, M., Ciancarini, P., and Weiss, G. (eds.), Proc. of the 2nd International-Workshop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in Computer Science, Springer Verlag, This Volume."},{"key":"12_CR10","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. (1998). Compositional Verification of Multi-Agent Systems: a Formal 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, 1536, Springer Verlag, 1998, pp. 350\u2013380. Extended version in:International Journal of Cooperative Information Systems, in press."},{"key":"12_CR11","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":"12_CR12","doi-asserted-by":"crossref","unstructured":"Manna, Z., and Pnueli, A.. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"12_CR13","volume-title":"Requirements Engineering: a good practice guide","author":"I. Sommerville","year":"1997","unstructured":"Sommerville, I., and Sawyer P. (1997). Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England."}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T05:47:59Z","timestamp":1547876879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-70657-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432821","9783540706571"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-70657-7_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}