Citation
Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee. "A Practical Ontology Framework for Static Model Analysis". Talk or presentation, 10, October, 2011; Presented at the 11th International Conference on Embedded Software (EMSOFT 2011) in Taipei, Taiwan; Accompanying paper available at http://chess.eecs.berkeley.edu/pubs/862.html.

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 correctness criteria expressed in the domain of interest. Here we present a unified framework that enables users to create ontologies representing arbitrary domains of interest and 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 the framework is agnostic to the semantic meaning of the ontologies that it uses and does not privilege the example ontologies that we present here. Where practical use-cases and principled theory exist, we provide for the expression of certain patterns of infinite ontologies. In this paper we present two patterns of infinite ontologies: those containing values, and those containing ontologies recursively. We show how these two patterns map to use cases of unit systems and structured data types, and show how these are applicable to cyber-physical systems examples drawn from automotive and avionic domains. 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

• EMSOFT2011.pdf · application/pdf · 1985 kbytes

• HTML

  Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/860.html"><i>A
  Practical Ontology Framework for Static Model
  Analysis</i></a>, Talk or presentation,  10,
  October, 2011; Presented at the 11th International
  Conference on Embedded Software (EMSOFT 2011) in Taipei,
  Taiwan; Accompanying paper available at <a
  href="http://chess.eecs.berkeley.edu/pubs/862.html"
  >http://chess.eecs.berkeley.edu/pubs/862.html</a>.

• Plain text

  Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee.
  "A Practical Ontology Framework for Static Model
  Analysis". Talk or presentation,  10, October, 2011;
  Presented at the 11th International Conference on Embedded
  Software (EMSOFT 2011) in Taipei, Taiwan; Accompanying paper
  available at <a
  href="http://chess.eecs.berkeley.edu/pubs/862.html"
  >http://chess.eecs.berkeley.edu/pubs/862.html</a>.

• BibTeX

  @presentation{LicklySheltonOsykLee11_PracticalOntologyFrameworkForStaticModelAnalysis,
      author = {Ben Lickly and Charles Shelton and Beth Osyk and
                Edward A. Lee},
      title = {A Practical Ontology Framework for Static Model
                Analysis},
      day = {10},
      month = {October},
      year = {2011},
      note = {Presented at the 11th International Conference on
                Embedded Software (EMSOFT 2011) in Taipei, Taiwan;
                Accompanying paper available at <a
                href="http://chess.eecs.berkeley.edu/pubs/862.html"
                >http://chess.eecs.berkeley.edu/pubs/862.html</a>},
      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 correctness criteria
                expressed in the domain of interest. Here we
                present a unified framework that enables users to
                create ontologies representing arbitrary domains
                of interest and 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 the
                framework is agnostic to the semantic meaning of
                the ontologies that it uses and does not privilege
                the example ontologies that we present here. Where
                practical use-cases and principled theory exist,
                we provide for the expression of certain patterns
                of infinite ontologies. In this paper we present
                two patterns of infinite ontologies: those
                containing values, and those containing ontologies
                recursively. We show how these two patterns map to
                use cases of unit systems and structured data
                types, and show how these are applicable to
                cyber-physical systems examples drawn from
                automotive and avionic domains. 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://chess.eecs.berkeley.edu/pubs/860.html}
  }
  

Posted by Ben Lickly on 10 Oct 2011.
Groups: pthomas
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.