METHOD OF WEB-APPLICATION DESIGN ON THE BASE OF HIERARCHICAL SYSTEMS OF FINITE STATE MACHINES
ITMO University, Department of Computation Technologies; Professor
A. . Chepurnoy
Saint-Petersburg State University of Information Technologies, Mechanics and Optics; postgraduate student
Abstract. A method is proposed for design of web-applications on the base of systems of hierarchical finite state machines.
Keywords: web-application, finite-state machine, temporal logic, modeling, software.