Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

این کتاب حاوی مجموعه مقالات دومین کارگاه بین المللی زبان ها، روش ها و ابزارهای توسعه برای سیستم های چند عامله (LADS 2009) است که در طی 7 تا 9 سپتامبر 2009 در تورین، ایتالیا برگزار شد. همانند نسخه 2007، این کارگاه بخشی از MALLOW، فدراسیونی از کارگاه‌های آموزشی در زمینه منطق، زبان‌ها و سازمان‌های چند عاملی بود. کارگاه LADS 2009 به مسائل نظری و عملی مربوط به توسعه و استقرار سیستم های چند عاملی پرداخت. این یک انجمن غنی بود که در آن محققان برجسته از دانشگاه و صنعت می‌توانستند تجربیات خود را در مورد رویکردهای رسمی، زبان‌های برنامه‌نویسی، روش‌شناسی، ابزارها و تکنیک‌های پشتیبانی از توسعه و استقرار سیستم‌های چند عاملی به اشتراک بگذارند. توسعه سیستم‌های چند عاملی که از قابلیت پیش‌بینی و تأیید آن‌ها اطمینان حاصل می‌کند. از نقطه نظر عملی، LADS 2009 با هدف برانگیختن تحقیق و بحث در مورد اینکه چگونه مشخصات و طرح های سیستم چند عاملی می توانند به طور موثر پیاده سازی و آزمایش شوند، انجام شد. این کتاب حاصل یک فرآیند دقیق انتخاب و بررسی است. از 14 مقاله ارائه شده در ابتدا به LADS 2009، و پس از 2 دور بررسی، 10 مقاله با کیفیت بالا را انتخاب کردیم که موضوعات مهم مرتبط با فناوری برنامه نویسی چند عاملی را پوشش می دهد، مانند: معماری عامل، زبان های برنامه نویسی و روش ها، مدل های تعامل اجتماعی، ابزارهای توسعه و کاربردهای چند عاملی. سیستم های عامل.

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.