Live data from Hacker News

OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

oosmos.com

1–10 of 25 posts

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#4
For background on the semantics of statecharts and a bit of computer science history, see the following papers and book by Prof. David Harel (the inventor of statecharts) and his collaborators:

The STATEMATE Semantics of Statecharts, 1996

http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Seman...

Modeling Reactive Systems with Statecharts: The STATEMATE Approach, 1998

http://www.wisdom.weizmann.ac.il/~harel/reactive_systems.htm...

The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), 2004

http://www.wisdom.weizmann.ac.il/~harel/papers/RhapsodySeman...

Statecharts in the Making: A Personal Account, 2007

http://www.wisdom.weizmann.ac.il/~harel/papers/Statecharts.H...

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#5

For background on the semantics of statecharts and a bit of computer science history, see the following papers and book by Prof. David Harel (the inventor of statecharts) and his collaborators: The STATEMATE Semantics of Statecharts , 1996 http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Seman... Modeling Reactive Systems with Statecharts: The STATEMATE Approach , 1998 http://www.wisdom.weizmann.ac.il/~harel/re…

Any software tool recommendations (preferably open source) for creating statecharts?

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#6
post #5

For background on the semantics of statecharts and a bit of computer science history, see the following papers and book by Prof. David Harel (the inventor of statecharts) and his collaborators: The STATEMATE Semantics of Statecharts , 1996 http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Seman... Modeling Reactive Systems with Statecharts: The STATEMATE Approach , 1998 http://www.wisdom.weizmann.ac.il/~harel/re…

Any software tool recommendations (preferably open source) for creating statecharts?

http://oosmos.com/tools-used#id_UmLet

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#7
post #5

For background on the semantics of statecharts and a bit of computer science history, see the following papers and book by Prof. David Harel (the inventor of statecharts) and his collaborators: The STATEMATE Semantics of Statecharts , 1996 http://www.wisdom.weizmann.ac.il/~harel/SCANNED.PAPERS/Seman... Modeling Reactive Systems with Statecharts: The STATEMATE Approach , 1998 http://www.wisdom.weizmann.ac.il/~harel/re…

Any software tool recommendations (preferably open source) for creating statecharts?

Not open source but this is an excellent free drawing tool that lets you draw very good looking state charts: http://www-03.ibm.com/software/products/en/ratimode

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#9
post #8

Just in time for people realizing that holding onto lots of state is actually a code-design smell and that functional paradigms should be used as much as possible instead!

Not in safety critical applications, nor resource-constrained embedded systems (which this project is targeting).

Re: OOSMOS, the Object Oriented State Machine Operating System, Is Now Open Source

#10
post #8

Just in time for people realizing that holding onto lots of state is actually a code-design smell and that functional paradigms should be used as much as possible instead!

Not in safety critical applications, nor resource-constrained embedded systems (which this project is targeting).

How is a nine-nines reliability record (as achieved, for example, by Erlang http://stackoverflow.com/questions/8426897/erlangs-99-999999...) not relevant to safety-critical applications?

In the second example, you stand on firmer ground though.

Post reply on HN