FAIN SNAP provides an active network programming language and interpreter. It allows finitestate machines to be operated over a number of network elements. Its main use is to program firewalls and raise alerts. It is a native Debian distribution.
MelaJò Portal Framework is a framework to develop Java Enterprise/J2EE/MVC based applications rapidly and easily.
It's based on FiniteState Machine concept. It's used for years
to create real business web applications with J2EE architecture.
JStateMachine is designed to control user interfaces (Swing and Servlet/JSP) by treating the UI as a well-defined finitestate machine. It is MVC-like and supports access control, exception handling, I18N and rapid prototyping.