search

HEADS-project / training

Training material to get started with the HEADS technologies
10 stars 16 forks source link

how to define the element formally #103

Closed FeltonXuAtECNU closed 8 years ago

FeltonXuAtECNU commented 8 years ago

Is there any formal definition of thingml modelling language?

By formal, I mean something like this:

state:: = a | b statechart:: = b | c

Thanks in advance!

brice-morin commented 8 years ago

The metamodel (in model project in ThingML repository) is defined using the EMOF standard and its EMF implementation.