Tool Supported Analysis of Web Services Protocols
| Název česky | Nastrojova podpora analyzi web services protokolu |
|---|---|
| Autoři | |
| Rok publikování | 2011 |
| Druh | Článek ve sborníku |
| Konference | Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software ({TTSS}'11) |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.duo.uio.no/sok/work.html?WORKID=137619 |
| Obor | Informatika |
| Klíčová slova | web services; verification; tool; UPPAAL |
| Popis | Popíšeme abstraktní protokol model vhodný pro modelování webových služeb a dalších protokolů komunikace přes nespolehlivé, asynchronní komunikační kanály. Model je podporován nástrojem řetězce, v nichž první krok překládá tabulky s popisem stavu / přechod protokol se často používá např. v návrhu protokolů webových služeb, na střední formát XML. Dále převést tento formát do sítě komunikace státu stroje přímo pro ověření v nástroji Uppaal model checking. Představujeme vám dva typy komunikačních abstrakcí médií s cílem zajistit konečnost protokolu státní prostoru a zároveň byly schopny ověřit, zajímavých vlastností protokolu.Překlady pro různé druhy komunikačních médií byly zavedeny a úspěšně testována, mimo jiné, na základě dohody z protokolů WS-Business Activity. |
| Související projekty: |