CAREER: Pervasive Programming with Event Correlation

虽然移动和微型计算设备的出现进一步推动了我们社会数字骨干的普及，但仍然缺乏足够的编程支持来满足普及应用程序的适应性、多功能性、自主性和反应性需求。我们提倡将事件关联作为核心交互范例，它包含了普及系统的异步和解耦特性。应用程序定义事件，这些事件由源和多播到接收器触发；汇聚的特点在于它们对涉及类型、值、时间和位置标准的事件组合感兴趣。这是普适系统中许多应用程序的典型特征。我们的贡献是三重的。首先，我们提出了一个一般化的模型，统一了一对一、一对多和多对多的交互。其次，我们通过对主流编程语言的特定扩展，以及通过旨在支持可选进程间交互模型的通用编程语言结构，为该模型设计编程语言支持。第三，我们提出了新的基于位置的路由算法和协议，这些算法和协议是为事件关联定制的覆盖网络设计的，利用随机化、压缩、哈希和错误编码技术来控制复杂性，同时实现安全、可靠和高效的事件传播。这项研究将通过结合迄今为止在很大程度上被认为是独立的领域（如计算机网络和编程语言）的专业知识，推进基于事件的编程支持的艺术状态。由此产生的交互作用将进一步促进未来普及系统的设计者和开发人员的教育。

While the advent of mobile and tiny computing devices furthers the pervasion of our society's digital backbone, adequate programming support addressing the needs of adaptivity, versatility, autonomy, and reactivity of pervasive applications is still lacking. We advocate for event correlation as core interaction paradigm embracing the asynchronous and decoupled nature of pervasive systems. Applications define events, which are triggered by sources and multicast to sinks; sinks are characterized by their interests in combinations of events involving criteria on type, value, time, and --- typical of many applications in pervasive systems --- location. Our contributions are threefold. First, we propose a model which generalizes previous approaches and unifies one-to-one, one-to-many, and many-to-many interaction. Second, we devise programming language support for this model, both through specific extensions to mainstream programming languages, as well as through general-purpose programming language constructs conceived to support also alternative inter-process interaction models. Third, we propose novel location-based routing algorithms and protocols devised for overlay networks tailored to event correlation, making use of randomization, compression, hashing, and error coding techniques to tame complexity while achieving secure, reliable and efficient event dissemination. This research will advance the state of the art in event-based programming support by combining expertise in areas considered largely independently so far, such as computer networks and programming languages. The resulting cross-fertilization will furthermore facilitate the education of tomorrow's designers and developers of pervasive systems.