*banner
 

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 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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess