{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:27Z","timestamp":1725487767419},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662815"},{"type":"electronic","value":"9783540484370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48437-x_2","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T17:35:27Z","timestamp":1185039327000},"page":"8-27","source":"Crossref","is-referenced-by-count":22,"title":["Specification of Bahavioural Requirements within Compositional Multi-agent System Design"],"prefix":"10.1007","author":[{"given":"Daniela E.","family":"Herlea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Niek J. E.","family":"Wijngaards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Benjamins, R., Fensel, D., and Straatman, R., Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence, ECAI\u201996, John Wiley and Sons, 1996, pp. 408\u2013412."},{"key":"2_CR2","first-page":"25","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems, ICMAS\u201995","author":"F.M.T. Brazier","year":"1995","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. Formal specification of Multi-Agent Systems: a real World Case. In: Lesser, V. (ed.), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS\u201995, MIT Press, Menlo Park, VS, 1995, pp. 25\u201332. Extended version in: 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, 1997, pp. 67\u201394."},{"key":"2_CR3","unstructured":"Brazier, F.M.T., Jonker, C.M., and Treur, J., Principles of Compositional Multi-agent System Development. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, 1998, pp. 347\u2013360."},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0169-023X(98)00029-9","volume":"29","author":"F.M.T. Brazier","year":"1999","unstructured":"Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M., Temporal semantics of compositional task models and problem solving methods. Data and Knowledge Engineering, vol. 29(1), 1999, pp. 17\u201342.","journal-title":"Data and Knowledge Engineering"},{"key":"2_CR5","volume-title":"Software requirements: Objects, Functions, and States","author":"A. M. Davis","year":"1993","unstructured":"Davis, A. M., Software requirements: Objects, Functions, and States, Prentice Hall, New Jersey, 1993."},{"key":"2_CR6","unstructured":"Dijkstra, E.W., A discipline of programming. Prentice Hall, 1976."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Dubois, E. (1998). ALBERT: a Formal Language and its supporting Tools for Requirements Engineering.","DOI":"10.1007\/BFb0053600"},{"key":"2_CR8","unstructured":"Dubois, E., Du Bois, P., and Zeippen, J.M., A Formal Requirements Engineering Method for Real-Time, Concvurrent, and Distributed Systems. In: Proceedings of the Real-Time Systems Conference, RTS\u201995, 1995."},{"key":"2_CR9","unstructured":"Dubois, E., Yu, E., Petit, M., From Early to Late Formal Requirements. In: Proceedings IWSSD\u201998. IEEE Computer Society Press, 1998."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., Jonker, CM. and Treur, J., Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Pre-proc. of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL\u201998, 1998, pp. 91\u2013106. To appear in: J.P. Mueller, M.P. Singh, A.S. Rao (eds.), Intelligent Agents V. Lecture Notes in AI, Springer Verlag. In press, 1999","DOI":"10.1007\/3-540-49057-4_12"},{"key":"2_CR11","unstructured":"Erdmann, M. and Studer, R., Use-Cases and Scenarios for Developing Knowledge-based Systems. In: Proceedings of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technologies and Knowledge Systems, IT&KNOWS (J. Cuena, ed.), 1998, pp. 259\u2013272."},{"key":"2_CR12","volume-title":"UML Toolkit. Wiley Computer Publishing","author":"H. E. Eriksson","year":"1998","unstructured":"Eriksson, H. E., and Penker, M., UML Toolkit. Wiley Computer Publishing, John Wiley and Sons, Inc., New York, 1998."},{"volume-title":"Artificial Intelligence in Design\u2019 96","year":"1996","key":"2_CR13","unstructured":"Gero, J.S., and Sudweeks, F., (eds.), Artificial Intelligence in Design\u2019 96, Kluwer Academic Publishers, Dordrecht, 1996."},{"volume-title":"Artificial Intelligence in Design\u2019 98","year":"1998","key":"2_CR14","unstructured":"Gero, J.S., and Sudweeks, F., (eds.), Artificial Intelligence in Design\u2019 98, Kluwer Academic Publishers, Dordrecht, 1998."},{"key":"2_CR15","volume-title":"Understanding UML, the Developer\u2019s Guide","author":"P. Harmon","year":"1998","unstructured":"Harmon, P., and Watson, M., Understanding UML, the Developer\u2019s Guide. Morgan Kaufmann Publishers, San Francisco, 1998."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., and Wijngaards, N.J.E. A Formal Knowledge Level Process Model of Requirements Engineering. In: Proceedings of the 12th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA\/AIE\u201999. Lecture Notes in AI, Springer Verlag, 1999, To appear.","DOI":"10.1007\/978-3-540-48765-4_92"},{"key":"2_CR17","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 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, vol. 1536, Springer Verlag, 1998, pp. 350\u2013380"},{"key":"2_CR18","volume-title":"Requirements Engineering: Processes and Techniques","author":"G. Kontonya","year":"1998","unstructured":"Kontonya, G., and Sommerville, I., Requirements Engineering: Processes and Techniques. John Wiley and Sons, New York, 1998."},{"key":"2_CR19","unstructured":"Musen, M., Ontology Oriented Design and Programming: a New Kind of OO. In: J. Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technology and Knowledge Systems, IT&KNOWS\u201998, 1998, pp. 17\u201320."},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-662-03678-5_2","volume-title":"Agent Technology: Foundations, Applications, and Markets","author":"H.S. Nwana","year":"1998","unstructured":"Nwana, H.S., and Ndumu, D.T., A Brief Introduction to Software Agent Technology. In Jennings, N.R., and Wooldridge, M. (eds.), Agent Technology: Foundations, Applications, and Markets. Springer Verlag, Berlin, 1998, pp. 29\u201347."},{"key":"2_CR21","volume-title":"Requirements Engineering: a good practice guide","author":"I. Sommerville","year":"1997","unstructured":"Sommerville, I., and Sawyer P., Requirements Engineering: a good practice guide. John Wiley & Sons, Chicester, England, 1997."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Weidenhaupt, K., Pohl, M., Jarke, M. and Haumer, P., Scenarios in system development: current practice, in IEEE Software, pp. 34\u201345, March\/April, 1998.","DOI":"10.1109\/52.663783"},{"key":"2_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-58855-8","volume-title":"Intelligent Agents","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M., and Jennings, N.R., Agent Theories, Architectures, and Languages: a survey. In: Wooldridge, M., and Jennings, N.R. (eds.) Intelligent Agents, Lecture Notes in Artificial Intelligence, vol. 890, Springer Verlag, Berlin, 1995, pp. 1\u201339."}],"container-title":["Lecture Notes in Computer Science","Multi-Agent System Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48437-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:32:52Z","timestamp":1556710372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48437-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662815","9783540484370"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-48437-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}