[Xitami-Dev] SFL thread-safety and Java SMT

[Pieter Hintjens]

Keresztfalvi Laszlo <kereszt@iname.com> wrote:

> I believe this FSM approach must become an industry standard to
> develop trustable, stable software...

Me and my colleagues have been using Libero and similar tools for 
about 15 years and two big themes emerge:

1. Software built around human-readable FSMs is always significantly 
easier to maintain, modify, and understand than either OO or 
procedural code, written by the same people.  This is because FSMs 
are excellent at abstracting and eliminating complexity from a design.

2. Most people *hate* learning the methodology.  This is because 
people often hate making the effort of abstracting and eliminating 
complexity.  :)

So, I believe that the approach will remain in a niche for the last 
reason.  But we're very happy with SMT - it forms the basis for much 
of the custom work we do for customers.  And so, we will continue to 
develop and support it.

-
Pieter Hintjens
iMatix Corporation