Науково-теоретичний журнал "Штучний інтелект" No.3'2007
|
зміст
УДК 519.685.3
Потієнко С.В. , Колчiн O.В.
Запропонований метод побудови формальних специфікацій з використанням MSC сценаріїв, а також алгоритм декомпозиції таких сценаріїв в атомарні переходи з метою наступної верифікації. Підхід дозволяє верифікувати мови більш високого рівня, що спрощує процес формалізації, аналізу, модифікації і, як наслідок, підвищує якість формальної моделі.
УДК 519.685.3
Потиенко С.В. , Колчин А.В.
Предложен метод построения формальных спецификаций с использованием MSC сценариев, а также алгоритм декомпозиции таких сценариев в атомарные переходы с целью последующей верификации. Подход позволяет верифицировать языки более высокого уровня, что упрощает процесс формализации, анализа, модификации, и, как следствие, повышает качество формальной модели.
UDC 519.685.3
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? Пишіть. |