Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

مجموعه کنفرانس‌های MODELS بهترین مکان برای تبادل ایده‌ها و تجربیات فنی نوآورانه با تمرکز بر یک رشته فنی جدید بسیار مهم است: نرم‌افزار مبتنی بر مدل و مهندسی سیستم. گسترش این رشته پیامد مستقیم افزایش اهمیت و موفقیت روش های مبتنی بر مدل در عمل است. بسیاری از روش‌های الکترونیکی منجر به اختراع مفاهیم، ​​زبان‌ها و ابزارهایی برای تعریف، تجزیه و تحلیل، تبدیل، و تأیید زبان‌های مدل‌سازی خاص دامنه و استانداردهای زبان مدل‌سازی عمومی و همچنین استفاده از آنها برای مهندسی نرم‌افزار و سیستم‌ها شد. MODELS 2010، سیزدهمین ویرایش از سری کنفرانس ها، در اسلو، نروژ، 3 تا 8 اکتبر 2010، همراه با کارگاه های ماهواره ای، سمپوزیوم ها و آموزش های متعدد برگزار شد. این کنفرانس خوش شانس بود که سه سخنران اصلی داشت: اول لرهمان مدسن (دانشگاه آرهوس، دانمارک)، ادوارد آ. لی (UC برکلی، ایالات متحده آمریکا) و پاملا زاوی (آزمایشگاه های AT&T، ایالات متحده). برای ارائه یک انجمن گسترده تر برای گزارش پیشرفت علمی و همچنین تجربیات ناشی از کاربردهای عملی روش های مبتنی بر مدل، کنفرانس 2010 موارد ارسالی را در دو مسیر مجزا پذیرفت: مبانی و کاربردها. هدف اصلی اولین مسیر ارائه نتایج تحقیقاتی جدید است که به ارتقای پیشرفته ترین رشته اختصاص دارد، در حالی که هدف دوم ارائه تصویری واقعی و قابل اعتماد از وضعیت فعلی است -- the- انجام مهندسی مبتنی بر مدل، به طوری که جامعه گسترده تر از توانایی ها و موفقیت های این رشته نسبتاً جوان بهتر مطلع شود. این جلد شامل نسخه نهایی مقالات پذیرفته شده برای ارائه در کنفرانس از هر دو مسیر است.

The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.