*banner
 

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

Citation
Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A. Lee. "A Practical Ontology Framework for Static Model Analysis". Technical report, EECS Department, University of California, Berkeley, UCB/EECS-2011-33, April, 2011; Following section 8.1.9 (pg. 56) of the IEEE PSPB Operations Manual we make the following statement: "This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.".

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. Where practical use-cases and principled theory exist, we provide for the expression of certain patterns of infinite ontologies and ontology compositions. In this paper 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 used over 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, Elizabeth Latronico, Edward A.
    Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/848.html"
    ><i>A Practical Ontology Framework for Static Model
    Analysis</i></a>, Technical report,  EECS
    Department, University of California, Berkeley,
    UCB/EECS-2011-33, April, 2011; Following section 8.1.9 (pg.
    56) of the IEEE PSPB Operations Manual we make the following
    statement: "This work has been submitted to the IEEE
    for possible publication. Copyright may be transferred
    without notice, after which this version may no longer be
    accessible.".
  • Plain text
    Ben Lickly, Charles Shelton, Elizabeth Latronico, Edward A.
    Lee. "A Practical Ontology Framework for Static Model
    Analysis". Technical report,  EECS Department,
    University of California, Berkeley, UCB/EECS-2011-33, April,
    2011; Following section 8.1.9 (pg. 56) of the IEEE PSPB
    Operations Manual we make the following statement:
    "This work has been submitted to the IEEE for possible
    publication. Copyright may be transferred without notice,
    after which this version may no longer be accessible.".
  • BibTeX
    @techreport{LicklySheltonLatronicoLee11_PracticalOntologyFrameworkForStaticModelAnalysis,
        author = {Ben Lickly and Charles Shelton and Elizabeth
                  Latronico and Edward A. Lee},
        title = {A Practical Ontology Framework for Static Model
                  Analysis},
        institution = {EECS Department, University of California, Berkeley},
        number = {UCB/EECS-2011-33},
        month = {April},
        year = {2011},
        note = {Following section 8.1.9 (pg. 56) of the IEEE PSPB
                  Operations Manual we make the following statement:
                  "This work has been submitted to the IEEE for
                  possible publication. Copyright may be transferred
                  without notice, after which this version may no
                  longer be accessible."},
        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. Where practical use-cases and principled
                  theory exist, we provide for the expression of
                  certain patterns of infinite ontologies and
                  ontology compositions. In this paper 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
                  used over 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/848.html}
    }
    

Posted by Christopher Brooks on 13 Jul 2011.
Groups: ptolemy
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.

You are not logged in 
©2002-2014 Chess