High-level programming paradigm for context-aware computing

上下文感知计算的高级编程范例

• 批准号: 121667-2007
• 负责人: Du, Weichang
• 金额: $ 1.09万
• 依托单位: University of New Brunswick
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2007
• 资助国家: 加拿大
• 起止时间: 2007-01-01 至 2008-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=365212
• 关键词: level; programming; paradigm; context; aware

The objective of this proposed research is to investigate a high-level programming paradigm for context-awarecomputing. This paradigm will consist of theoretical and practical foundations for developing programminglanguages that enable and support programming context-aware software applications, and software models,abstractions and infrastructure as the foundations to build context-aware software systems. Here by "high-level" we mean that the paradigm will be at a high level of abstraction with support of formal theories. The programming languages and software models, abstractions and infrastructure designed based on theparadigm will have formal abstract semantics that will be independent of concrete context-aware applicationsystems and low-level specific operational environments and platforms.Context-aware computing means that computations of a software application that is aware of, varies in, anddepends on the underlying, runtime contexts and context changes. Here contexts can be generally defined asexternal varying environments that affect or determine the computations of the application. Examples of suchexternal environments or contexts include time, location, situation, and user profile. Context-awareprogramming means writing computer programs that specify how computations or behaviors of context-awaresoftware applications depend on or vary in underlying contexts. The current (low-level) solutions tocontext-aware programming are mainly focused on extending conventional programming languages andsystems with context-aware supports in forms of additional software constructs, APIs, and packages.This proposed research will take an abstract-to-concrete approach to investigating the paradigm. We willinvestigate an abstract computing model for context-aware computing. We will investigate high-levelcontext-aware programming languages for writing context-aware application programs based on the abstract context-aware computing model. We will also investigate implementation of the abstract context-awarecomputing model on various concrete context-aware software and hardware platforms/environments.

这项研究的目标是研究一种用于情景感知计算的高级编程范例。这一范例将包括开发程序设计的理论和实践基础，以及作为建立环境意识软件系统的基础的软件模型、抽象和基础设施。这里所说的“高层次”，我们指的是范式将在形式理论的支持下处于高抽象层次。基于该范式设计的编程语言和软件模型、抽象和基础设施将具有形式化的抽象语义，这些语义将独立于具体的上下文感知应用系统和低级别的特定操作环境和平台。上下文感知计算意味着软件应用程序的计算能够感知、变化并依赖于底层的运行时上下文和上下文变化。在这里，上下文通常可以定义为影响或决定应用程序计算的外部变化环境。这种外部环境或背景的例子包括时间、位置、情况和用户配置文件。上下文感知编程意味着编写计算机程序，指定上下文感知软件应用程序的计算或行为如何依赖于底层上下文或在底层上下文中发生变化。当前(底层)上下文感知编程的解决方案主要集中在通过附加软件构造、API和包的形式来扩展传统编程语言和系统的上下文感知支持。我们将研究一种上下文感知计算的抽象计算模型。我们将研究基于抽象上下文感知计算模型编写上下文感知应用程序的高级上下文感知编程语言。我们还将研究抽象上下文感知计算模型在各种具体的上下文感知软件和硬件平台/环境中的实现。