the complete proceedings

3D Engine, Avatars, VRML, X3D, Sign Language, French Sign Language, Automatic Translation, Natural Language .Automatic Processing,

To support test purposes specification, we enrich our language with formal scenario-based semantics; the behavior to be tested is expressed as a temporal OCL expression, and

The QVT-O debugger is integrated into the Eclipse environment and oers a large subset of debugging functionality for QVT-O such as stepping /R1/, a variables view /R4/,

Thus, we have defined the Model Query and Constraint Language (MOCQL, [5]), a language that shares the high level concepts of VMQL, but not the vi- sual syntax.. Again, we

Our previous work on constraint based program- ming and modelling tools (allowing for example behaviour-preserving refactor- ing and well-formedness preserving completions or

– In deep mode, for each UML/OCL command, an object- oriented datatype theory is generated (but not evaluated) using the concrete syntax of Isabelle/Isar. Usually, evaluat- ing

The Object Constraint Language (OCL, [1]) However, it also supports for some functional features, e.g., functions composition, and many authors have pro- posed the inclusion of

As an example, consider the invariants in Figure 4 over the metamodel in Figure 1: (Inv1) there cannot be two attributes with the same name within the same class, (Inv2) a class and