Citation
Chris Shaver, Marten Lohstroh, Matt Weber. "Semantics of The Swarm". Talk or presentation, 29, October, 2014; Poster presented at the 2014 TerraSwarm Annual Meeting.

Abstract
Spontaneous context-dependent configurations of interacting processes are fundamental to how the Swarm functions. Hence, a formal semantics for the Swarm needs to include operations to formally describe changes in the topology of relationships between processes. We present preliminary work towards what we call the ReActor Model of Computation. ReActors respond to two kinds of events: messages sent by other ReActors, and internal events, which originate from the platform and the environment. For internal events related to semantic location, we introduce a first order context language for localized physical phenomena. This language provides a model of space suitable for performing logical inference and validation for location-based ReActor event conditions. This formal understanding of location and context can be leveraged in the application space of the Swarm to enable context-aware computing. We present our work in progress on experimentation with WiFi-based localization and accessing location information through the primitives defined in our context language. Finally, we highlight the privacy-enabling aspects of our architecture.

Electronic downloads

• SemanticsOfTheSwarm.png · image/png · 2272 kbytes
• https://www.src.org/library/publication/p072742/. (Link to poster on SRC website.)

• HTML

  Chris Shaver, Marten Lohstroh, Matt Weber. <a
  href="http://www.terraswarm.org/pubs/446.html"><i>Semantics
  of The Swarm</i></a>, Talk or presentation,  29,
  October, 2014; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/14/annual"
  >2014 TerraSwarm Annual Meeting</a>.

• Plain text

  Chris Shaver, Marten Lohstroh, Matt Weber. "Semantics
  of The Swarm". Talk or presentation,  29, October,
  2014; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/14/annual"
  >2014 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{ShaverLohstrohWeber14_SemanticsOfSwarm,
      author = {Chris Shaver and Marten Lohstroh and Matt Weber},
      title = {Semantics of The Swarm},
      day = {29},
      month = {October},
      year = {2014},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/14/annual"
                >2014 TerraSwarm Annual Meeting</a>.},
      abstract = {Spontaneous context-dependent configurations of
                interacting processes are fundamental to how the
                Swarm functions. Hence, a formal semantics for the
                Swarm needs to include operations to formally
                describe changes in the topology of relationships
                between processes. We present preliminary work
                towards what we call the ReActor Model of
                Computation. ReActors respond to two kinds of
                events: messages sent by other ReActors, and
                internal events, which originate from the platform
                and the environment. For internal events related
                to semantic location, we introduce a first order
                context language for localized physical phenomena.
                This language provides a model of space suitable
                for performing logical inference and validation
                for location-based ReActor event conditions. This
                formal understanding of location and context can
                be leveraged in the application space of the Swarm
                to enable context-aware computing. We present our
                work in progress on experimentation with
                WiFi-based localization and accessing location
                information through the primitives defined in our
                context language. Finally, we highlight the
                privacy-enabling aspects of our architecture. },
      URL = {http://terraswarm.org/pubs/446.html}
  }
  

Posted by Marten Lohstroh on 6 Nov 2014.