Modeling and Composition of Web Application Components using Extended FSM

A composition method of web application is proposed in this paper using extended FSM to improve the reliability of web application. In this method, web application is dynamically modeled using extended FSM, according to parallel operation of state transition. Extended automaton includes variable on primitive constraints. Model checking tool SPIN is used to check whether web automaton meets the primitive constraints. The method can describe and check the properties of web application, since modeling until the model checking, and can assure the reliability of the system.