Citation
Marten Lohstroh, Edward A. Lee. "An Interface Theory for the Internet of Things". Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, September, 2015.

Abstract
This paper uses interface automata to develop an interface theory for a component architecture for Internet of Things (IoT) applications. Specifically, it examines an architecture for IoT applications where so-called "accessors" provide an actor-oriented proxy for devices ("things") and services. Following the principles of actor models, an accessor reacts to input stimuli and produces outputs that can stimulate reactions in other accessors or actors. The paper focuses on a specialized form of actor models where inputs and outputs to accessors and actors are time-stamped events, enabling timing-sensitive IoT applications. The interaction between accessors and actors via time-stamped events forms a "horizontal contract," formalized in this paper as an interface automaton. The interaction between an accessor and the thing or service for which it is a proxy is a "vertical contract," also formalized as an interface automaton. Following common practice in network programming, our vertical contract uses an asynchronous atomic callback (AAC) pattern. The formal composition of these interface automata allows us to reason about the combination of a timed actor model and the AAC pattern, enabling careful evaluation of design choices for IoT systems.

Electronic downloads

• LohstrohLee_IAforIoT.pdf · application/x-octet-stream · 400 kbytes
• http://dx.doi.org/10.1007/978-3-319-22969-0

• HTML

  Marten Lohstroh, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/1102.html"
  >An Interface Theory for the Internet of
  Things</a>, Software Engineering and Formal Methods:
  13th International Conference, SEFM 2015, York, UK,
  September 7-11, 2015. Proceedings, September, 2015.

• Plain text

  Marten Lohstroh, Edward A. Lee. "An Interface Theory
  for the Internet of Things". Software Engineering and
  Formal Methods: 13th International Conference, SEFM 2015,
  York, UK, September 7-11, 2015. Proceedings, September, 2015.

• BibTeX

  @inproceedings{LohstrohLee15_InterfaceTheoryForInternetOfThings,
      author = {Marten Lohstroh and Edward A. Lee},
      title = {An Interface Theory for the Internet of Things},
      booktitle = {Software Engineering and Formal Methods: 13th
                International Conference, SEFM 2015, York, UK,
                September 7-11, 2015. Proceedings},
      month = {September},
      year = {2015},
      abstract = {This paper uses interface automata to develop an
                interface theory for a component architecture for
                Internet of Things (IoT) applications.
                Specifically, it examines an architecture for IoT
                applications where so-called "accessors" provide
                an actor-oriented proxy for devices ("things") and
                services. Following the principles of actor
                models, an accessor reacts to input stimuli and
                produces outputs that can stimulate reactions in
                other accessors or actors. The paper focuses on a
                specialized form of actor models where inputs and
                outputs to accessors and actors are time-stamped
                events, enabling timing-sensitive IoT
                applications. The interaction between accessors
                and actors via time-stamped events forms a
                "horizontal contract," formalized in this paper as
                an interface automaton. The interaction between an
                accessor and the thing or service for which it is
                a proxy is a "vertical contract," also formalized
                as an interface automaton. Following common
                practice in network programming, our vertical
                contract uses an asynchronous atomic callback
                (AAC) pattern. The formal composition of these
                interface automata allows us to reason about the
                combination of a timed actor model and the AAC
                pattern, enabling careful evaluation of design
                choices for IoT systems.},
      URL = {http://chess.eecs.berkeley.edu/pubs/1102.html}
  }
  

Posted by Mary Stewart on 22 Jun 2015.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.