{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:03:13Z","timestamp":1725559393926},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287407"},{"type":"electronic","value":"9783540287414"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550648_14","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T04:54:39Z","timestamp":1131857679000},"page":"153-164","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Formal Methodology for Designing Multi-agent Applications"],"prefix":"10.1007","author":[{"given":"Amira","family":"Regayeg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Bjorner, D.: New results and trends in formal techniques for the development of software for transportation systems. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of the FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems, Braunschweig, Germany, pp. 69\u201376 (1999)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Deloach, S., Wood, M.: Analysis and design using mase and agenttool. In: Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference MAICS 2001. Miami University. Oxford, Ohio (2001)","DOI":"10.21236\/ADA448191"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/3-540-58555-9_115","volume-title":"FME \u201994: Industrial Benefit of Formal Methods","author":"F. Erasmy","year":"1994","unstructured":"Erasmy, F., Sekerinski, E.: Stepwise refinement of control software-a case study using raise. In: Naftalin, M., Bertr\u00e1n, M., Denvir, T. (eds.) FME 1994. LNCS, vol.\u00a0873, pp. 547\u2013566. Springer, Heidelberg (1994)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/BFb0014005","volume-title":"Temporal Logic","author":"M. Fisher","year":"1994","unstructured":"Fisher, M.: A survey of concurrent MetateM \u2013 the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 480\u2013505. Springer, Heidelberg (1994)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0030078","volume-title":"Multi-Agent Systems Methodologies and Applications","author":"N. Glaser","year":"1997","unstructured":"Glaser, N.: The comomas methodology and enironment for multi-agent system development. In: Dickson, L., Zhang, C. (eds.) DAI 1996. LNCS, vol.\u00a01286, pp. 1\u201316. Springer, Heidelberg (1997)"},{"key":"14_CR6","volume-title":"Communicating Sequential Processes","author":"C.A. Hoare","year":"1985","unstructured":"Hoare, C.A.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)"},{"key":"14_CR7","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/S1389-1286(03)00215-9","volume":"42","author":"M. Jmaiel","year":"2003","unstructured":"Jmaiel, M., Pepper, P.: Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal\u00a042, 737\u2013764 (2003)","journal-title":"Computer Networks Journal"},{"key":"14_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30498-2_5","volume-title":"Advances in Artificial Intelligence \u2013 IBERAMIA 2004","author":"M. Loulou","year":"2004","unstructured":"Loulou, M., Hadj-Kacem, A., Jmaiel, M.: Formalization of cooperation in MAS: Towards a generic conceptual model. In: Lema\u00eetre, C., Reyes, C.A., Gonz\u00e1lez, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol.\u00a03315, pp. 43\u201352. Springer, Heidelberg (2004)"},{"key":"14_CR10","unstructured":"Luck, M., d\u2019Inverno, M.: A formal framework for agency and autonomy. In: Proceedings of the first international conference on Multi-Agent Systems, pp. 254\u2013260. AAAI Press\/MIT Press (1995)"},{"key":"14_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"14_CR12","unstructured":"Meisels, I., Saaltink, M.: The Z\/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-44564-1_12","volume-title":"Agent-Oriented Software Engineering","author":"A. Omicini","year":"2001","unstructured":"Omicini, A.: Soda: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 185\u2013193. Springer, Heidelberg (2001)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-36540-0_14","volume-title":"Agent-Oriented Software Engineering III","author":"L. Padgham","year":"2003","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 174\u2013185. Springer, Heidelberg (2003)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Specification and Verification of Multi-Agent Applications using Temporal Z. In: Proceedings of IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2004), Beijing, China, pp. 260\u2013266 (September 2004)","DOI":"10.1109\/IAT.2004.1342953"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Towards a formal methodology for developing multi-agent applications using temporal Z. In: The 3rd ACS\/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Cairo, Egypt (January 2005)","DOI":"10.1109\/AICCSA.2005.1387112"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/10720327_1","volume-title":"Logic-Based Program Synthesis and Transformation","author":"D. Sannella","year":"2000","unstructured":"Sannella, D.: Algebraic specification and program development by stepwise refinement. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 1\u20139. Springer, Heidelberg (2000)"},{"key":"14_CR18","volume-title":"The Z notation","author":"M. Spivey","year":"1992","unstructured":"Spivey, M.: The Z notation, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)","edition":"2"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jenning, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents\u00a03 (2000)","DOI":"10.1023\/A:1010071910869"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/301136.301165","volume-title":"Proceedings of the Third International Conference on Autonomous Agents (Agents 1999)","author":"M. Wooldridge","year":"1999","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: A methodology for agent-oriented analysis and design. In: Etzioni, O., M\u00fcller, J.P., Bradshaw, J.M. (eds.) Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), Seattle, WA, USA, pp. 69\u201376. ACM Press, New York (1999)"},{"issue":"1","key":"14_CR21","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/TSE.2003.1166586","volume":"29","author":"H. Xu","year":"2003","unstructured":"Xu, H., Shatz, S.M.: A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering\u00a029(1), 15\u201330 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"14_CR22","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1023\/B:AGNT.0000038028.66672.1e","volume":"9","author":"F. Zambonelli","year":"2004","unstructured":"Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems\u00a09(3), 253\u2013283 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Zhu, H.: A formal specification language for agent-oriented software engineering. In: Proceedings of AAMAS 2003, pp. 1174\u20131175, Melbourne, Australia (2003)","DOI":"10.1145\/860575.860852"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550648_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:42:00Z","timestamp":1605642120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550648_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287407","9783540287414"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11550648_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}