Triggers and Queries in Distributed Software Systems for Moving Objects

移动对象分布式软件系统中的触发器和查询

• 批准号: 9803974
• 负责人: Aravinda Sistla
• 金额: $ 26万
• 依托单位: University of Illinois at Chicago
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-08-01 至 2002-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9803974&HistoricalAwards=false
• 关键词: Triggers; Queries; Distributed; Software; Systems

The project proposes research on distributed systems that monitor the positions of various moving objects and process queries and triggers referring to their positions. Applications of such systems, called Moving Object Information (MOI) applications, typically occur in transportation systems in the civilian sector and in the digital battlefield management in the military. This proposal considers two different architecture models for the MOI systems; in the first one a single central server (CS) monitors the position of the objects and answers queries; the second architecture is fully distributed in which the moving objects communicate with each other to answer the queries and to monitor trigger conditions. The project proposes various location update policies for maintenance of the position information of the objects in the CS model. All these policies maintain the position of an object as a dynamic attribute that changes with time. The project plans to investigate the cost effectiveness of these policies through analytical and experimental studies. A query language based on Future Temporal Logic (FTL) is proposed for specifying spatial and temporal queries and trigger conditions on the moving objects. The language permits specification of the desired levels of uncertainties in the answer. Research towards the development of efficient query/trigger processing mechanisms in the two architectures are proposed. The proposed mechanisms will be evaluated in an experimental testbed.

该项目提出了对分布式系统的研究，该系统监视各种移动对象的位置，并处理涉及其位置的查询和触发器。 这种系统的应用，称为移动目标信息（MOI）应用，通常发生在民用部门的运输系统和军事数字战场管理中。 该建议考虑了两种不同的架构模型的MOI系统;在第一个单一的中央服务器（CS）监控的对象的位置，并回答查询;第二个架构是完全分布式的移动对象相互通信，回答查询，并监测触发条件。 该项目提出了各种位置更新策略，用于维护CS模型中对象的位置信息。所有这些策略都将对象的位置作为随时间变化的动态属性来维护。该项目计划通过分析和实验研究调查这些政策的成本效益。 提出了一种基于未来时态逻辑（FTL）的查询语言，用于指定移动对象的时空查询和触发条件。语言允许在答案中指定所需的不确定性水平。提出了在这两种体系结构中开发高效的查询/触发器处理机制的研究。建议的机制将在实验测试平台进行评估。