Науково-теоретичний журнал "Штучний інтелект" No.3'2007

зміст

УДК 519.685.3

Трансляція MSC сценаріїв у мову базових протоколів

Потієнко С.В. , Колчiн O.В.

Запропонований метод побудови формальних специфікацій з використанням MSC сценаріїв, а також алгоритм декомпозиції таких сценаріїв в атомарні переходи з метою наступної верифікації. Підхід дозволяє верифікувати мови більш високого рівня, що спрощує процес формалізації, аналізу, модифікації і, як наслідок, підвищує якість формальної моделі.


УДК 519.685.3

Трансляция MSC сценариев в язык базовых протоколов

Потиенко С.В. , Колчин А.В.

Предложен метод построения формальных спецификаций с использованием MSC сценариев, а также алгоритм декомпозиции таких сценариев в атомарные переходы с целью последующей верификации. Подход позволяет верифицировать языки более высокого уровня, что упрощает процесс формализации, анализа, модификации, и, как следствие, повышает качество формальной модели.


UDC 519.685.3

Translation MSC Scripts into Base Protocol Language

Potienko S.V. , Kolchin A.V.

A method of creating formal specifications by means of MSC scenarios is proposed. The scenarios are decomposed into atomic transitions for further verification. Such approach allows verifying high-level description languages that simplify a process of formalization, analysis, modifications and review of formal model resulting in quality growth.

зміст


Copyright ©   1995-2024; Інститут проблем штучного інтелекту.
Усi права на матерiали, що знаходяться на сайтi Інституту проблем штучного інтелекту, захищаються вiдповiдно до законодавства України. Використання матерiалiв дозволяється у випадку посилання (для iнтернет-видань - гiперпосилання) на www.iai.dn.ua. Передрукування, копiювання або вiдтворення iнформацiї, що не мiстить у собi посилання на www.iai.dn.ua, у будь-якому виглядi суворо забороненi.
Проблеми/коментарi? Пишіть.