Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » Papyrus » Adding different execution semantics to Moka(Moka)
Adding different execution semantics to Moka [message #1700046] Mon, 29 June 2015 19:22 Go to next message
Angelica Perez is currently offline Angelica PerezFriend
Messages: 1
Registered: June 2015
Junior Member

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?

Re: Adding different execution semantics to Moka [message #1706339 is a reply to message #1700046] Wed, 26 August 2015 06:12 Go to previous message
Stellar Lee is currently offline Stellar LeeFriend
Messages: 3
Registered: August 2015
Junior Member
I could not find the developer documents either. I need to do the same work as you.
Previous Topic:Moka instantiate execution engine
Next Topic:bug in Papyrus diagram : Associations disappearing when i drag a class to a package.
Goto Forum:

Current Time: Sun Jul 12 00:39:03 GMT 2020

Powered by FUDForum. Page generated in 0.02497 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top