Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

برای شناسایی روندهای نوظهور در سیستم های کامپیوتری مبتنی بر نرم افزار، توزیع شده و غیرمتمرکز و تأثیر آنها بر جامعه اطلاعاتی در 10-15 سال آینده، کمیسیون اروپا دو اقدام هماهنگ را ایجاد کرده است: در ابتدا پروژه « فراتر از افق» و سپس، از سال 2006، پروژه «اینترلینک» آغاز شد.

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

جلد با مروری بر وضعیت فعلی شروع می‌شود. هنر و ماموریت های تحقیقاتی در سیستم های مهندسی نرم افزار فشرده. باقیمانده کتاب شامل 15 مقاله دعوت شده از شرکت کنندگان در گروه کاری است و در سه بخش اصلی ساختار یافته است: مهندسی مجموعه، نظریه و روش های رسمی، و پارادایم های محاسباتی جدید. این مقالات طیف گسترده‌ای از موضوعات مرتبط را شامل می‌شود که از روش‌ها، زبان‌ها و ابزارها برای مهندسی گروه، سیستم‌های فنی-اجتماعی و سایبری-فیزیکی، گروه‌ها در محیط‌های شهری، روش‌های رسمی و مبانی ریاضی برای گروه‌ها، زبان‌های ارکستراسیون تا پارادایم‌های مخرب مانند مولکولی را پوشش می‌دهد. و محاسبات شیمیایی.

To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'.

This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence.

The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.