Agent-Oriented Software Engineering VII: 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

معماری‌های نرم‌افزاری که شامل بسیاری از مؤلفه‌های دارای تعامل پویا هستند، که هر کدام رشته‌های کنترلی خاص خود را دارند و درگیر پروتکل‌های هماهنگی پیچیده هستند، مهندسی صحیح و کارآمد دشوار است. تکنیک های مدل سازی عامل گرا برای پشتیبانی از طراحی و توسعه چنین برنامه هایی مهم هستند. این کتاب نمای کلی متنوع و جالبی از کارهایی که در حال حاضر توسط تعداد فزاینده ای از محققان و گروه های تحقیقاتی در زمینه مهندسی نرم افزار عامل گرا انجام می شود، ارائه می دهد. این مقاله تحقیقات پیشرو در این زمینه را ارائه می‌کند که در تسهیل پذیرش صنعت از فناوری‌های عامل قدرتمند اهمیت حیاتی دارد.

این جلد مجموعه مقالات پس از داوری کامل هفتمین کارگاه بین‌المللی در مورد عامل است. مهندسی نرم افزار گرا، AOSE 2006، در Hakodate، ژاپن، در می 2006 به عنوان بخشی از AAMAS 2006 برگزار شد. 13 مقاله کامل اصلاح شده با دقت از بین ارسال های متعدد طی دو دور بررسی و بهبود انتخاب شدند و با مقالات دعوت شده از محققان برجسته تکمیل شدند. در زمینه مقالات در بخش‌های موضوعی در مورد مدل‌سازی و طراحی سیستم‌های عامل، مدل‌سازی سیستم‌های عامل باز، استدلال رسمی درباره طرح‌ها، و همچنین آزمایش، اشکال‌زدایی و تکامل سازمان‌دهی شده‌اند.

Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications. This book provides a diverse and interesting overview of the work that is currently being undertaken by a growing number of researchers and research groups in the area of Agent-Oriented Software Engineering. The papers present leading edge research in this field, which is of critical importance in facilitating industry take-up of powerful agent technologies.

This volume constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Agent-Oriented Software Engineering, AOSE 2006, held in Hakodate, Japan, in May 2006 as part of AAMAS 2006. The 13 revised full papers were carefully selected from numerous submissions during two rounds of reviewing and improvement and have been complemented by invited papers from leading researchers in the field. The papers are organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.