Foundations of Team Computing: Enabling End Users to Assemble Software for Ubiquitous Computing

Team computing concerns the coordination of teams comprised of software components, devices, and humans operating in ubiquitous computing environments. Teams have no central control: elements play their roles autonomously, and overall behavior is emergent. The proposed model promotes resilience to incompleteness and inconsistency in team designs, as well as to run-time faults. Team computing is geared towards enabling end users to design and deploy their own teams in domains such as home surveillance, assisted living, and energy management. This paper presents the foundations of team computing, including its operational semantics and a framework to automate the verification of desired behaviors. The paper also discusses the implementation of a software infrastructure for the automatic deployment of systems based on team designs.