◆ The virtual finite-state machine design and implementation paradigm

Bell Labs Technical Journal

Volumn 2, Issue 1, 1997, Pages 96-113

  Flora Holmquist, Alan R ^a,b,c   Morton, Edward ^a,d   O'Grady, James D ^e   Staskauskas, Mark G ^e  

^a NOKIA RESEARCH CENTER   (United States)

^b MARIST COLLEGE   (United States)

^c NEW MEXICO STATE UNIVERSITY   (United States)

^d UNIVERSITY OF GLASGOW   (United Kingdom)

^e NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FINITE AUTOMATA;

VIRTUAL FINITE STATE MACHINE (VFSM);

SOFTWARE ENGINEERING;

EID: 0031537440     PISSN: 10897089     EISSN: None     Source Type: Journal    
DOI: 10.1002/bltj.2035     Document Type: Article

References (9)

1. F. Wagner, "VFSM Executable Specification," Proceedings of the IEEE International Conference on Computer System and Software Engineering, The Hague, The Netherlands, 1992, pp. 226-231.
2. A. R. Flora-Holmquist, J. D. O'Grady, and M. G. Staskauskas, "Telecommunications Software Design Using Virtual Finite-State Machines," Proceedings of the International Switching Symposium (ISS '95), Berlin, Germany, Apr. 1995, pp. 103-107.
3. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, "Statemate: A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, Vol. 16, No. 4, Apr. 1990, pp. 403-414.
4. R. Braek and O. Haugen, Engineering Real-Time Systems, Prentice-Hall, Englewood Cliffs, New Jersey, 1993.
5. A. R. Flora-Holmquist and J. D. O'Grady, Finite-State Machine with Minimized Vector Processing, U. S. Patent 5,459,841, applied for Dec. 1993, issued Oct. 1995.
6. A. R. Flora-Holmquist and T. L. Mills, Finite-State Machine with Minimized Memory Requirements, U. S. Patent 5,473,531, applied for Dec. 1993, issued Dec. 1995.
7. A. R. Flora-Holmquist and M. G. Staskauskas, "Formal Validation of Virtual Finite-State Machines," Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques (WIFT '95), Boca Raton, Florida, Apr. 1995, pp. 122-129.
8. G. J. Holzmann, Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
9. A. R. Flora-Holmquist and M. G. Staskauskas, "Moving Formal Methods into Practice: The VFSM Experience," Proceedings of the First Workshop on Formal Methods in Software Practice (FMSP '96), San Diego, California, Jan. 1996, pp. 49-59.