Citation
Ben Lickly, Charles Shelton, Beth Osyk, 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

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-33.html

• HTML

  Ben Lickly, Charles Shelton, Beth Osyk, 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, Beth Osyk, 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{LicklySheltonOsykLee11_PracticalOntologyFrameworkForStaticModelAnalysis,
      author = {Ben Lickly and Charles Shelton and Beth Osyk 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.