EMFText
The fastest way to refinable, durable and evolution-resistant textual syntaxes for EMF models!
The fastest way to refinable, durable and evolution-resistant textual syntaxes for EMF models!
Timing Constraint Specification for UML Statemachines
A language used to specifiy timing constaints on UML state machines. Instead of using stereotypes, which is the most common way to extend the semantics of UML, a textual language is used to extend UML model with additional information. The references within the specification (state names) are resolved to the correct model elements (of type State) in a UML model with the same name (excluding the file extension). For example, a model called system.uml can be extended with a timing specification simple by creating a file called system.spec.
This language was originally developed for the SuReal project to facilitate model checking UML state machines with UPPAAL.