BMotionWeb hungs when open model

[Guzmán Llambías]

Hi, 

I'm new to BMotionWeb and wanted to use it for my Event-B models. 

I downloaded, followed the tutorials but when I try to open the lift model it hung on the initializing visualization screen.

I'm using Java 17 and at the end of this email is the log

Any help is appreciated

Thanks in advance

Guzmán

434  [main] INFO  de.bmotion.prob.Standalone - ProB 2 Server started on port 17080
471  [Thread-0] INFO  i.n.util.internal.PlatformDependent - Your platform does not provide complete low-level API for accessing direct buffers reliably. Unless explicitly requested, heap buffer will always be preferred to avoid potential system unstability.
1005 [Thread-0] INFO  de.bmotion.core.BMotionSocketServer - Socket.io started on host 0.0.0.0, port 19090
8118 [nioEventLoopGroup-3-1] INFO  d.b.c.CommonSocketListenerProvider - Client connected
8186 [nioEventLoopGroup-3-4] ERROR c.c.s.l.DefaultExceptionListener - Could not initialize class de.prob.scripting.Installer
java.lang.NoClassDefFoundError: Could not initialize class de.prob.scripting.Installer
at de.prob.Main.getProBDirectory(Main.java:138) ~[de.prob2.kernel-2.0.2.jar:na]
at de.prob.Main.<clinit>(Main.java:71) ~[de.prob2.kernel-2.0.2.jar:na]
at de.bmotion.prob.ProBScriptEngineProvider.<init>(ProBScriptEngineProvider.java:35) ~[bmotion-prob-0.3.1.jar:na]
at de.bmotion.prob.ProBVisualization.<init>(ProBVisualization.java:48) ~[bmotion-prob-0.3.1.jar:na]
at de.bmotion.prob.BVisualization.<init>(BVisualization.java:43) ~[bmotion-prob-0.3.1.jar:na]
at de.bmotion.prob.EventBVisualization.<init>(EventBVisualization.java:29) ~[bmotion-prob-0.3.1.jar:na]
at de.bmotion.prob.ProBVisualizationProvider.get(ProBVisualizationProvider.java:21) ~[bmotion-prob-0.3.1.jar:na]
at de.bmotion.core.InitSessionService.initSession(InitSessionService.java:32) ~[bmotion-0.3.1.jar:na]
at de.bmotion.core.CommonSocketListenerProvider$1.onData(CommonSocketListenerProvider.java:52) ~[bmotion-0.3.1.jar:na]
at de.bmotion.core.CommonSocketListenerProvider$1.onData(CommonSocketListenerProvider.java:35) ~[bmotion-0.3.1.jar:na]
at com.corundumstudio.socketio.namespace.Namespace.onEvent(Namespace.java:134) ~[netty-socketio-1.7.7.jar:na]
at com.corundumstudio.socketio.handler.PacketListener.onPacket(PacketListener.java:103) ~[netty-socketio-1.7.7.jar:na]
at com.corundumstudio.socketio.handler.InPacketHandler.channelRead0(InPacketHandler.java:92) ~[netty-socketio-1.7.7.jar:na]
at com.corundumstudio.socketio.handler.InPacketHandler.channelRead0(InPacketHandler.java:36) ~[netty-socketio-1.7.7.jar:na]
at io.netty.channel.SimpleChannelInboundHandler.channelRead(SimpleChannelInboundHandler.java:105) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.handler.codec.MessageToMessageDecoder.channelRead(MessageToMessageDecoder.java:103) ~[netty-codec-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.handler.codec.ByteToMessageDecoder.channelRead(ByteToMessageDecoder.java:187) ~[netty-codec-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.DefaultChannelPipeline.fireChannelRead(DefaultChannelPipeline.java:846) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at com.corundumstudio.socketio.transport.PollingTransport.onPost(PollingTransport.java:161) ~[netty-socketio-1.7.7.jar:na]
at com.corundumstudio.socketio.transport.PollingTransport.handleMessage(PollingTransport.java:120) ~[netty-socketio-1.7.7.jar:na]
at com.corundumstudio.socketio.transport.PollingTransport.channelRead(PollingTransport.java:97) ~[netty-socketio-1.7.7.jar:na]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at com.corundumstudio.socketio.handler.AuthorizeHandler.channelRead(AuthorizeHandler.java:115) ~[netty-socketio-1.7.7.jar:na]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.SimpleChannelInboundHandler.channelRead(SimpleChannelInboundHandler.java:108) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.handler.codec.MessageToMessageDecoder.channelRead(MessageToMessageDecoder.java:103) ~[netty-codec-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.handler.codec.ByteToMessageDecoder.channelRead(ByteToMessageDecoder.java:182) ~[netty-codec-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.invokeChannelRead(AbstractChannelHandlerContext.java:308) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.AbstractChannelHandlerContext.fireChannelRead(AbstractChannelHandlerContext.java:294) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.DefaultChannelPipeline.fireChannelRead(DefaultChannelPipeline.java:846) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.nio.AbstractNioByteChannel$NioByteUnsafe.read(AbstractNioByteChannel.java:130) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.nio.NioEventLoop.processSelectedKey(NioEventLoop.java:511) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.nio.NioEventLoop.processSelectedKeysPlain(NioEventLoop.java:430) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.nio.NioEventLoop.processSelectedKeys(NioEventLoop.java:384) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.channel.nio.NioEventLoop.run(NioEventLoop.java:354) ~[netty-transport-4.0.25.Final.jar:4.0.25.Final]
at io.netty.util.concurrent.SingleThreadEventExecutor$2.run(SingleThreadEventExecutor.java:116) ~[netty-common-4.0.25.Final.jar:4.0.25.Final]
at io.netty.util.concurrent.DefaultThreadFactory$DefaultRunnableDecorator.run(DefaultThreadFactory.java:137) ~[netty-common-4.0.25.Final.jar:4.0.25.Final]
at java.base/java.lang.Thread.run(Thread.java:833) ~[na:na]
Caused by: java.lang.ExceptionInInitializerError: Exception groovy.lang.MissingMethodException [in thread "Thread-1"]
at groovy.lang.MetaClassImpl.invokeStaticMissingMethod(MetaClassImpl.java:1503) ~[groovy-all-2.4.7.jar:2.4.7]
at groovy.lang.MetaClassImpl.invokeStaticMethod(MetaClassImpl.java:1489) ~[groovy-all-2.4.7.jar:2.4.7]
at org.codehaus.groovy.runtime.callsite.StaticMetaClassSite.call(StaticMetaClassSite.java:53) ~[groovy-all-2.4.7.jar:2.4.7]
at org.codehaus.groovy.runtime.callsite.CallSiteArray.defaultCall(CallSiteArray.java:48) ~[groovy-all-2.4.7.jar:2.4.7]
at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:113) ~[groovy-all-2.4.7.jar:2.4.7]
at org.codehaus.groovy.runtime.callsite.AbstractCallSite.call(AbstractCallSite.java:125) ~[groovy-all-2.4.7.jar:2.4.7]
at de.prob.scripting.Installer.<clinit>(Installer.groovy:18) ~[de.prob2.kernel-2.0.2.jar:na]
at de.prob.servlet.Main.getProBDirectory(Main.java:171) ~[prob2-ui-servlets-2.0.3.jar:na]
at de.prob.servlet.MainConfiguration.getProBDirectory(MainConfiguration.java:64) ~[prob2-ui-servlets-2.0.3.jar:na]
at de.prob.servlet.MainConfiguration.getProBLogfile(MainConfiguration.java:78) ~[prob2-ui-servlets-2.0.3.jar:na]
at de.prob.servlet.MainConfiguration.configure(MainConfiguration.java:51) ~[prob2-ui-servlets-2.0.3.jar:na]
at com.google.inject.AbstractModule.configure(AbstractModule.java:62) ~[guice-4.0.jar:na]
at com.google.inject.spi.Elements$RecordingBinder.install(Elements.java:340) ~[guice-4.0.jar:na]
at com.google.inject.AbstractModule.install(AbstractModule.java:122) ~[guice-4.0.jar:na]
at de.prob.servlet.MainModule.configure(MainModule.java:22) ~[prob2-ui-servlets-2.0.3.jar:na]
at com.google.inject.AbstractModule.configure(AbstractModule.java:62) ~[guice-4.0.jar:na]
at com.google.inject.spi.Elements$RecordingBinder.install(Elements.java:340) ~[guice-4.0.jar:na]
at com.google.inject.spi.Elements.getElements(Elements.java:110) ~[guice-4.0.jar:na]
at com.google.inject.internal.InjectorShell$Builder.build(InjectorShell.java:138) ~[guice-4.0.jar:na]
at com.google.inject.internal.InternalInjectorCreator.build(InternalInjectorCreator.java:104) ~[guice-4.0.jar:na]
at com.google.inject.Guice.createInjector(Guice.java:96) ~[guice-4.0.jar:na]
at com.google.inject.Guice.createInjector(Guice.java:84) ~[guice-4.0.jar:na]
at de.prob.servlet.Main.<clinit>(Main.java:44) ~[prob2-ui-servlets-2.0.3.jar:na]
at de.bmotion.prob.Standalone$1.run(Standalone.java:37) ~[bmotion-prob-0.3.1.jar:na]
... 1 common frames omitted

[Guzmán Llambías]

Tried java 11 and worked

--
You received this message because you are subscribed to a topic in the Google Groups "ProB Users" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prob-users/Kh_0b0N9G2I/unsubscribe.
To unsubscribe from this group and all its topics, send an email to prob-users+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/93f5b991-af2b-4d34-b723-4a2f7bb078d6n%40googlegroups.com.

[Michael Leuschel]

Hi Guzmán,

you may also want to have a look at our new visualization technique VisB (https://prob.hhu.de/w/index.php?title=VisB).
It supersedes BMotionWeb.
It has a simpler approach (annotating SVG or HTML files) and is being actively maintained and used.

Greetings,
Michael

[Guzmán Llambías - INCO]

Hi Michael, 

thanks for the tip, I'll check it out

Greetings

Guzmán