关键词：传感器；执行器；无线通信技术；知识共享
摘 要：The latest sensor, actuator, and wireless communication technologies make it feasible to build systems that can operate in challenging environments, but we argue in this paper that the foundations needed to support the design of such systems are not well developed. Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper and put into context of existing research. We also introduce a general probabilistic semantics for our model and the flavor of its specialization to characterize fractionated systems, an interesting class of systems with a potentially large number of redundantly operating components that can be programmed independently of the actual number that is deployed or ODerational at runtime.