Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [henshin-dev] StateMachine Example

H Gregor,

I haven't looked at the example yet but it sounds very cool. I will definitely put it online when I find some time. If you have more examples please share. Anyway, thanks a lot for this one!

cheers,
christian

On 10/26/11 17:16, Gregor Bonifer wrote:
Hi all,

here is another little example.
I used a TransformationSystem to determine whether or not a given string is a word in a regular language defined by a state machine. More precisely, the applicability of the transformation yields this result.

The transformation creates and transforms a small semantic model managing the state of the execution. The state machine is left unchanged. I'm not sure how to classify this transformation, since only the existence but not the characteristics of the output are relevant. Any ideas?

Regards,
Gregor


_______________________________________________
henshin-dev mailing list
henshin-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/henshin-dev



Back to the top