Обратная трансформация формул в символьном моделировании: от результата к исходной формуле
В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к п...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/14658 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. |
Institution
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 |