CAREER: Pervasive Programming with Event Correlation

职业：具有事件关联性的普遍编程

• 批准号: 0644013
• 负责人: Patrick Eugster
• 金额: $ 40万
• 依托单位: Purdue University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-01-15 至 2012-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0644013&HistoricalAwards=false
• 关键词: CAREER; Pervasive; Programming; 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.

虽然移动的和微型计算设备的出现进一步普及了我们社会的数字主干，但仍然缺乏足够的编程支持来满足普遍应用程序的自适应性、多功能性、自主性和反应性的需求。我们提倡事件相关性作为核心交互范式，包括异步和解耦的性质，普及系统。应用程序定义事件，这些事件由源触发并多播到接收器;接收器的特征在于它们对涉及类型、值、时间和-在普适系统中的许多应用程序中典型的-位置的标准的事件组合的兴趣。我们的贡献是三方面的。首先，我们提出了一个模型，它概括了以前的方法，并统一了一对一，一对多，多对多的互动。其次，我们设计的编程语言支持这种模式，既通过特定的扩展主流编程语言，以及通过通用的编程语言构造构思，以支持也替代进程间的交互模型。第三，我们提出了新的基于位置的路由算法和协议设计的覆盖网络量身定制的事件相关性，利用随机化，压缩，哈希和错误编码技术，驯服的复杂性，同时实现安全，可靠和高效的事件传播。这项研究将通过结合迄今为止在很大程度上独立考虑的领域（如计算机网络和编程语言）的专业知识，推进基于事件的编程支持的最新发展。由此产生的交叉施肥将进一步促进未来的普及系统的设计师和开发人员的教育。