Citation
Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. "Ensuring Correct Component Composition". Poster, MuSyC Workshop: Distributed Sense and Control Systems, 11, April, 2012.

Abstract
In embedded software, there are many reasons to include concepts from the problem domain during design. Not only does doing so make the software more comprehensible to those with domain understanding, it also becomes possible to check that the software conforms to correctnesses criteria expressed in the domain of interest. Here we present a unified framework that enables users to create ontologies representing arbitrary domains of interest as well as analyses over those domains. These analyses may then be run against software specifications, encapsulated as models, checking that they are sound with respect to the given ontology. Our approach is general, in that our framework is agnostic to the semantic meaning of the ontologies that it uses and does not privilege the example ontologies that we present here. Here, we present two overarching patterns of infinite ontologies: those containing values, and those containing ontologies recursively. We show how these two patterns map on to use cases of unit systems and structured data types, and show how these can be use to type records, constant propagation, and monotonicity analysis. Despite the range of ontologies and analyses that we present here, we see user-built ontologies as a key feature of our approach.

Electronic downloads
Confidential. This publication has been marked by the author for MuSyC-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A.
  Lee. <a
  href="http://www.musyc.org/pubs/404.html"><i>Ensuring
  Correct Component Composition</i></a>, Poster, 
  MuSyC Workshop: Distributed Sense and Control Systems, 11,
  April, 2012.

• Plain text

  Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A.
  Lee. "Ensuring Correct Component Composition". Poster, 
  MuSyC Workshop: Distributed Sense and Control Systems, 11,
  April, 2012.

• BibTeX

  @poster{LicklySheltonLatronicoLee12_EnsuringCorrectComponentComposition,
      author = {Ben Lickly and Charles Shelton and Elizabeth
                Latronico and Edward A. Lee},
      title = {Ensuring Correct Component Composition},
      day = {11},
      month = {April},
      year = {2012},
      abstract = {In embedded software, there are many reasons to
                include concepts from the problem domain during
                design. Not only does doing so make the software
                more comprehensible to those with domain
                understanding, it also becomes possible to check
                that the software conforms to correctnesses
                criteria expressed in the domain of interest. Here
                we present a unified framework that enables users
                to create ontologies representing arbitrary
                domains of interest as well as analyses over those
                domains. These analyses may then be run against
                software specifications, encapsulated as models,
                checking that they are sound with respect to the
                given ontology. Our approach is general, in that
                our framework is agnostic to the semantic meaning
                of the ontologies that it uses and does not
                privilege the example ontologies that we present
                here. Here, we present two overarching patterns of
                infinite ontologies: those containing values, and
                those containing ontologies recursively. We show
                how these two patterns map on to use cases of unit
                systems and structured data types, and show how
                these can be use to type records, constant
                propagation, and monotonicity analysis. Despite
                the range of ontologies and analyses that we
                present here, we see user-built ontologies as a
                key feature of our approach.},
      URL = {http://www.musyc.org/pubs/404.html}
  }
  

Posted by Ben Lickly on 13 Jun 2012..

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.