ITMO University
“Programming Technologies” Department

The project demonstrates a model of ticket vending machine. It was created using automata based programming approach.

Common approach of creating applications implies constant addition of new code. Unfortunately, such a technique has several disadvantages. The main issue is lack of the program designing state. On the other hand, automata approach gives an opportunity to developer to concentrate on designing the application. Current project shows, that automata approach is good for designing and development of automatic devices, that serve people in day-to-day activity. Distinct stage separation makes logic of application more clear for understanding. Hence, debugging stage of application development is minimized.

Project was created using UniMod tool, integrated in Eclipse IDE.