Tool Supported Analysis of Web Services Protocols

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Nastrojova podpora analyzi web services protokolu
Autoři

MARQUES Abinoam Jr. RAVN Anders P. SRBA Jiří VIGHIO Saleem

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.