*banner
 

Model Engineering
Edward A. Lee

Citation
Edward A. Lee. "Model Engineering". Talk or presentation, 21, October, 2008.

Abstract
Model-based design uses models of systems as the specification for software behavior and synthesizes executable software from those models. As with any successful engineering discipline, design techniques must evolve to support development, maintenance, and evolution of designs, and these techniques must be able to handle designs of realistic size and complexity. The discipline of software engineering provides techniques, such as object-oriented design, static analysis, and formal verification, for software designs. This talk explores techniques that support development, maintenance, and evolution of models. In particular, we discuss model transformation, model ontologies, and multimodeling, with applications to construction of large models (e.g. MapReduce), model optimization, and consistency management across multiple models.

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/502.html"
    ><i>Model Engineering</i></a>, Talk or
    presentation,  21, October, 2008.
  • Plain text
    Edward A. Lee. "Model Engineering". Talk or
    presentation,  21, October, 2008.
  • BibTeX
    @presentation{Lee08_ModelEngineering,
        author = {Edward A. Lee},
        title = {Model Engineering},
        day = {21},
        month = {October},
        year = {2008},
        abstract = {Model-based design uses models of systems as the
                  specification for software behavior and
                  synthesizes executable software from those models.
                  As with any successful engineering discipline,
                  design techniques must evolve to support
                  development, maintenance, and evolution of
                  designs, and these techniques must be able to
                  handle designs of realistic size and complexity.
                  The discipline of software engineering provides
                  techniques, such as object-oriented design, static
                  analysis, and formal verification, for software
                  designs. This talk explores techniques that
                  support development, maintenance, and evolution of
                  models. In particular, we discuss model
                  transformation, model ontologies, and
                  multimodeling, with applications to construction
                  of large models (e.g. MapReduce), model
                  optimization, and consistency management across
                  multiple models. },
        URL = {http://chess.eecs.berkeley.edu/pubs/502.html}
    }
    

Posted by Hiren Patel on 23 Oct 2008.
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.

You are not logged in 
©2002-2014 Chess