DocumentCode :
1981118
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
fYear :
2013
fDate :
23-25 Sept. 2013
Firstpage :
161
Lastpage :
166
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Informatics and Applications (ICIA),2013 Second International Conference on
Conference_Location :
Lodz
Print_ISBN :
978-1-4673-5255-0
Type :
conf
DOI :
10.1109/ICoIA.2013.6650249
Filename :
6650249
Link To Document :
بازگشت