Методы и средства инженерии программного обеспечения


Алгебраическое программирование (АП) - часть 3


выборе. Установлено, что последовательная композиция – ассоциативная, а параллельная композиция – ассоциативная и коммутативная. Параллельная композиция раскладывается на комбинацию действий компонентов.

Агенты рассматриваются как значения транзитивных систем с точностью до бисимиляционной эквивалентности. Эквивалентность характеризуется в  алгебре поведения непрерывной алгеброй с аппроксимацией и двумя операциями: не детерминированным выбором и префиксингом. Среда вводится как агент, куда погружения  функция,  имеет поведение типа  агент и  среды. Произвольные непрерывные функции могут быть использованы как функции погружения и эти функции, определены значениями логики переписывания. Трансформации поведения среды, которые определяются функциями погружения, составляют новый тип эквивалентности –  эквивалентность погружения.

Создание новых методов программирования с введением агентов и сред  позволяет интерпретировать элементы сложных программ как самостоятельно взаимодействующие объекты.

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

Наибольшую актуальность имеют системы символьных вычислений, которые дают возможность работать с математическими объектами сложной иерархической структуры. Многие алгебраические структуры (группы, кольца, поля) являются  иерархически – модулярными. Теория АП обеспечивает создание  математической информационной среды с  универсальными математическими конструкциями, вычислительными механизмами,  учитывающими особенности разработки  ПС  и функционирования. АП является основой формирования нового вида программирования – инсерционного, обеспечивающего  программирование систем на основе моделей поведения агентов, транзитивных систем и бисимуляционной эквивалентности  [14].

Техника программирования в системе алгебраического программирования АПС использует аппарат  переписывания терминов, необходимого  при  автоматизации доказательства теорем, символьных вычислениях, обработки алгебраических спецификаций.АПС реализован.  мониторинг данных, моделирование ситуации, условное прерывание, управление экспериментами и др.




- Начало -  - Назад -  - Вперед -