|
Re: How to Symbolically execute state machine in Eclipse Papyrus and Moka extension? [message #1786303 is a reply to message #1785759] |
Mon, 30 April 2018 09:12  |
Eclipse User |
|
|
|
As far as I can tell, your state machine has transitions with triggers referring to time events (see section 13.4.10 in [UML 2.5]). If you confirm this assumption then the problem is likely related to the fact that your are using the PSSM (Precise Semantics of UML State machines) implementation (see *.statemachines engine) to run your model.
Indeed, PSSM does not provide semantics to time event. Hence when the engine tries to provide an interpretation to such event then it fails and raises an exception. In order to solve this issue, you shall run your model using the *.timedfuml engine that is an extension of the one corresponding the PSSM implementation.
|
|
|
Powered by
FUDForum. Page generated in 0.27871 seconds