[Gammaray-interest] Statechart font size

[Peter Kümmel]

On 17.04.2014 12:56, Kevin Funk wrote:
>>
>> I would like to have a way to extract the state machine description and to
>> feed a verifier with the output. Similar to http://mbeddr.com
>
> What format do you have in mind?

They use http://yices.csl.sri.com/ for the model checking, thus they export to the
format needed by this tool. I assume it would be much more complicated to export
to their format than to XML.

http://mbeddr.com/files/voelteretal-mbeddr-final.pdf

>
> We have plans to support exporting the tree to SCXML [1] (because that's been
> the model for Qt's State Machine Framework).
>
> Greets
>
>>>>> Anyway, patches welcome.
>>>>
>>>> Above in mind it sound like such patches will be thrown away soon, not
>>>> very
>>>> attractive.
>>>
>>> Fair enough. But I guess that a small view-settings dialog (e.g. for
>>> setting the font used in the scene) could easily be re-used, so nothing
>>> would be lost.
>>>
>>> And on the StateMachineViewerWidget-side, that's more or less a question
>>> of
>>> setting a property.
>>>
>>>>> Greets
>>>
>>> Cheers
>
> [1] http://www.w3.org/TR/2014/CR-scxml-20140313/
>