Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

این کتاب مقالات منتخب اصلاح شده نهمین سمپوزیوم بین‌المللی جنبه‌های رسمی نرم‌افزار مؤلفه، FACS 2012 را تشکیل می‌دهد که در سپتامبر 2012 در Mountain View، CA، ایالات متحده برگزار شد. . آنها موضوعاتی مانند مدل های رسمی برای اجزای نرم افزار و تعامل آنها را پوشش می دهند. جنبه‌های رسمی خدمات، معماری‌های سرویس‌گرا، فرآیندهای تجاری و رایانش ابری؛ روش های طراحی و تأیید برای اجزای نرم افزاری و خدمات؛ ترکیب و استقرار: مدل‌ها، محاسبات، زبان‌ها. روش‌های رسمی و زبان‌های مدل‌سازی برای اجزا و خدمات؛ آزمایش اجزا و خدمات مبتنی بر مدل و رابط کاربری گرافیکی. مدل‌هایی برای QoS و سایر ویژگی‌های فوق کاربردی (مانند اعتماد، انطباق، امنیت) اجزا و خدمات؛ اجزای سیستم های بلادرنگ، حیاتی، ایمن و/یا تعبیه شده؛ گزارشات صنعتی یا تجربی و مطالعات موردی؛ به روز رسانی و پیکربندی مجدد معماری اجزا و خدمات؛ تکامل و نگهداری سیستم های جزء؛ اجزای مستقل و برنامه های کاربردی خود مدیریت؛ رویکردهای رسمی و دقیق برای انطباق نرم افزار و سیستم های خودسازگار.

This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.