Citation
Thomas Huining Feng, Miriam Zia. " Multi-formalism modelling and model transformation for the design of reactive systems". 2007 Summer Computer Simulation Conference (SCSC 2007), July, 2007.

Abstract
This paper presents a development process based on modelling, simulation, and code synthesis. The DCharts formalism, a Statecharts variant with extensions, is used to model a small application to demonstrate our approach: a traffic light. The development of this system highlights the use of various formalisms with appropriate supporting tools: AToM3, A Tool for Multi-formalism and Meta-Modelling, is used as a multi-formalism visual modelling environment; SVM is the simulation engine used to experiment with prototype models; SCC is the code synthesizer that generates reusable source code in a variety of target languages. Transformation onto the Communicating Sequential Processes (CSP) formalism allows for model checking using the Failures Divergences Refinement Checker (FDR2) model checker.We demonstrate how using multiple formalisms as well as model transformations during the design process can drastically improve productivity, reliability and reusability.

Electronic downloads

• http://portal.acm.org/citation.cfm?id=1357990#

• HTML

  Thomas Huining Feng, Miriam Zia. <a
  href="http://chess.eecs.berkeley.edu/pubs/593.html">
  Multi-formalism modelling and model transformation for the
  design of reactive systems</a>,  2007 Summer Computer
  Simulation Conference (SCSC 2007), July, 2007.

• Plain text

  Thomas Huining Feng, Miriam Zia. " Multi-formalism
  modelling and model transformation for the design of
  reactive systems".  2007 Summer Computer Simulation
  Conference (SCSC 2007), July, 2007.

• BibTeX

  @inproceedings{FengZia07_MultiformalismModellingModelTransformationForDesign,
      author = {Thomas Huining Feng and Miriam Zia},
      title = { Multi-formalism modelling and model
                transformation for the design of reactive systems},
      booktitle = { 2007 Summer Computer Simulation Conference (SCSC
                2007)},
      month = {July},
      year = {2007},
      abstract = {This paper presents a development process based on
                modelling, simulation, and code synthesis. The
                DCharts formalism, a Statecharts variant with
                extensions, is used to model a small application
                to demonstrate our approach: a traffic light. The
                development of this system highlights the use of
                various formalisms with appropriate supporting
                tools: AToM3, A Tool for Multi-formalism and
                Meta-Modelling, is used as a multi-formalism
                visual modelling environment; SVM is the
                simulation engine used to experiment with
                prototype models; SCC is the code synthesizer that
                generates reusable source code in a variety of
                target languages. Transformation onto the
                Communicating Sequential Processes (CSP) formalism
                allows for model checking using the Failures
                Divergences Refinement Checker (FDR2) model
                checker.We demonstrate how using multiple
                formalisms as well as model transformations during
                the design process can drastically improve
                productivity, reliability and reusability.},
      URL = {http://chess.eecs.berkeley.edu/pubs/593.html}
  }
  

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