*banner
 

Towards A Formal Foundation For Domain Specific Modeling Languages
Ethan Jackson, Janos Sztipanovits

Citation
Ethan Jackson, Janos Sztipanovits. "Towards A Formal Foundation For Domain Specific Modeling Languages". Proceedings of the Sixth ACM International Conference on Embedded Software (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM, 53-63, October, 2006.

Abstract
Embedded system design is inherently domain specific and typically model driven. As a result, design methodologies like OMG’s model driven architecture (MDA) and model integrated computing (MIC) evolved to support domain specific modeling languages (DSMLs). The success of the DSML approach has encouraged work on the heterogeneous com- position of DSMLs, model transformations between DSMLs, approximations of formal properties within DSMLs, and reuse of DSML semantics. However, in the effort to produce a mature design approach that can handle both the structural and behavioral semantics of embedded system design, many foundational issues concerning DSMLs have been overlooked. In this paper we present a formal foundation for DSMLs and for their construction within metamodeling frameworks. This foundation allows us to algorithmically decide if two DSMLs or metamodels are equivalent, if model transformations preserve properties, and if metamodeling frameworks have meta-metamodels. These results are key to building correct embedded systems with DSMLs.

Electronic downloads

Citation formats  
  • HTML
    Ethan Jackson, Janos Sztipanovits. <a
    href="http://chess.eecs.berkeley.edu/pubs/286.html"
    >Towards A Formal Foundation For Domain Specific Modeling
    Languages</a>, Proceedings of the Sixth ACM
    International Conference on Embedded Software
    (EMSOFT’06), Sang Lyul Min, Wang Yi (eds.), ACM,
    53-63, October, 2006.
  • Plain text
    Ethan Jackson, Janos Sztipanovits. "Towards A Formal
    Foundation For Domain Specific Modeling Languages".
    Proceedings of the Sixth ACM International Conference on
    Embedded Software (EMSOFT’06), Sang Lyul Min, Wang
    Yi (eds.), ACM, 53-63, October, 2006.
  • BibTeX
    @inproceedings{JacksonSztipanovits06_TowardsFormalFoundationForDomainSpecificModelingLanguages,
        author = {Ethan Jackson and Janos Sztipanovits},
        title = {Towards A Formal Foundation For Domain Specific
                  Modeling Languages},
        booktitle = {Proceedings of the Sixth ACM International
                  Conference on Embedded Software (EMSOFT’06)},
        editor = {Sang Lyul Min, Wang Yi},
        organization = {ACM},
        pages = {53-63},
        month = {October},
        year = {2006},
        abstract = {Embedded system design is inherently domain
                  specific and typically model driven. As a result,
                  design methodologies like OMG’s model driven
                  architecture (MDA) and model integrated computing
                  (MIC) evolved to support domain specific modeling
                  languages (DSMLs). The success of the DSML
                  approach has encouraged work on the heterogeneous
                  com- position of DSMLs, model transformations
                  between DSMLs, approximations of formal properties
                  within DSMLs, and reuse of DSML semantics.
                  However, in the effort to produce a mature design
                  approach that can handle both the structural and
                  behavioral semantics of embedded system design,
                  many foundational issues concerning DSMLs have
                  been overlooked. In this paper we present a formal
                  foundation for DSMLs and for their construction
                  within metamodeling frameworks. This foundation
                  allows us to algorithmically decide if two DSMLs
                  or metamodels are equivalent, if model
                  transformations preserve properties, and if
                  metamodeling frameworks have meta-metamodels.
                  These results are key to building correct embedded
                  systems with DSMLs.},
        URL = {http://chess.eecs.berkeley.edu/pubs/286.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