слення - з помощью лямбда - оператора дозволяє будуваті Функції з віразів, Наприклад, вирази позначає функцію зведення в квадрат. У цьом прікладі такоже є звязані змінною яка НЕ ??має власного значення. У ? - чісленні з типами, так само як и в тіпізованому чісленні предікатів, про «єкти мают тіпі, а Функції - сигнатури. ? - числення більш високих порядків дозволяють застосовуваті ? - оператор не позбав до об »єктів, а й до тіпів. При цьом Прокуратура: Функції, что перетворюють тіпі в тіпі.
Приклади алгебраїчніх моделей:
Реляційні алгебри , что лежати в Основі реляційніх систем управління базами Даних.
Алгебраїчні МОДЕЛІ абстрактних тіпів Даних.
алгебра процесів . Це алгебраїчні обчислення, про «єктами якіх є події та Процеси, что створюють події або реагують на них. Зазвічай для процесів візначені Операції послідовної (»;«) i паралельної (»| |«) ??композіції и Операція Вибори з двох альтернатив (альтернативна композиція, »+ '). Послідовна композиція процесів моделює Виконання спочатку Першого з них, потім іншого. Паралельна композиція моделює паралельне Виконання обох процесів. Вибір з двох процесів моделює Виконання або дере, або іншого. У більшості таких чисельно Процеси могут взаємодіяті, обмінюючісь подіямі (один процес породжує подію, Інший або Інші его спожівають). Найбільш широко відомі обчислення процесів CSP (Communicating Sequential Processes), CCS (Calculus of Communicating Systems).
Операційні МОДЕЛІ характеризуються тім, что їх можна Виконати, щоб простежіті зміну властівостей змодельованого програмного забезпечення.
Всі види операційніх моделей можна вважаті Розширення и узагальнення кінцевіх автоматів, тому їх Варто Розглянуто в якості Першого прикладу.
Кінцевій автомат являє собою систему з кінцевою множини станів. У кінцевому автоматі Визначи Певний набор переходів между станами.
Взаємодіючі автомати представляються собою набор кінцевіх автоматів, деякі з якіх пов'язані каналами для передачі реакцій одного автомата як стімулів для Іншого.
Ієрархічні автомати дозволяють візначаті переходь з групи станів (альо кінцевій стан такого переходу має буті позбав один). Крім того, в ієрархічніх автоматах могут буті групи паралельних станів - кілька груп станів, что об'єднуються в паралельне сімейство.
Тимчасові автомати - зазвічай це розшірені автомати, що містять додатковий набор змінніх-таймерів, значення якіх змінюються Самі по Собі з Плінія годині. Значення таймерів можна використовуват в умів переходів, зміну змінніх або значень параметрів реакцій. Крім цього, таймери можна запускаті в діях, пов'язаних з переходами. Запущений таймер почінає відлік годині з 0. Година может буті дискретним чі безперервнім, что дозволяє моделюваті поведінку різноманітніх систем реального часу.
Гібрідні автомати застосовувані для моделювання систем, что взаємодіють з безперервнімі фізічнімі процесами. У ціх автоматах частина змінніх зазвічай має значення, зміна якіх опісується системою диференціальних рівнянь
Широке Використання операційніх моделей повязано з їх Наступний ПЕРЕВАГА:
У МОДЕЛІ звічайній враховуються НЕ ВСІ Властивості модельованого програмного забезпечення, а Тільки Важливі для розглянутої в Сейчас Завдання. Тому МОДЕЛІ віявляються однозначно простіше модельованіх систем, їх на...
