Normal view
MARC view
Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений (Record no. 1134006)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 05611nab a2200361 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha001134006 |
| 005 - Дата корректировки | |
| Контрольное поле | 20240426161739.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 240424|2023 ru s c rus d |
| 024 7# - Прочие стандартные номера | |
| Стандартный номер | 10.37882/2223-2982.2023.08.38 |
| Источник номера | doi |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha001134006 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Широкова, Екатерина Владимировна |
| 9 (RLIN) | 496175 |
| 245 10 - Заглавие | |
| Заглавие | Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений |
| Ответственность | Е. В. Широкова, Н. В. Евтушенко |
| 246 11 - Заглавие тома/части | |
| Заглавие тома/части | Deriving safe components of web services based on the solution of FSM equations |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | электронный |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 17 назв. |
| 520 3# - Аннотация | |
| Аннотация | Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений Веб-сервис представляет собой программную систему, обеспечивающую взаимодействие между поставщиком услуги и ее пользователями. При разработке веб-сервисов важно учитывать его безопасность, одним аспектов которой является отсутствие зацикливаний (livelock) и тупиковых ситуаций (deadlock) между его компонентами. В данной работе рассматривается задача синтеза безопасного серверного приложения веб-сервиса, который должен взаимодействовать с азличными клиентскими приложениями без зацикливаний и тупиковых ситуаций. Предполагается, что поведение веб-сервиса и его известных компонентов описано полностью определенными конечными автоматами; взаимодействие компонентов веб-сервиса описано с помощью операции параллельной композиции. Таким образом, задача синтеза серверного приложения сводится к решению соответствующей системы параллельных автоматных уравнений (неравенств), для которой интерес представляют полностью определенные живые решения, так как использование таких решений для синтеза серверного приложения гарантирует отсутствие зацикливаний и тупиковых ситуаций в работе веб-сервиса. Как известно, набольшее (общее) решение разрешимой системы уравнений является пересечением наибольших решений всех уравнений системы. Сложность построения наибольшего живого решения более высокая, чем сложность построения «обычного» наибольшего решения. В связи с этим интересной является задача о возможности сведения решения системы автоматных уравнений к решению одного уравнения. Показано, что, подобно случаю нахождения наибольшего решения системы, такое сведение возможно для двух частных случаев, когда необходимо синтезировать безопасное серверное приложение, которое может: 1) работать с разными клиентскими приложениями и предоставлять одинаковый уровень сервиса, и в этом случае рассматривается соответствующая система автоматных уравнений; 2) или работать с одним клиентским приложением и предоставлять разные уровни сервиса, и в этом случае рассматривается соответствующая система автоматных неравенств. |
| 653 ## - Ключевые слова | |
| Ключевые слова | веб-сервисы |
| 653 ## - Ключевые слова | |
| Ключевые слова | безопасность веб-сервиса |
| 653 ## - Ключевые слова | |
| Ключевые слова | конечные автоматы |
| 653 ## - Ключевые слова | |
| Ключевые слова | параллельная композиция автоматов |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматные уравнения |
| 653 ## - Ключевые слова | |
| Ключевые слова | система автоматных уравнений |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 959180 |
| 700 1# - Другие авторы | |
| Другие авторы | Евтушенко, Нина Владимировна |
| 9 (RLIN) | 70064 |
| 773 0# - Источник информации | |
| Название источника | Современная наука: актуальные проблемы теории и практики. Серия : Естественные и технические науки |
| Место и дата издания | 2023 |
| Прочая информация | № 8. С. 143-150 |
| ISSN | 2223-2966 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 4# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006">http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001134006</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 1134006 |
No items available.