Rapid Development of Dependable Applications over Ad Hoc Networks

9970939 Roman， gruia - catalina自组织网络是指通过无线设备进行通信的组件系统，而不需要Internet提供的永久基础设施的支持。这样的网络会随着组件进出通信范围而被组装、重塑和分离。该项目开发了软件工程方法和相关的软件基础设施，以促进在自组织网络上执行的可靠移动应用程序的快速构建。开发了几个移动应用程序用于演示和评估目的。他们将包括对未知环境的合作探索，在竞争环境中的合作行为，以及小组学习活动。形式化技术被用于对移动计算进行推理，并用于验证解决移动计算基础问题所需的算法。该研究旨在确定新的协调结构，支持移动组件之间的瞬态交互，具有清晰定义的语义，具有有效的实现，并简化编程。构造的选择将受到构建自适应组件的需求的驱动，这些组件能够在最小的操作假设集下在开放系统中正确运行。通过使组件交互对编程工作透明，即在协调构造的定义中隐式地实现了编程的便利性。

9970939 Roman, Gruia-CatalinAd hoc networks refer to systems of components that communicate via wireless devices without the support of a permanent infrastructure such as the one provided by the Internet. Such networks are assembled, reshaped and taken apart as components move in and out of communication range. This project develops software engineering methods and an associated software infrastructure to facilitate rapid construction of dependable mobile applications executing over ad hoc networks. Several mobile applications are developed for demonstration and evaluation purposes. They will involve collaborative exploration of unknown environments, cooperative behaviors in a competitive setting, and group learning activities. Formal techniques are employed for reasoning about mobile computations and in the verification of algorithms needed to solve problems that are fundamental to mobile computing. The research seeks to identify novel coordination constructs that support transient interactions among mobile components, have cleanly defined semantics, have efficient implementations, and simplify programming. The choice of constructs will be driven by the need to build self-adaptive components able to function correctly in open systems under a minimalist set of operating assumptions. Ease of programming is achieved by making component interactions transparent to the programming effort, i.e., implicit in the definition of the coordination constructs.