Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к п...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2010
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/14658 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-14658 |
|---|---|
| record_format |
dspace |
| spelling |
Годлевский, А.Б. Потиенко, С.В. 2010-12-27T14:04:28Z 2010-12-27T14:04:28Z 2010 Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14658 519.686.2 В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к последующему или предшествующему ему состоянию. Предикатный трансформер – это алгоритм, моделирующий переходы в пространстве формульных состояний. В работе описан обратный предикатный трансформер, отличительной чертой которого является то, что моделируемые им переходы допускают как операторы присваивания над простыми и составными структурами данных (массивами и списками), так и констрейнты, задающие изменения атрибутов в неявном виде. Logical formulas over attributes set are analog of system states in symbolic modeling of transition systems. Transition rules of source system are the base for building of modeling rules which operate on formula state and define transition from source state to the next or previous state. Predicate transformer is an algorithm which models transitions in the formula state space. We describe backward predicate transformer which has distinguishing feature that modeled transitions allow as assignment operators over simple and complex data structures (arrays and lists) as constraints which define attribute changes implicitly. ru Інститут програмних систем НАН України Формальні методи програмування Обратная трансформация формул в символьном моделировании: от результата к исходной формуле Backward transformation of formulas in symbolic modeling: from the result to the source formula Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| spellingShingle |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле Годлевский, А.Б. Потиенко, С.В. Формальні методи програмування |
| title_short |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_full |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_fullStr |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_full_unstemmed |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_sort |
обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| author |
Годлевский, А.Б. Потиенко, С.В. |
| author_facet |
Годлевский, А.Б. Потиенко, С.В. |
| topic |
Формальні методи програмування |
| topic_facet |
Формальні методи програмування |
| publishDate |
2010 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Backward transformation of formulas in symbolic modeling: from the result to the source formula |
| description |
В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к последующему или предшествующему ему состоянию. Предикатный трансформер – это алгоритм, моделирующий переходы в пространстве формульных состояний. В работе описан обратный предикатный трансформер, отличительной чертой которого является то, что моделируемые им переходы допускают как операторы присваивания над простыми и составными структурами данных (массивами и списками), так и констрейнты, задающие изменения атрибутов в неявном виде.
Logical formulas over attributes set are analog of system states in symbolic modeling of transition systems. Transition rules of source system are the base for building of modeling rules which operate on formula state and define transition from source state to the next or previous state. Predicate transformer is an algorithm which models transitions in the formula state space. We describe backward predicate transformer which has distinguishing feature that modeled transitions allow as assignment operators over simple and complex data structures (arrays and lists) as constraints which define attribute changes implicitly.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/14658 |
| citation_txt |
Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. |
| work_keys_str_mv |
AT godlevskiiab obratnaâtransformaciâformulvsimvolʹnommodelirovaniiotrezulʹtatakishodnoiformule AT potienkosv obratnaâtransformaciâformulvsimvolʹnommodelirovaniiotrezulʹtatakishodnoiformule AT godlevskiiab backwardtransformationofformulasinsymbolicmodelingfromtheresulttothesourceformula AT potienkosv backwardtransformationofformulasinsymbolicmodelingfromtheresulttothesourceformula |
| first_indexed |
2025-12-07T13:38:24Z |
| last_indexed |
2025-12-07T13:38:24Z |
| _version_ |
1850856916615430144 |