Dear TASTE users,
A new version of TASTE has been released.
Main changes are in OpenGEODE
- Various bugfixes
- Major: support of composite states
It is now possible to design SDL hierarchical state machines (following SDL2010 standard) to describe more accurately the behaviour of your system.
The picture below illustrates this feature.
You can have nested
states with several entry and exit points. Each substate is a
state machine by itself - that can have local variables,
procedures, other nested states.
Double click on a state to enter its hierachical decomposition
and define the nested state.
After you update your TASTE VM (Update-TASTE.sh) you can find a complete example showing this new feature if you go there (in TASTE VM):
$ cd /home/assert/tool-src/misc/opengeode/tests/regression/test10
$ opengeode challenge.pr system_structure.pr
This directory also
shows how to write a manual application (in C) that interacts
with the SDL state machines. If you type make
you will see the whole process and test case.
The OpenGEODE tutorial
documentation has also been updated to illustrate this feature
(in /home/assert/tool-src/doc/training/opengeode.pdf)
Also note that OpenGEODE
is now also available on github here: https://github.com/maxime-esa/opengeode
In case of issues,
please do not hesitate to contact us.
Best regards.
Maxime,
on behalf of the TASTE team
This message and any attachments are intended for the use of the addressee or addressees only. The unauthorised disclosure, use, dissemination or copying (either in whole or in part) of its content is not permitted. If you received this message in error, please notify the sender and delete it from your system. Emails can be altered and their integrity cannot be guaranteed by the sender. Please consider the environment before printing this email.