Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к п...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
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| _version_ | 1862627374019903488 |
|---|---|
| author | Годлевский, А.Б. Потиенко, С.В. |
| author_facet | Годлевский, А.Б. Потиенко, С.В. |
| citation_txt | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T13:38:24Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14658 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T13:38:24Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле Годлевский, А.Б. Потиенко, С.В. Формальні методи програмування |
| title | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_alt | Backward transformation of formulas in symbolic modeling: from the result to the source formula |
| title_full | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_fullStr | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_full_unstemmed | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_short | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| title_sort | обратная трансформация формул в символьном моделировании: от результата к исходной формуле |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14658 |
| work_keys_str_mv | AT godlevskiiab obratnaâtransformaciâformulvsimvolʹnommodelirovaniiotrezulʹtatakishodnoiformule AT potienkosv obratnaâtransformaciâformulvsimvolʹnommodelirovaniiotrezulʹtatakishodnoiformule AT godlevskiiab backwardtransformationofformulasinsymbolicmodelingfromtheresulttothesourceformula AT potienkosv backwardtransformationofformulasinsymbolicmodelingfromtheresulttothesourceformula |