*banner
 

A Practical Ontology Framework for Static Model Analysis
Ben Lickly, Charles Shelton, Beth Osyk, Edward A. Lee

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

Citation formats  
  • 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.

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