Формальный язык как интерфейс взаимодействия

Abstract

Рассматривается модель взаимодействия элементов программной системы, отличающаяся от модели контрактного программирования тем, что она основана на коммуникации репрезентативными сообщениями, принадлежащими формальному языку. Предлагается модель взаимодействия программных компонент, использующих в качестве платформы коммуникации формальную операцию подстановки языков. Подстановка языков формализуется как регулярное выражение с побочным эффектом. Описывается схема трансляции регулярных выражений в программы на языке C.