Наукова електронна бібліотека
періодичних видань НАН України

Обратная трансформация формул в символьном моделировании: от результата к исходной формуле

Репозиторій DSpace/Manakin

Показати простий запис статті

dc.contributor.author Годлевский, А.Б.
dc.contributor.author Потиенко, С.В.
dc.date.accessioned 2010-12-27T14:04:28Z
dc.date.available 2010-12-27T14:04:28Z
dc.date.issued 2010
dc.identifier.citation Обратная трансформация формул в символьном моделировании: от результата к исходной формуле/ А.Б. Годлевский, С.В. Потиенко// Пробл. програмув. — 2010. — № 2-3. — С. 363-368. — Бібліогр.: 4 назв. — рос. uk_UA
dc.identifier.issn 1727-4907
dc.identifier.uri http://dspace.nbuv.gov.ua/handle/123456789/14658
dc.description.abstract В символьном моделировании транзиционных систем аналогом их состояний являются логические формулы над множеством атрибутов. Правила переходов исходной системы служат основой для построения моделирующих правил, которые действуют на формульных состояниях и определяют переход от исходного состояния к последующему или предшествующему ему состоянию. Предикатный трансформер – это алгоритм, моделирующий переходы в пространстве формульных состояний. В работе описан обратный предикатный трансформер, отличительной чертой которого является то, что моделируемые им переходы допускают как операторы присваивания над простыми и составными структурами данных (массивами и списками), так и констрейнты, задающие изменения атрибутов в неявном виде. uk_UA
dc.description.abstract 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. uk_UA
dc.language.iso ru uk_UA
dc.publisher Інститут програмних систем НАН України uk_UA
dc.subject Формальні методи програмування uk_UA
dc.title Обратная трансформация формул в символьном моделировании: от результата к исходной формуле uk_UA
dc.title.alternative Backward transformation of formulas in symbolic modeling: from the result to the source formula uk_UA
dc.type Article uk_UA
dc.status published earlier uk_UA
dc.identifier.udc 519.686.2


Файли у цій статті

Ця стаття з'являється у наступних колекціях

Показати простий запис статті

Пошук


Розширений пошук

Перегляд

Мій обліковий запис