Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений

doi:10.37882/2223-2982.2023.08.38

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений	1 MB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.37882/2223-2982.2023.08.38

#веб-сервисы

#безопасность веб-сервиса

#конечные автоматы

#параллельная композиция автоматов

#автоматные уравнения

#система автоматных уравнений

Title: Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
Title: Deriving safe components of web services based on the solution of FSM equations
Creator: Широкова, Екатерина Владимировна
|
Евтушенко, Нина Владимировна
Date: 2023
DOI: 10.37882/2223-2982.2023.08.38
Description: Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользователями. При разработке веб-сервисов важно учитывать его безопасность, одним аспектов которой является отсутствие зацикливаний (livelock) и тупиковых ситуаций (deadlock) между его компонентами. В данной работе рассматривается задача синтеза безопасного серверного приложения веб-сервиса, который должен взаимодействовать с азличными клиентскими приложениями без зацикливаний и тупиковых ситуаций. Предполагается, что поведение веб-сервиса и его известных компонентов описано полностью определенными конечными автоматами; взаимодействие компонентов веб-сервиса описано с помощью операции параллельной композиции. Таким образом, задача синтеза серверного приложения сводится к решению соответствующей системы параллельных автоматных уравнений (неравенств), для которой интерес представляют полностью определенные живые решения, так как использование таких решений для синтеза серверного приложения гарантирует отсутствие зацикливаний и тупиковых ситуаций в работе веб-сервиса. Как известно, набольшее (общее) решение разрешимой системы уравнений является пересечением наибольших решений всех уравнений системы. Сложность построения наибольшего живого решения более высокая, чем сложность построения «обычного» наибольшего решения. В связи с этим интересной является задача о возможности сведения решения системы автоматных уравнений к решению одного уравнения. Показано, что, подобно случаю нахождения наибольшего решения системы, такое сведение возможно для двух частных случаев, когда необходимо синтезировать безопасное серверное приложение, которое может: 1) работать с разными клиентскими приложениями и предоставлять одинаковый уровень сервиса, и в этом случае рассматривается соответствующая система автоматных уравнений; 2) или работать с одним клиентским приложением и предоставлять разные уровни сервиса, и в этом случае рассматривается соответствующая система автоматных неравенств.

Relationships: Show Relationship Browser for this Object
collection(s): Радиофизический факультет
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки. 2023. № 8. С. 143-150
Language: rus