Citation
Kai Chen, Janos Sztipanovits, Sandeep Neema. "Compositional Specification of Behavioral Semantics". Proceedings of Design Automation and Test in Europe Conference (DATE 07), 906-911, April, 2007.

Abstract
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). 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 DSMLs. Semantic anchoring introduces a set of reusable “semantic units” that provide reference semantics for basic behavioral categories using the Abstract State Machine (ASM) framework. In this paper, we extend the semantic anchoring framework to heterogeneous behaviors by developing a 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://doi.acm.org/10.1145/1266366.1266562
• http://www.cecs.uci.edu/~papers/date07/PAPERS/2007/DATE07/PDFFILES/06.5_1.PDF

• HTML

  Kai Chen, Janos Sztipanovits, Sandeep Neema. <a
  href="http://chess.eecs.berkeley.edu/pubs/295.html"
  >Compositional Specification of Behavioral
  Semantics</a>, Proceedings of Design Automation and
  Test in Europe Conference (DATE 07), 906-911, April, 2007.

• Plain text

  Kai Chen, Janos Sztipanovits, Sandeep Neema.
  "Compositional Specification of Behavioral
  Semantics". Proceedings of Design Automation and Test
  in Europe Conference (DATE 07), 906-911, April, 2007.

• BibTeX

  @inproceedings{ChenSztipanovitsNeema07_CompositionalSpecificationOfBehavioralSemantics,
      author = {Kai Chen and Janos Sztipanovits and Sandeep Neema},
      title = {Compositional Specification of Behavioral Semantics},
      booktitle = {Proceedings of Design Automation and Test in
                Europe Conference (DATE 07)},
      pages = {906-911},
      month = {April},
      year = {2007},
      abstract = {An emerging common trend in model-based design of
                embedded software and systems is the adoption of
                Domain-Specific Modeling Languages (DSMLs). 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
                DSMLs. Semantic anchoring introduces a set of
                reusable �semantic units� that provide
                reference semantics for basic behavioral
                categories using the Abstract State Machine (ASM)
                framework. In this paper, we extend the semantic
                anchoring framework to heterogeneous behaviors by
                developing a 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/295.html}
  }
  

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