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

Abstract
Ptera (Ptolemy Event Relationship Actor) 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 Ptera 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.

Electronic downloads

• Miniconference%20Presentation.ppt · download/application/vnd.ms-powerpoint · 3145 kbytes

• HTML

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

• Plain text

  Thomas Huining Feng. "Model Transformation with the
  Ptera Controller". Talk or presentation,  16, April,
  2009; Presented in 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 in the 8th Biennial Ptolemy
                Miniconference},
      abstract = {Ptera (Ptolemy Event Relationship Actor) 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 Ptera 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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/548.html}
  }
  

Posted by Thomas Huining Feng on 16 Apr 2009.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.