Eclipse Community Forums: Papyrus » Adding different execution semantics to Moka

Help

Home

Home » Modeling » Papyrus » Adding different execution semantics to Moka(Moka)

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

Adding different execution semantics to Moka [message #1700046]

Mon, 29 June 2015 19:22

Angelica Perez

Messages: 1
Registered: June 2015

Junior Member

Hi,

I'm working on an extensible formal semantics for UML models, where the UML semantics defined in the standard can be extended according to domain-specific needs. The goal of the formal semantics is formal verification (e.g. model checking).

We would like to simulate the model execution based on the extended semantics in order to help the semantics developer.

I read in the user guide that Moka can be extended to address new execution semantics using extension points. However, I couldn't find any information about it. Could you point me out where I can find information about definition of new semantics for Moka or about extension of the Moka plug-in?

Thanks,

Report message to a moderator