Citation
Marten Lohstroh, Edward A. Lee. "An Interface Theory for the Internet of Things". Talk or presentation, 14, October, 2015; Poster presented at the 2015 TerraSwarm Annual Meeting.

Abstract
We use interface automata to develop an interface theory for a component architecture for Internet of Things (IoT) applications. Specifically, we examine 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. We focus 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 work 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

• InterfaceTheoryforIoT.png · image/png · 3391 kbytes

• HTML

  Marten Lohstroh, Edward A. Lee. <a
  href="http://www.terraswarm.org/pubs/691.html"><i>An
  Interface Theory for the Internet of
  Things</i></a>, Talk or presentation,  14,
  October, 2015; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• Plain text

  Marten Lohstroh, Edward A. Lee. "An Interface Theory
  for the Internet of Things". Talk or presentation,  14,
  October, 2015; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/15/annual"
  >2015 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{LohstrohLee15_InterfaceTheoryForInternetOfThings,
      author = {Marten Lohstroh and Edward A. Lee},
      title = {An Interface Theory for the Internet of Things},
      day = {14},
      month = {October},
      year = {2015},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/15/annual"
                >2015 TerraSwarm Annual Meeting</a>},
      abstract = {We use interface automata to develop an interface
                theory for a component architecture for Internet
                of Things (IoT) applications. Specifically, we
                examine 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. We focus 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 work 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://terraswarm.org/pubs/691.html}
  }
  

Posted by Marten Lohstroh on 24 Oct 2015.
Groups: tools