Model Transformation with the Ptera Controller
Thomas Huining Feng

Citation
Thomas Huining Feng. "Model Transformation with the Ptera Controller". Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.

Abstract
ERG-Controlled Transformation of Ptolemy Models Ptera is a discrete-event model of computation that emphasizes the causality relationship and timing of events, which may carry actions with side effect. Hierarchical composition between Ptera and DE, SDF, FSM and SR enables highly flexible design of complex timed or untimed systems. Model checking for ERG models is a future direction of interest. Ptera can be used to control model analysis and transformation workflows. In a step of such a workflow, an event may be designed to transform a given model with a visually specified graph transformation rule. The whole workflow could be to generate a model, to optimize a model, or to configure a model dynamically while it is being executed. We show that by performing simple transformations step-by-step with an Ptera controller, the time spent on the workflow is acceptable in practice despite the NP-hard of applying a single graph transformation rule.

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Thomas Huining Feng. <a
  href="http://chess.eecs.berkeley.edu/pubs/552.html"
  ><i>Model Transformation with the Ptera
  Controller</i></a>, Talk or presentation,  16,
  April, 2009; Presented at the 8th Biennial Ptolemy
  Miniconference.

• Plain text

  Thomas Huining Feng. "Model Transformation with the
  Ptera Controller". Talk or presentation,  16, April,
  2009; Presented at the 8th Biennial Ptolemy Miniconference.

• BibTeX

  @presentation{Feng09_ModelTransformationWithPteraController,
      author = {Thomas Huining Feng},
      title = {Model Transformation with the Ptera Controller},
      day = {16},
      month = {April},
      year = {2009},
      note = {Presented at the 8th Biennial Ptolemy
                Miniconference},
      abstract = {ERG-Controlled Transformation of Ptolemy Models
                Ptera is a discrete-event model of computation
                that emphasizes the causality relationship and
                timing of events, which may carry actions with
                side effect. Hierarchical composition between
                Ptera and DE, SDF, FSM and SR enables highly
                flexible design of complex timed or untimed
                systems. Model checking for ERG models is a future
                direction of interest. Ptera can be used to
                control model analysis and transformation
                workflows. In a step of such a workflow, an event
                may be designed to transform a given model with a
                visually specified graph transformation rule. The
                whole workflow could be to generate a model, to
                optimize a model, or to configure a model
                dynamically while it is being executed. We show
                that by performing simple transformations
                step-by-step with an Ptera controller, the time
                spent on the workflow is acceptable in practice
                despite the NP-hard of applying a single graph
                transformation rule.},
      URL = {http://chess.eecs.berkeley.edu/pubs/552.html}
  }
  

Posted by Christopher Brooks on 17 Apr 2009.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.