Page 1 of 1

import XMI-statecharts with Poseidon

PostPosted: Tue Jan 13, 2004 9:27 pm
by Goodbyte
Hi!
I've to write an XMI-exporter for our modelchecker, so we can load our statecharts with Poseidon.
Is it possible to import these XMI-files with Poseidon without creating the whole .zargo-Files?
I tried it and no error occurred, but there where no statechart loaded...

CU
Stefan Schulze