Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings

ICGT 2006 سومین کنفرانس بین المللی تغییر گراف بود که پس از دو کنفرانس قبلی در بارسلونا (2002) و رم (2004) و مجموعه ای متشکل از شش کارگاه بین المللی بین سال های 1978 و 1998. ICGT 2006 در ناتال (ریو گرانده) برگزار شد. do Norte، برزیل) در 17-23 سپتامبر 2006، هم‌زمان با سمپوزیوم برزیل در روش‌های رسمی (SBMF 2006)، تحت نظارت انجمن رایانه برزیل (SBC)، انجمن اروپایی علوم و فناوری نرم‌افزار (EASST)، انجمن اروپایی علوم کامپیوتر نظری (EATCS) و IFIP WG 1.3 در زمینه مبانی مشخصات سیستم ها. این کنفرانس حمایت نسبی را از روش‌های رسمی اروپا و IFIP TC 1 در زمینه مبانی علوم کامپیوتر دریافت کرد. دامنه این کنفرانس مربوط به ساختارهای گرافیکی از انواع مختلف (مانند نمودارها، نمودارها و جملات بصری) است که هنگام توصیف ساختارها و سیستم های پیچیده به روشی مستقیم و شهودی مفید هستند. این ساختارها اغلب با فرمالیسم هایی غنی می شوند که تکامل آنها را از طریق انواع دگرگونی های مناسب مدل می کنند. بخش اصلی کنفرانس به تئوری، کاربردها و مسائل اجرایی این گونه فرمالیسم ها می پرداخت. تأکید ویژه بر مدل‌های متا که می‌توانند ساختارهای گرافیکی مختلفی را در یک نظریه انتزاعی جای دهند.

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.