Как исправить неизвестную конфигурацию org.animb.valuation.valBase в моем проекте Rodin Platform Event-B?

Question

Как исправить неизвестную конфигурацию org.animb.valuation.valBase в моем проекте Rodin Platform Event-B?

Я импортировал полностью уточненную модель в мою последнюю версию Платформы Родена, и я пытаюсь использовать IUMLB с аниматором ProB в этом проекте. Но так как в проекте уже был предварительно настроенный аниматор AnimB, который не поддерживается последней версией программного обеспечения Rodin. Ошибка гласит "неизвестная конфигурация org.animb.valuation.valBase".

Как удалить или исправить эту конфигурацию AnimB из проекта?

2

modeling formal-methods event-b

Источник

user8821069 29 мар '19 в 15:35

1 ответ

Решение

Другие вопросы по тегам modeling formal-methods event-b

user8821069 01 апр '19 в 10:02 2019-04-01 10:02 · Accepted Answer · 2019-04-01 10:02

Мне удалось решить эту проблему самому:).

Не все, что у меня было, но эта конкретная проблема была исправлена путем открытия файла в текстовом редакторе, где отображалась ошибка, и я просто удалил org.animb.valuation.valBase из eventb.core.configuration, как показано ниже:

Ранее:

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;org.animb.valuation.valBase;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

Потом:

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

Это исправило мою проблему. Больше ошибок нет:)