Розробка інструментарію сценарного моделювання конфліктів в системі безпеки на основі формальних граматик

Autor: Milov, Oleksandr, Yevseiev, Serhii, Vlasov, Andrii, Herasimov, Sergey, Dmitriiev, Oleh, Kasianenko, Maksym, Pievtsov, Hennady, Peleshok, Yevhen, Tkach, Yuliia, Faraon, Serhii
Jazyk: angličtina
Rok vydání: 2019
Předmět:
Zdroj: Східно-Європейський журнал передових технологій; Том 6, № 9 (102) (2019): Інформаційно-керуючі системи; 53-64
Восточно-Европейский журнал передовых технологий; Том 6, № 9 (102) (2019): Информационно-управляющие системы; 53-64
Eastern-European Journal of Enterprise Technologies; Том 6, № 9 (102) (2019): Information and controlling system; 53-64
ISSN: 1729-3774
1729-4061
Popis: The results of the development of tools for scenario modeling based on formal grammars are presented. The works related to various ways of scenario description in their development systems are analyzed. For the natural language description of scenarios, it is indicated that this approach is sufficiently transparent and understandable for users. However, this approach has several disadvantages for formalizing and unifying scenario description. In particular, the presence of a number of ambiguities in the language makes it impossible for the description to be uniquely interpreted, and as a result, unsuitable for performing formal transformations on the description. The graphical representation of the script is a visual representation of the script. Moreover, the visual representation of the scenario in the form of some automaton model can be estimated as extremely attractive for subsequent multi-agent modeling of its execution. The disadvantage of such scenario description is still the difficulty of performing formal manipulations and the need to switch to a more convenient representation for manipulations. Using formal grammars to describe scenarios is a compromise approach that allows scripts to be described in an unambiguously interpreted form. The formal grammar description is also more familiar to computer language specialists. In addition, there are programs focused on working with formal grammars. The transition from the natural linguistic description of scenarios to its formal representation as a standard description in the Backus-Naura form is shown. The change in the presentation form was made using the example of description of the scenario of behavior of cyber-conflict participants in the security system. The resulting script description was used in the context-free grammar analyzer. The results showed the applicability of the proposed approach and the tools used to describe and verify the description correctness of scenarios related to any subject area
Представлены результаты разработки инструментария сценарного моделирования на основе формальных грамматик. Проанализированы работы, связанные с различными способами описания сценариев в системах их разработки. Для естественно-языкового описания сценариев указано, что такой подход является достаточно прозрачным и понятным для пользователей. Однако такой подход обладает рядом недостатков для формализации и унификации описания сценариев. В частности, наличие в языке ряда неоднозначностейделает его невозможным для однозначно-интерпретируемого описания, и как следствие, – малопригодным для выполнения формальных преобразований над описанием. Графическое представление сценарием является наглядным представлением сценария. Более того, наглядное представление сценария в виде некоторой автоматной модели может быть оценено как крайне привлекательное для последующего мультиагентного моделирования его выполнения. Недостатком такого описания сценариев является по-прежнему трудность выполнения формальных манипуляций и необходимость перехода к более удобному для манипуляций представления. Использование формальных грамматик для описания сценариев является компромиссным подходом, который позволяет описывать сценарии в однозначно интерпретируемой форме. Формально-грамматическое описание также более привычно специалистам по компьютерным языкам. Икроме того, имеются программы, ориентированные на работу с формальными грамматиками. Показан переход от естественно языкового описания сценариев к его формальному представлению в виде стандартного описания в Бэкуса-Наура форме. Изменение формы представления сделана на примере описания сценария поведения участников киберконфликта в системе безопасности. Полученное описание сценария использовано в анализаторе контекстно-свободных грамматик. Полученные результаты показали применимость предлагаемого подхода и используемого инструментария для описания и проверки корректности описания сценариев, относящихся к любой предметной области
Наведені результати розробки інструментарію сценарного моделювання на основі формальних граматик. Проаналізовано роботи, пов'язані з різними способами опису сценаріїв в системах їх розробки. Для природно-мовного опису сценаріїв зазначено, що такий підхід є досить прозорим і зрозумілим для користувачів. Однак такий підхід має ряд недоліків для формалізації та уніфікації опису сценаріїв. Зокрема, наявність у мові ряд неоднозначностей робить його неможливим для однозначно-інтерпретується опису, і як наслідок – малопридатним для виконання формальних перетворень над описом. Графічне представлення сценарієм є наочним поданням сценарію. Більш того, наочне уявлення сценарію у вигляді деякої автоматної моделі може бути оцінений як вкрай привабливе для подальшого мультиагентного моделювання його виконання. Недоліком такого опису сценаріїв є, як і раніше, труднощі виконання формальних маніпуляцій і необхідність переходу до більш зручного для маніпуляцій уявлення. Використання формальних граматик для опису сценаріїв є компромісним підходом, який дозволяє описувати сценарії в однозначно інтерпретується формі. Формально-граматичне опис також більш звично фахівцям з комп'ютерних мов. І крім того, є програми, орієнтовані на роботу з формальними граматиками. Показаний перехід від природно мовного опису сценаріїв до його формального поданням у вигляді стандартного опису в Бекуса-Наура формі. Зміна форму подання зроблена на прикладі опису сценарію поведінки учасників кіберконфлікта в системі безпеки. Отримане опис сценарію використано в аналізаторі контекстно-вільних граматик. Отримані результати показали можливість застосування пропонованого підходу і використовуваного інструментарію для опису і перевірки коректності опису сценаріїв, що відносяться до будь-якої предметної області
Databáze: OpenAIRE
Externí odkaz: