Для того, чтобы определить новые тенденции в программно-интенсивных, распределенных и децентрализованных вычислительных системах и их влияние на информационное общество в ближайшие 10-15 лет, Европейская комиссия организовала два скоординированных действия: сначала проект «За горизонтом» и затем проект «За горизонтом». , с 2006 года проект «ИнтерЛинк».
В этом актуальном обзоре представлены результаты трех семинаров рабочей группы InterLink по системам с интенсивным использованием программного обеспечения и новым парадигмам вычислений. Цель состояла в том, чтобы представить ландшафт, в котором будут работать следующие поколения систем с интенсивным использованием программного обеспечения, и проблемы, которые они создают для вычислений, разработки программного обеспечения, познания и интеллекта.
Том начинается с обзора современного состояния дел и исследовательских проектов в области разработки систем с интенсивным использованием программного обеспечения. Оставшаяся часть книги состоит из 15 приглашенных материалов от участников рабочей группы и разделена на три основные части: ансамблевая инженерия, теория и формальные методы, а также новые вычислительные парадигмы. Эти документы охватывают широкий круг актуальных тем, начиная от методов, языков и инструментов для проектирования ансамблей, социотехнических и киберфизических систем, ансамблей в городской среде, формальных методов и математических основ для ансамблей, языков оркестровки и заканчивая разрушительными парадигмами, такими как как достаточно молекулярная и химическая арифметика.
