Abstracting Component Interactions to Support Distributed Software Architectures
Abstracting Component Interactions to Support Distributed Software Architectures
批准号:
9619522
负责人:
Gul Agha
金额:
$17.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-05-15 至 2000-04-30
中文摘要
9619522现实世界中的计算应用程序通常是分布式的,并且可以与其环境交互。为此类系统创建体系结构需要开发用于管理分布式组件之间的复杂交互的机制。随着需求和环境的变化,各个组件和它们之间的交互模式都会发生变化。这意味着在系统执行期间可能需要根据组件的不断发展的需求来综合交互机制。在当前的软件中,管理组件之间交互的策略的实现通常使用各种低级原语--例如消息传递、远程过程调用或共享内存--来表示,因此是代码复杂性的主要来源。该项目正在研究交互模式的抽象和模块化表示的编程技术。这样的编程技术将允许分布式应用程序的代码优雅地发展--例如,通过在只有组件的交互上下文发生变化时重用组件。该研究是基于开放分布式系统中并发计算的形式化模型Actors进行的。***
英文摘要
9619522 Computing applications in the real world are generally distributed and open to interaction with their environment. Creating an architecture for such systems requires developing mechanisms for managing complex interactions between distributed components. As requirements and the environment change, both the individual components and the pattern of interactions between them evolve. This implies that interaction mechanisms may need to be synthesized during the execution of the system according to the evolving needs of components. In current software, the implementation of policies governing interactions between components is typically represented using a variety of low-level primitives -- such as message-passing, remote procedure call, or shared memory -- and is therefore a major source of code complexity. The project is studying programming techniques for abstract and modular representation of interaction patterns. Such programming techniques will allow code for distributed applications to evolve gracefully -- for example, by reusing components when only their interaction context changes. The research is based on Actors, a formal model of concurrent computation in open distributed systems. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Design and Inference of Choreography Types to Reduce Concurrency Programming Errors
-
批准号:1617401
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2016
-
负责人:Gul Agha
-
依托单位:
XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud
-
批准号:1438982
-
项目类别:Standard Grant
-
资助金额:$66.67万
-
财政年份:2014
-
负责人:Gul Agha
-
依托单位:
CPS: Medium: Collaborative Research: Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure
-
批准号:1035562
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Gul Agha
-
依托单位:
CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems
-
批准号:0509321
-
项目类别:Continuing Grant
-
资助金额:$70.0万
-
财政年份:2005
-
负责人:Gul Agha
-
依托单位:
Efficient Implementation of Dynamic Parallel Programs
-
批准号:9523253
-
项目类别:Standard Grant
-
资助金额:$14.97万
-
财政年份:1996
-
负责人:Gul Agha
-
依托单位:
Collaborative Research: Reasoning About Open Systems
-
批准号:9312495
-
项目类别:Standard Grant
-
资助金额:$7.17万
-
财政年份:1995
-
负责人:Gul Agha
-
依托单位:
Prototyping Parallel Algorithms
-
批准号:9007195
-
项目类别:Continuing Grant
-
资助金额:$66.7万
-
财政年份:1990
-
负责人:Gul Agha
-
依托单位:
Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California
-
批准号:8814055
-
项目类别:Standard Grant
-
资助金额:$0.63万
-
财政年份:1988
-
负责人:Gul Agha
-
依托单位:
海外基金