*banner
 

Models as Structures: The Structural Semantics of Model-Based Design
Ethan Jackson, Janos Sztipanovits

Citation
Ethan Jackson, Janos Sztipanovits. "Models as Structures: The Structural Semantics of Model-Based Design". Journal of Software and Systems Modeling (SOSYM), 2007; (Submitted).

Abstract
Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure to facilitate domain specific abstractions and platform modeling. However, the structural semantics of model-based approaches are not well-understood. In this paper we develop the formal foundations for the structural semantics of model-based design. Additionally, we show how our formalization can be applied to existing tools, and how it yields algorithms for the analysis of domain-specific modeling languages (DSMLs) and model transformations.

Electronic downloads

Citation formats  
  • HTML
    Ethan Jackson, Janos Sztipanovits. <a
    href="http://chess.eecs.berkeley.edu/pubs/288.html"
    >Models as Structures: The Structural Semantics of
    Model-Based Design</a>, <i>Journal of Software
    and Systems Modeling (SOSYM)</i>,  2007; (Submitted).
  • Plain text
    Ethan Jackson, Janos Sztipanovits. "Models as
    Structures: The Structural Semantics of Model-Based
    Design". <i>Journal of Software and Systems
    Modeling (SOSYM)</i>,  2007; (Submitted).
  • BibTeX
    @article{JacksonSztipanovits07_ModelsAsStructuresStructuralSemanticsOfModelBasedDesign,
        author = {Ethan Jackson and Janos Sztipanovits},
        title = {Models as Structures: The Structural Semantics of
                  Model-Based Design},
        journal = {Journal of Software and Systems Modeling (SOSYM)},
        year = {2007},
        note = {(Submitted)},
        abstract = {Model-based approaches to system design are now
                  widespread and successful. These approaches make
                  extensive use of model structure to facilitate
                  domain specific abstractions and platform
                  modeling. However, the structural semantics of
                  model-based approaches are not well-understood. In
                  this paper we develop the formal foundations for
                  the structural semantics of model-based design.
                  Additionally, we show how our formalization can be
                  applied to existing tools, and how it yields
                  algorithms for the analysis of domain-specific
                  modeling languages (DSMLs) and model
                  transformations.},
        URL = {http://chess.eecs.berkeley.edu/pubs/288.html}
    }
    

Posted by Christopher Brooks on 6 Jun 2007.
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