Условия OCL в UserModels ⇐ JAVA

[Anonymous]

Я пытаюсь использовать условия OCL на основе пользовательской модели ECORE.
Мой первый вопрос заключается в том, возможно ли даже использовать условия OCL в этом контексте или нет. Таким образом, в моем особом случае пользователь может создать собственную модель со своими собственными задачами, потоками последовательности, переменными и так далее. Пользователь также может определить свои собственные условия OCL во время выполнения. Пока что все хорошо. В каждом фрагменте кода, который я видел (как это ниже). Контекст Oclhelper был установлен на мета -модели (literals.libraray). < /P>

Как я могу использовать условия OCL для моих целей? < /P>

OCL ocl = OCL.newInstance(new PivotEnvironmentFactory());
OCLHelper helper = ocl.createOCLHelper(EXTLibraryPackage.Literals.LIBRARY);
ExpressionInOCL invariant = helper.createInvariant(
"books->forAll(b1, b2 | b1 b2 implies b1.title b2.title)");
ExpressionInOCL query = helper.createQuery(
"books->collect(b : Book | b.category)->asSet()");

// create a Query to evaluate our query expression
Query queryEval = ocl.createQuery(query);
// create another to check our constraint
Query constraintEval = ocl.createQuery(invariant);


Подробнее здесь: https://stackoverflow.com/questions/437 ... usermodels