Title :
Model based analysis and formal verification of Weda architectural style
Author :
Hubnerova, Jitka
Author_Institution :
Inst. of Novel Technol. & Appl. Inf., Tech. Univ. of Liberec, Liberec, Czech Republic
Abstract :
In this paper, the Weda (Web-event-driven-architecture) is modeled as a network of timed automata that communicate via message passing after successfull handshaking. This results in a compact and intuitively appealing specification.
Keywords :
Internet; automata theory; formal verification; message passing; software architecture; WEDA architectural style; Web-event-driven-architecture; formal verification; handshaking; message passing; model based analysis; timed automata; Automata; Clocks; Logic gates; Protocols; Servers; Synchronization; Wires;
Conference_Titel :
Informatics and Applications (ICIA),2013 Second International Conference on
Conference_Location :
Lodz
Print_ISBN :
978-1-4673-5255-0
DOI :
10.1109/ICoIA.2013.6650249