Разработчики часто воспринимают программы как набор инструкций, которые шаг за шагом объясняют компьютеру, как именно решать поставленную задачу. Однако мир сложных распределённых систем ставит перед нами совершенно иной вызов: нам важно не просто написать программу, а понять, что именно она должна делать. Для этого на сцену выходят формальные спецификации, которые позволяют взглянуть на систему под совершенно иным углом — через множества возможных поведений. Формальные спецификации незаменимы при...

Система есть сущность, которая в результате взаимодействия её частей может поддерживать своё существование и функционировать как единое целое. Она может являться частью более глобальной системы, и иметь своими элементами меньшие подсистемы. Система не есть сумма её частей; сумма частей есть нагромождение: Поведение системы зависит не от природы и свойств образующих её частей, а от структуры их организации и взаимосвязи. Вследствие этого, можно предсказывать поведение системы, не имея информации о её частях. Отличительная характеристика системы — её эмерджентные (возникающие) свойства...