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

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