Интерактивная система для анализа поведения формальных моделей программных систем
Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связе...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2012 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/57758 |
| 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: | Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862730752522715136 |
|---|---|
| author | Колчин, А.В. Четвертак, Р.В. |
| author_facet | Колчин, А.В. Четвертак, Р.В. |
| citation_txt | Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. |
| collection | DSpace DC |
| container_title | Штучний інтелект |
| description | Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связей, а также интерактивные методы декомпозиции сложных для понимания участков функционирования компонент и межкомпонентных взаимодействий. Разработана экспериментальная система, реализующая предложенные методы.
Мета роботи – розробка інструментальних засобів для автоматизації аналізу та спрощення розуміння поведінки формальних моделей. Запропоновані методи локалізації причин порушення властивостей та вичленення релевантних елементів на основі аналітичного встановлення фактичних інформаційних зв’язків, а також інтерактивні методи декомпозиції складних для розуміння ділянок функціонування компонент і міжкомпонентних взаємодій. Розроблена експериментальна система, що реалізує запропоновані методи.
The purpose of the work is development of methods and tools for automation of analysis and reduction of understanding complexity of the behavior of formal models. The methods for faults localization and relevant elements identification based on analysis of informational dependency are proposed. Also, interactive methods for decomposition of hard-to-understand behavior of intra- and inter-components interactions are described. Prototype of a software tool, which implements the methods, is developed.
|
| first_indexed | 2025-12-07T19:22:06Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-57758 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1561-5359 |
| language | Russian |
| last_indexed | 2025-12-07T19:22:06Z |
| publishDate | 2012 |
| publisher | Інститут проблем штучного інтелекту МОН України та НАН України |
| record_format | dspace |
| spelling | Колчин, А.В. Четвертак, Р.В. 2014-03-14T13:42:21Z 2014-03-14T13:42:21Z 2012 Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос. 1561-5359 https://nasplib.isofts.kiev.ua/handle/123456789/57758 004.4'233+004.415.53 Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связей, а также интерактивные методы декомпозиции сложных для понимания участков функционирования компонент и межкомпонентных взаимодействий. Разработана экспериментальная система, реализующая предложенные методы. Мета роботи – розробка інструментальних засобів для автоматизації аналізу та спрощення розуміння поведінки формальних моделей. Запропоновані методи локалізації причин порушення властивостей та вичленення релевантних елементів на основі аналітичного встановлення фактичних інформаційних зв’язків, а також інтерактивні методи декомпозиції складних для розуміння ділянок функціонування компонент і міжкомпонентних взаємодій. Розроблена експериментальна система, що реалізує запропоновані методи. The purpose of the work is development of methods and tools for automation of analysis and reduction of understanding complexity of the behavior of formal models. The methods for faults localization and relevant elements identification based on analysis of informational dependency are proposed. Also, interactive methods for decomposition of hard-to-understand behavior of intra- and inter-components interactions are described. Prototype of a software tool, which implements the methods, is developed. ru Інститут проблем штучного інтелекту МОН України та НАН України Штучний інтелект Интеллектуальные системы планирования, управления, моделирования и принятия решений Интерактивная система для анализа поведения формальных моделей программных систем Інтерактивна система для аналізу поведінки формальних моделей програмних систем Interactive System for Analysis of Formal Model Behavior Article published earlier |
| spellingShingle | Интерактивная система для анализа поведения формальных моделей программных систем Колчин, А.В. Четвертак, Р.В. Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| title | Интерактивная система для анализа поведения формальных моделей программных систем |
| title_alt | Інтерактивна система для аналізу поведінки формальних моделей програмних систем Interactive System for Analysis of Formal Model Behavior |
| title_full | Интерактивная система для анализа поведения формальных моделей программных систем |
| title_fullStr | Интерактивная система для анализа поведения формальных моделей программных систем |
| title_full_unstemmed | Интерактивная система для анализа поведения формальных моделей программных систем |
| title_short | Интерактивная система для анализа поведения формальных моделей программных систем |
| title_sort | интерактивная система для анализа поведения формальных моделей программных систем |
| topic | Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| topic_facet | Интеллектуальные системы планирования, управления, моделирования и принятия решений |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/57758 |
| work_keys_str_mv | AT kolčinav interaktivnaâsistemadlâanalizapovedeniâformalʹnyhmodeleiprogrammnyhsistem AT četvertakrv interaktivnaâsistemadlâanalizapovedeniâformalʹnyhmodeleiprogrammnyhsistem AT kolčinav ínteraktivnasistemadlâanalízupovedínkiformalʹnihmodeleiprogramnihsistem AT četvertakrv ínteraktivnasistemadlâanalízupovedínkiformalʹnihmodeleiprogramnihsistem AT kolčinav interactivesystemforanalysisofformalmodelbehavior AT četvertakrv interactivesystemforanalysisofformalmodelbehavior |