Формальные методы анализа дискретных систем с использованием языка спецификаций

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Кибернетика и системный анализ
→
Кибернетика и системный анализ, 2009, том 45
→
Кибернетика и системный анализ, 2009, № 4
→
Переглянути статтю

Формальные методы анализа дискретных систем с использованием языка спецификаций

Інші назви: Формальні методи аналізу дискретних систем з використанням мови специфікацій
Formal methods of discrete systems analysis using a specification language

Тема: Кибернетика

УДК: 51.681.3

URI: http://dspace.nbuv.gov.ua/handle/123456789/44382

Посилання: Формальные методы анализа дискретных систем с использованием языка спецификаций/ С.Л. Крывый, А.В. Чугаенко // Кибернетика и системный анализ. — 2009. — № 4. — С. 31-48. — Бібліогр.: 13 назв. — рос.

Дата: 2009

Завантажень: 466

Формальные методы анализа дискретных систем с использованием языка спецификаций

Анотація:

Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана для аналізу властивостей вихідного документа MSC. Наведений алгоритм є складовою частиною системи аналізу та верифікації документів MSC.

The paper describes the realization of the algorithm for translating an MSC diagram set (MSC document) to Petri net modulo event equivalence and proves the correctness of the algorithm. The net obtained by this method can be used to analyze the properties of the original MSC document. The algorithm is a part of a system of MSC document verification and analysis.

Показати повний запис статті