{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:25:44Z","timestamp":1742912744302,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642226359"},{"type":"electronic","value":"9783642226366"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22636-6_9","type":"book-chapter","created":{"date-parts":[[2011,10,8]],"date-time":"2011-10-08T06:45:59Z","timestamp":1318056359000},"page":"148-164","source":"Crossref","is-referenced-by-count":1,"title":["$\\mathcal{F}_{or}\\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design"],"prefix":"10.1007","author":[{"given":"Zeineb","family":"Graja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amira","family":"Regayeg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/comjnl\/44.1.1","volume":"44","author":"M. Luck","year":"2001","unstructured":"Luck, M., d\u2019Inverno, M.: A conceptual framework for agent definition and development. The Computer Journal\u00a044(1), 1\u201320 (2001)","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"Weyns, D., Haesevoets, R., Helleboogh, A.: The MACODO organization model for context-driven dynamic agent organizations. ACM Transaction on Autonomous and Adaptive Systems (2010), http:\/\/www.cs.kuleuven.be\/~danny\/papers\/2010TAAS-model.pdf","key":"9_CR2","DOI":"10.1145\/1867713.1867717"},{"unstructured":"Brasier, M.T., Jonker, M., Treur, J.: Principals of compositional multi-agent system development. In: Proceedings of the 15th IFIP World Computer Congress, WCC 1998, Conference on Information Technology and Knowledge Systems, IT&KNOWS 1998, Vienna and Budapest, pp. 347\u2013360 (1998)","key":"9_CR3"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"236","DOI":"10.4018\/978-1-59140-581-8.ch009","volume-title":"Agent-Oriented Methodologies","author":"J. Pavon","year":"2005","unstructured":"Pavon, J., Gomez-Sanz, J.J., Fuentes, R.: The INGENIAS Methodology and Tools. In: Agent-Oriented Methodologies, pp. 236\u2013276. Idea Group Publishing, USA (2005)"},{"key":"9_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-540-75254-7_26","volume-title":"Multi-Agent Systems and Applications V","author":"T. Jarraya","year":"2007","unstructured":"Jarraya, T., Guessoum, Z.: Towards a Model Driven Process for Multi-Agent System. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol.\u00a04696, pp. 256\u2013265. Springer, Heidelberg (2007)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/11752660_13","volume-title":"Agent-Oriented Software Engineering VI","author":"A. Perini","year":"2006","unstructured":"Perini, A., Susi, A.: Automating model transformations in agent-oriented modelling. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 167\u2013178. Springer, Heidelberg (2006)"},{"key":"9_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-87654-0_18","volume-title":"Engineering Societies in the Agents World VIII","author":"S. Rougemaille","year":"2008","unstructured":"Rougemaille, S., Migeon, F., Maurel, C., Gleizes, M.P.: Model Driven Engineering for Designing Adaptive Multi-Agent Systems. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol.\u00a04995, pp. 318\u2013332. Springer, Heidelberg (2008)"},{"unstructured":"Cervenka, R., Trencansky, I.: Agent Modeling Language: Language Specification. Version 0.9. Technical Report, Whitestein Technologies (2004)","key":"9_CR8"},{"issue":"4","key":"9_CR9","first-page":"391","volume":"29","author":"I. Trencansky","year":"2005","unstructured":"Trencansky, I., Cervenka, R.: Agent Modeling Language (AML): A Comprehensive Approach to Modeling MAS. Informatica\u00a029(4), 391\u2013400 (2005)","journal-title":"Informatica"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1109\/IAT.2004.1342953","volume-title":"2004 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2004)","author":"A. Regayeg","year":"2004","unstructured":"Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Specification and Verification of Multi-Agent Applications using Temporal Z. In: 2004 IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2004), September 20-24, 2004, pp. 260\u2013266. IEEE Computer Society, Beijing (2004)"},{"unstructured":"Meisels, I., Saaltink, M.: The Z\/EVES 2.0 Reference Manual. Technical Report TR\u201399\u20135493\u201303e, ORA, Canada (1999)","key":"9_CR11"},{"issue":"4","key":"9_CR12","first-page":"216","volume":"5","author":"A. Hadj-Kacem","year":"2007","unstructured":"Hadj-Kacem, A., Regayeg, A., Jmaiel, M.: ForMAAD: A Formal Method for Agent-Based Application Design. Journal of Web Intelligence and Agent Systems\u00a05(4), 216\u2013334 (2007)","journal-title":"Journal of Web Intelligence and Agent Systems"},{"unstructured":"Regayeg, A.: Approche Formelle de D\u00e9veloppement de Syst\u00e8mes Multi-Agents: de la Sp\u00e9cification \u00e0 la Conception. PhD thesis (2009)","key":"9_CR13"},{"issue":"4","key":"9_CR14","first-page":"327","volume":"1","author":"A. Regayeg","year":"2006","unstructured":"Regayeg, A., Kallel, S., Hadj-Kacem, A., Jmaiel, M.: ForMAAD Method: An Experimental Design for Air Traffic Control. International Transactions on Systems Science and Applications\u00a01(4), 327\u2013334 (2006)","journal-title":"International Transactions on Systems Science and Applications"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22636-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T03:14:03Z","timestamp":1560741243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22636-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642226359","9783642226366"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22636-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}