Informace o publikaci
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: |