Свойства предикатного трансформера системы VRS
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Свойства предикатного трансформера системы VRS
|
|
| Creator |
Летичевский, А.А.
Годлевский, А.Б. Летичевский, А.А. (мл.) Потиенко, С.В. Песчаненко, В.С. |
|
| Subject |
Кибернетика
|
|
| Description |
Розглянуто моделі, записані в мові базових протоколів. Вони є атрибутними транзиційними системами, а їх стани задаються формулами багатосортного числення предикатів першого порядку над атрибутами системи. Допускаються атрибути простих числових символьних типів, функціональних типів, а також черги. В постумовах базових протоколів використовуються оператори присвоювання, оновлення черг та довільні формули. Для здійснення переходу із одного стану в інший побудовано предикатний трансформер як функцію перетворення формул. Доведено основну властивість предикатного трансформера, згідно якій він обчислює найсильнішу постумову для символьних станів.
The paper considers models specified in basic protocol language. They are attribute transition systems and their states are defined by formulas of first-order multisort predicate calculus over system attributes. Attributes of simple numeric and symbolic types, functional types, and queues are allowed. Assignment operators, queue update operators, and arbitrary formulas are used in postconditions of basic protocols. To pass from one state to another, a predicate transformer has been set up as a function of formula transformation. The main property of the predicate transformer has been proved: it calculates the strongest postcondition for symbolic states. |
|
| Date |
2013-06-10T16:10:12Z
2013-06-10T16:10:12Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Свойства предикатного трансформера системы VRS / А.А. Летичевский, А.Б. Годлевский, А.А. Летичевский (мл.), С.В. Потиенко, В.С. Песчаненко // Кибернетика и системный анализ. — 2010. — № 4. — С. 3-16. — Бібліогр.: 19 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45239 519.686.2 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|