Transformation from SCXML based on web application to automata
Yunfu Shen · Jisuanji gongcheng yu sheji · 2010
To verify and ensure the reliability and quality of web applications,an algorithm of extracting the automata from the state chart extensible markup language(SCXML) is presented,which describes the application of web services.Based on the deep analysis of the constituent elements of the SCXML language,it is realized the transformation from SCXML of the web applications to the automata with the algorithm,which lays a foundation for model checking of the web applications.The validity and efficiency of the presented algorithm is demonstrated by the example of the transformation of the web application for game system to the automata.