{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:15:01Z","timestamp":1737090901063,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_28","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"249-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal Specification of Evolutionary Software Agents"],"prefix":"10.1007","author":[{"given":"Hong","family":"Zhu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"volume-title":"Agent Technology: Foundations, Applications, And Markets","year":"1998","key":"28_CR1","unstructured":"Jennings, N.R., Wooldridge, M.J. (eds.): Agent Technology: Foundations, Applications, And Markets. Springer, Berlin Heidelberg New York (1998)"},{"volume-title":"Readings in Agents","year":"1997","key":"28_CR2","unstructured":"Huhns, M., Singh, M.P. (eds.): Readings in Agents. Morgan Kaufmann, San Francisco (1997)"},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00107-1","volume":"117","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R.: On agent-based software engineering. Artificial Intelligence 117, (2000) 277\u2013296.","journal-title":"Artificial Intelligence"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Lange, D.B.: Mobile Objects and mobile agents: The future of distributed computing? In: Proc. of The European Conference on Object-Oriented Programming, (1998)","DOI":"10.1007\/BFb0054084"},{"issue":"6","key":"28_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843097000069","volume":"1","author":"F.M.T. Brazier","year":"1997","unstructured":"Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. J. of Cooperative Information Systems 1(6) (1997) 67\u201394","journal-title":"Int. J. of Cooperative Information Systems"},{"key":"28_CR6","unstructured":"Rao, A.S., Georgreff, M.P.: Modeling Rational Agents within a BDI-Architecture. In: Proc. of the International Conference on Principles of Knowledge Representation and Reasoning (1991) 473\u2013484."},{"key":"28_CR7","unstructured":"Singh, M.P.: Semantic Considerations on Some Primitives for Agent Specification. In: Wooldridge, M., Muller, J., Tambe, M. (eds): Intelligent Agents. LNAI, Vol. 1037. Springer (1996) 49\u201364"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Reasoning About Rational Agents. The MIT Press (2000)","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"28_CR9","unstructured":"Ambroszkiewicz, S., Komar, J.: A Model of BDI-Agent in Game-Theoretic Framework. In: Formal Models of Agents-ESPRIT Project ModelAge Final Workshop Selected Papers. LNAI, Vol. 1760. Springer (1999) 8\u201319"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Myer, J-J., Schobbens, P-Y. (eds.): Formal Models of Agents-ESPRIT Project ModelAge Final Workshop Selected Papers. LNAI, Vol. 1760. Springer (1999)","DOI":"10.1007\/3-540-46581-2_1"},{"key":"28_CR11","unstructured":"Wooldridge, M.J. and Jennings, N.R.: Agent Theories, Architectures, and Languages: A Survey. In: Intelligent Agents. LNAI, Vol. 890. Springer-Verlag (1995) 1\u201332"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Kinny, D., Georgeff, M., Rao, A.: A Methodology and Modelling Technology for Systems of BDI Agents. In: Agents Breaking Away: Proc. of MAAMAW\u201996. LNAI, Vol. 1038. Spriger-Verlag (1996)","DOI":"10.1007\/BFb0031846"},{"key":"28_CR13","unstructured":"Moulin, B., Brassard, M.: A Scenario-Based Design Method and An Environment for the Development of Multiagent Systems. In: Lukose, D. and Zhang C. (eds.): First Australian Workshop on Distributed Artificial Intelligence. LNAI, Vol. 1087. Springer-Verlag (1996) 216\u2013231"},{"key":"28_CR14","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: A Methodology for Agent-Oriented Analysis and Design. In: Proc. of ACM Third International Conference on Autonomous Agents, Seattle, WA, USA (1999) 69\u201376"},{"key":"28_CR15","series-title":"LNAI","first-page":"317","volume-title":"Intelligent Agents V","author":"C.A. Iglesias","year":"1999","unstructured":"Iglesias, C.A., Garijo, M., Gonzalez, J.C.: A Survey of Agent-Oriented Methodologies. In: Muller, J. P., Singh, M. P., Rao, A., (eds.): Intelligent Agents V. LNAI, Vol. 1555. Springer, Berlin (1999) 317\u2013330"},{"key":"28_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., Muller, J.P., and Odell, J.: Agent UML: a Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P. and Wooldridge, M. (Eds.): Agent-Oriented Software Engineering. LNCS, Vol. 1957. Springer (2001) 91\u2013103"},{"key":"28_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-45484-5_21","volume-title":"Proc. of FAABS 2000","author":"H. Zhu","year":"2001","unstructured":"Zhu, H.: Formal Specification of Agent Behaviour through Environment Scenarios. In: Proc. of FAABS 2000. LNCS, Vol. 1871. Springer (2001) 263\u2013277"},{"issue":"5","key":"28_CR18","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1142\/S0218194001000657","volume":"11","author":"H. Zhu","year":"2001","unstructured":"Zhu, H.: SLABS: A Formal Specification Language for Agent-Based Systems. Int. J. of Software Engineering and Knowledge Engineering 11(5) (2001) 529\u2013558","journal-title":"Int. J. of Software Engineering and Knowledge Engineering"},{"key":"28_CR19","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of PRIMA\u20192001","author":"H. Zhu","year":"2001","unstructured":"Zhu, H.: The Role of Caste in Formal Specification of MAS. In: Proc. of PRIMA\u20192001. LNCS Vol. 2132. Springer (2001) 1\u201315"},{"key":"28_CR20","unstructured":"Zhu, H.: Developing formal specifications of MAS in SLABS, to appear in Proc. of AOIS\u201d 2002."},{"issue":"5","key":"28_CR21","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1080\/088395197118127","volume":"11","author":"A. Moukas","year":"1997","unstructured":"Moukas, A.: Amalthaea: Information Discovery and Filtering Using a Multi-Agent Evolving Ecosystem. Journal of Applied Artificial Intelligence 11(5) (1997) 437\u2013457","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"28_CR22","unstructured":"Jennings, N.R.: Agent-Oriented Software Engineering. In: Garijo, F.J., Boman, M. (eds.): Multi-Agent System Engineering, LNAI 1647. Springer, (1999) 1\u20137"},{"key":"28_CR23","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual. 2nd edn. Prentice Hall (1992)"},{"key":"28_CR24","unstructured":"D\u2019Inverno, M., Kinny, D., Luck M. and Wooldridge, M.: A formal specification of dMARS in Singh, M. P. Rao, A. and Wooldridge, M. (eds.): Intelligent Agents IV: Agent Theories, Architectures, and Languages. LNAI Vol. 1365. Springer (1998) 155\u2013176"},{"key":"28_CR25","unstructured":"Luck, M. and d\u2019Inverno, M.: A formal framework for agency and autonomy in Proc. of First International Conference on Multi-agent Systems. AAAI Press\/MIT Press (1995) 254\u2013260"},{"key":"28_CR26","unstructured":"Jin, L., Zhu, H.: Automatic Generation of Formal Specification from Requirements Definition. In: Proc. of IEEE 1st Int. Conf. on Formal Engineering Methods, Hiroshima, Japan (1997)243\u2013251"},{"issue":"1","key":"28_CR27","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/PL00010341","volume":"5","author":"H. Zhu","year":"2000","unstructured":"Zhu, H., Jin, L.: Scenario Analysis in an Automated Tool for Requirements Engineering. J. of Requirements Engineering 5(1) (2000) 2\u201322","journal-title":"J. of Requirements Engineering"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T09:19:27Z","timestamp":1737019167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"10 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}