Citation
E. Wandeler, J. W Janneck, E. A. Lee, L. Thiele. "Counting Interface Automata and their Application in Static Analysis of Actor Models". 3rd International Conference on Software Engineering and Formal Methods - SEFB 2005, SEFM 2005, September, 2005.

Abstract
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is capable of counting with numbers. Using this new interface theory, we can capture temporal and quantitative aspects of an actor interface as well as an actor's token exchange rate. We will show how to extract this information from actors written in the Cal Actor Language (Cal), and we also present a method to capture the interface information as well as the structure of dataflow models into an interface automaton. This automaton acts as glue between the automata of all actors in the model, and by successfully composing all actor automata with it, we can prove interface compatibility of all actors with the composition framework. After successful composition, the resulting automaton will contain information that can be used for further static analysis of the composite actor model.

Electronic downloads

• http://ptolemy.eecs.berkeley.edu/publications/papers/05/Wandeler_CountingInterfaceAutomata/

• HTML

  E. Wandeler, J. W Janneck, E. A. Lee, L. Thiele. <a
  href="http://chess.eecs.berkeley.edu/pubs/60.html"
  >Counting Interface Automata and their Application in
  Static Analysis of Actor Models</a>, 3rd International
  Conference on Software Engineering and Formal Methods - SEFB
  2005, SEFM 2005, September, 2005.

• Plain text

  E. Wandeler, J. W Janneck, E. A. Lee, L. Thiele.
  "Counting Interface Automata and their Application in
  Static Analysis of Actor Models". 3rd International
  Conference on Software Engineering and Formal Methods - SEFB
  2005, SEFM 2005, September, 2005.

• BibTeX

  @inproceedings{WandelerJanneckLeeThiele05_CountingInterfaceAutomataTheirApplicationInStaticAnalysis,
      author = {E. Wandeler and J. W Janneck and E. A. Lee and L.
                Thiele},
      title = {Counting Interface Automata and their Application
                in Static Analysis of Actor Models},
      booktitle = {3rd International Conference on Software
                Engineering and Formal Methods - SEFB 2005},
      organization = {SEFM 2005},
      month = {September},
      year = {2005},
      abstract = {We present an interface theory based approach to
                static analysis of actor models. We first
                introduce a new interface theory, which is based
                on Interface Automata, and which is capable of
                counting with numbers. Using this new interface
                theory, we can capture temporal and quantitative
                aspects of an actor interface as well as an
                actor's token exchange rate. We will show how to
                extract this information from actors written in
                the Cal Actor Language (Cal), and we also present
                a method to capture the interface information as
                well as the structure of dataflow models into an
                interface automaton. This automaton acts as glue
                between the automata of all actors in the model,
                and by successfully composing all actor automata
                with it, we can prove interface compatibility of
                all actors with the composition framework. After
                successful composition, the resulting automaton
                will contain information that can be used for
                further static analysis of the composite actor
                model.},
      URL = {http://chess.eecs.berkeley.edu/pubs/60.html}
  }
  

Posted by Mary Stewart on 5 May 2006.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.