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

• http://www.researchchannel.org/prog/displayevent.aspx?rID=11254&fID=2785. (Video of Ethan Jackson presenting this work.)

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