Please enable JavaScript.
Coggle requires JavaScript to display documents.
B-Motion Tutorial - Coggle Diagram
B-Motion Tutorial
-
-
-
Preparation
Criar uma new visualization, adicionar os dados e continuar
Selecionar o modelo
Verificar os arquivos de js e html gerados que podem ser mexidos a vontade para visualização gráficas e assim por diante
-
Formal Model
Adicionar o modelo formal ao projeto, com o Event-B por exemplo
Link Model-Visualization
Abrir o BMotionWeb com qualquer editor desejado, seleciona o path do modelo para "model/Mlift.bcm"
-
Start Visualization
Abra o BMotionWeb, seja arrastando e jogando ou pela aba File. A visualização deve iniciar
-