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 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
-
依托单位:
海外基金