|
|
|
|
| LEADER |
05568nab a2200349 c 4500 |
| 001 |
koha001134006 |
| 005 |
20241217172305.0 |
| 007 |
cr | |
| 008 |
240424|2023 ru s c rus d |
| 024 |
7 |
|
|a 10.37882/2223-2982.2023.08.38
|2 doi
|
| 035 |
|
|
|a koha001134006
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Широкова, Екатерина Владимировна
|
| 245 |
1 |
0 |
|a Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
|c Е. В. Широкова, Н. В. Евтушенко
|
| 246 |
1 |
1 |
|a Deriving safe components of web services based on the solution of FSM equations
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 17 назв.
|
| 520 |
3 |
|
|a Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользователями. При разработке веб-сервисов важно учитывать его безопасность, одним аспектов которой является отсутствие зацикливаний (livelock) и тупиковых ситуаций (deadlock) между его компонентами. В данной работе рассматривается задача синтеза безопасного серверного приложения веб-сервиса, который должен взаимодействовать с азличными клиентскими приложениями без зацикливаний и тупиковых ситуаций. Предполагается, что поведение веб-сервиса и его известных компонентов описано полностью определенными конечными автоматами; взаимодействие компонентов веб-сервиса описано с помощью операции параллельной композиции. Таким образом, задача синтеза серверного приложения сводится к решению соответствующей системы параллельных автоматных уравнений (неравенств), для которой интерес представляют полностью определенные живые решения, так как использование таких решений для синтеза серверного приложения гарантирует отсутствие зацикливаний и тупиковых ситуаций в работе веб-сервиса. Как известно, набольшее (общее) решение разрешимой системы уравнений является пересечением наибольших решений всех уравнений системы. Сложность построения наибольшего живого решения более высокая, чем сложность построения «обычного» наибольшего решения. В связи с этим интересной является задача о возможности сведения решения системы автоматных уравнений к решению одного уравнения. Показано, что, подобно случаю нахождения наибольшего решения системы, такое сведение возможно для двух частных случаев, когда необходимо синтезировать безопасное серверное приложение, которое может: 1) работать с разными клиентскими приложениями и предоставлять одинаковый уровень сервиса, и в этом случае рассматривается соответствующая система автоматных уравнений; 2) или работать с одним клиентским приложением и предоставлять разные уровни сервиса, и в этом случае рассматривается соответствующая система автоматных неравенств.
|
| 653 |
|
|
|a веб-сервисы
|
| 653 |
|
|
|a безопасность веб-сервиса
|
| 653 |
|
|
|a конечные автоматы
|
| 653 |
|
|
|a параллельная композиция автоматов
|
| 653 |
|
|
|a автоматные уравнения
|
| 653 |
|
|
|a система автоматных уравнений
|
| 655 |
|
4 |
|a статьи в журналах
|
| 700 |
1 |
|
|a Евтушенко, Нина Владимировна
|
| 773 |
0 |
|
|t Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки
|d 2023
|g № 8. С. 143-150
|x 2223-2966
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1134006
|d 1134006
|
