Push-button telephone modeling using SWITCH-technology. Variant 2

© S.Y. Kanzhelev, A.A. Shalyto

Saint-Petersburg State University of Information Technologies, Mechanics and Optics

Project documentation (in Russian)
Executable program
Source code
Applet (online)


Current work, as work [1], using SWITCH-technolody, implements the model of push-button telephone and the automatic telephone station (ATS)

Differences with the program [1] are:

This method was called "postponed automata call". In differences with method, described in [2], it allows:

Method keep graph notation, proposed in [3] and using in the work [1].

Postponed automata call have following features:


Project implemented on Java language.

Project was tested using automatically generated log-files and automatas graph's analyzing.


  1. Miasnikov A.I. Push-button telephone modeling using SWITCH-technology.http://is.ifmo.ru/
  2. Shalyto A.A., Tukkel N.I. Automata Realization in Programming of Event Systems // Programmist (Programmer). 2002. N4.
  3. Shalyto A.A., Tukkel' N.I. SWITCH-technology - An Automated Approach to Developing Software for Reactive Systems // Programming and Computer Software. 2001, 27(5).
  4. Guisov M.I.,Kuznetsov A.B., Shalyto A.A. Message Exchange mechanism integration in SWITCH-technology. SPbIFMO, 2003, http://is.ifmo.ru, section "Projects".
  5. Guisov M.I., Kuznetsov A.B., Shalyto A.A. Michaila problem "Riflemen chain sinchronisation". Variant 2. http://is.ifmo.ru, Section "Projects".