Citation
Thomas Huining Feng, Edward A. Lee. "Model Transformation Using ERG Controller". Talk or presentation, 12, February, 2009; Poster presented at the 2008 Berkeley EECS Annual Research Symposium (BEARS).

Abstract
ERG (Event Relationship Graph) 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 ERG 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.

ERG 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 ERG controller, the time spent on the workflow is acceptable in practice despite the NP-hard complexity of applying a single graph transformation rule.

Electronic downloads

• Model%20Transformation%20Using%20ERG%20Controller.ppt · application/vnd.ms-powerpoint · 1706 kbytes

• HTML

  Thomas Huining Feng, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/526.html"><i>Model
  Transformation Using ERG Controller</i></a>,
  Talk or presentation,  12, February, 2009; Poster presented
  at the <a
  href="http://www.eecs.berkeley.edu/bears/"
  >2008 Berkeley EECS Annual Research Symposium
  (BEARS)</a>.

• Plain text

  Thomas Huining Feng, Edward A. Lee. "Model
  Transformation Using ERG Controller". Talk or
  presentation,  12, February, 2009; Poster presented at the
  <a href="http://www.eecs.berkeley.edu/bears/"
  >2008 Berkeley EECS Annual Research Symposium
  (BEARS)</a>.

• BibTeX

  @presentation{FengLee09_ModelTransformationUsingERGController,
      author = {Thomas Huining Feng and Edward A. Lee},
      title = {Model Transformation Using ERG Controller},
      day = {12},
      month = {February},
      year = {2009},
      note = {Poster presented at the <a
                href="http://www.eecs.berkeley.edu/bears/" >2008
                Berkeley EECS Annual Research Symposium (BEARS)</a>},
      abstract = {ERG (Event Relationship Graph) 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 ERG 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. <p> ERG 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 ERG controller, the time
                spent on the workflow is acceptable in practice
                despite the NP-hard complexity of applying a
                single graph transformation rule.},
      URL = {http://chess.eecs.berkeley.edu/pubs/526.html}
  }
  

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