Citation
Janos Sztipanovits. "Towards the Compositional Specification of Semantics for Heterogeneous Domain-Specific Modeling Languages". Workshop on Foundation of Composition, October, 2006.

Abstract
Domain-Specific Modeling Languages (DSMLs) play fundamental role in the model-based design of embedded software and systems. While abstract syntax metamodeling enables the rapid and inexpensive development of DSMLs, the specification of DSML semantics is still a hard problem. In previous work, we have developed methods and tools for the semantic anchoring of DSML-s. Semantic anchoring introduces a set of reusable "semantic units" that provides reference semantics for basic behavioral categories using the Abstract State Machine framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by developing method for the composition of semantic units. Semantic unit composition reduces the required effort from DSML designers and improves the quality of the specification. The proposed method is demonstrated through a case study.

Electronic downloads

• http://www.artist-embedded.org/docs/Events/2006/Components_EmSoft/Composiiton-WS-Sztipanovits.pdf. ((Presentation))

• HTML

  Janos Sztipanovits. <a
  href="http://chess.eecs.berkeley.edu/pubs/291.html"
  >Towards the Compositional Specification of Semantics for
  Heterogeneous Domain-Specific Modeling Languages</a>,
  Workshop on Foundation of Composition, October, 2006.

• Plain text

  Janos Sztipanovits. "Towards the Compositional
  Specification of Semantics for Heterogeneous Domain-Specific
  Modeling Languages". Workshop on Foundation of
  Composition, October, 2006.

• BibTeX

  @inproceedings{Sztipanovits06_TowardsCompositionalSpecificationOfSemanticsForHeterogeneous,
      author = {Janos Sztipanovits},
      title = {Towards the Compositional Specification of
                Semantics for Heterogeneous Domain-Specific
                Modeling Languages},
      booktitle = {Workshop on Foundation of Composition},
      month = {October},
      year = {2006},
      abstract = {Domain-Specific Modeling Languages (DSMLs) play
                fundamental role in the model-based design of
                embedded software and systems. While abstract
                syntax metamodeling enables the rapid and
                inexpensive development of DSMLs, the
                specification of DSML semantics is still a hard
                problem. In previous work, we have developed
                methods and tools for the semantic anchoring of
                DSML-s. Semantic anchoring introduces a set of
                reusable "semantic units" that provides reference
                semantics for basic behavioral categories using
                the Abstract State Machine framework. In this
                paper, we extend the semantic anchoring framework
                to heterogeneous behaviors by developing method
                for the composition of semantic units. Semantic
                unit composition reduces the required effort from
                DSML designers and improves the quality of the
                specification. The proposed method is demonstrated
                through a case study.},
      URL = {http://chess.eecs.berkeley.edu/pubs/291.html}
  }
  

Posted by Christopher Brooks on 6 Jun 2007.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.