Re: [BLACKBOX] FSM for reactive systems

From: [at]} <Bob>
Date: Thu, 4 Mar 2010 19:59:37 -0000

> Hi all,
> does anybody have experience in development of software for
> reactive systems ?
> I'm looking for a concept how to implement hierarchical
> finite state machines like the ones found in statecharts
> developed by D. Harel.
> Thanks in advance for any hints, advice, ideas ...

There are probably more ways to implement them than there are programmers...
However, I have 2 books which discuss them in enough detail to be able to

1. Horrocks: Constructing the user interface with statecharts.

I don't agree with the details of how he does it, but the principles all
work correctly. As the title says, he is geared towards the user interface,
but that is just one example of a reactive system and the ideas themselves
are quite general.

2. Sanden: Software systems construction with examples in Ada.

This is very good on implementing FSMs as well as on the theory. It covers
much more than just statecharts and is very good on the M A Jackson's design
methods as applied to reactive and real-time systems.

A few months ago there was a thread on this list about long-running
processes. As part of the thread I sent an example which implements a simple
statechart. I have attached the email. If you don't receive it and would
like to - for example, if it is removed by the list server - please let me
know and I will send it privately.

To unsubscribe, send a message with body "SIGNOFF BLACKBOX" to LISTSERV{([at]})nowhere.xy

attached mail follows:

Received on Thu Mar 04 2010 - 20:59:37 UTC

This archive was generated by hypermail 2.3.0 : Thu Sep 26 2013 - 06:30:34 UTC