This article is deprecated. The described features are no longer available in current releases.

Responsible:

Related Theses:

  • Christian Motika, Semantics and Execution of Domain Specific Models – KlePto and an Execution Framework, December 2009 (pdf)

KlePto - KIELER leveraging Ptolemy semantics

Topics


Overview

This subprojects tries to introduce notions of semantics and simulation into the Eclipse graphical modeling facilities  EMF,  GEF,  GMF, etc.

As a first step the precise models of computation of the great heterogeneous modeling and design Platform  Ptolemy of the University of California at Berkeley will be linked to KIELER to map between a domain specific modeling language (DSML) in Eclipse and a Ptolemy model.


Preparing KlePto SyncCharts Simulation

In order to use the SyncCharts simulation based on the KlePto project please either

  1. start the KIELER RCA or
  2. ensure that the following plug-ins are loaded in your Eclipse run-configuration (in addition to the SyncChart editor related plug-ins):

Then you should be able to start KIELER and select the KIEM view in the KIELER category (Window->Show View->Other...->KIELER->Execution Manager).


Simulating SyncCharts with KlePto

To simulate a SyncChart, take care of the following facts:


KlePto Error Messages

Because the simulation computation is done within Ptolemy, this is where errors during the simulation might originate from. Some common problems are listed here for a better understanding of these error messages. Please use the "Error Log" View of Eclipse (see screen shot) to inspect any details of this error (double click it).

It is always necessary to inspect the "Problems" View of Eclipse before simulating. Here you might find additional simulation problems not visually shown in the editor!


unsaved changes


model changes during simulation


Ptolemy Model could not be generated


Ptolemy Model could not make a step


Transformations

Currently there are transformations into Ptolemy for two Domain Specific Languages (DSLs):

  1. Simple Rail Controller Language
  2. SyncCharts Language

Both transformations use the Xtend model2model transformation language. Details are presented under the abowe links.


Links