*banner
 

Compositional Specification of Behavioral Semantics
Kai Chen, Janos Sztipanovits, Sandeep Neema

Citation
Kai Chen, Janos Sztipanovits, Sandeep Neema. "Compositional Specification of Behavioral Semantics". Technical report, Institute For Software Integrated Systems (ISIS), ISIS-06-705, June, 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 DSMLs. Semantic anchoring introduces a set of reusable “semantic units” that provide 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

Citation formats  
  • HTML
    Kai Chen, Janos Sztipanovits, Sandeep Neema. <a
    href="http://chess.eecs.berkeley.edu/pubs/292.html"
    ><i>Compositional Specification of Behavioral
    Semantics</i></a>, Technical report,  Institute
    For Software Integrated Systems (ISIS), ISIS-06-705, June,
    2006.
  • Plain text
    Kai Chen, Janos Sztipanovits, Sandeep Neema.
    "Compositional Specification of Behavioral
    Semantics". Technical report,  Institute For Software
    Integrated Systems (ISIS), ISIS-06-705, June, 2006.
  • BibTeX
    @techreport{ChenSztipanovitsNeema06_CompositionalSpecificationOfBehavioralSemantics,
        author = {Kai Chen and Janos Sztipanovits and Sandeep Neema},
        title = {Compositional Specification of Behavioral Semantics},
        institution = {Institute For Software Integrated Systems (ISIS)},
        number = {ISIS-06-705},
        month = {June},
        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
                  DSMLs. Semantic anchoring introduces a set of
                  reusable âsemantic unitsâ that provide
                  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/292.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