Eclipse Community Forums: Papyrus » How to Symbolically execute state machine in Eclipse Papyrus and Moka extension?

Help

Home

Home » Modeling » Papyrus » How to Symbolically execute state machine in Eclipse Papyrus and Moka extension?

Show: Today's Messages :: Show Polls :: Message Navigator

How to Symbolically execute state machine in Eclipse Papyrus and Moka extension? [message #1785759]

Thu, 19 April 2018 12:01

Rahul Dhole

Messages: 1
Registered: April 2018

Junior Member

I need a working example of executing a state machine diagram in Papyrus and Moka. I have an example but its giving error "Unexpected Exception". Please help me!!!

Attachment: Capture d’écran (155).png
(Size: 143.88KB, Downloaded 44 times)

Report message to a moderator

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 13:12

Jeremie Tatibouet

Messages: 8
Registered: April 2014

Junior Member

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.

Report message to a moderator

Previous Topic:	Papyrus 3.3 is available
Next Topic:	State chart code generation walkthrough

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Mon Nov 19 13:07:41 GMT 2018

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter