Abstracting Component Interactions to Support Distributed Software Architectures
抽象组件交互以支持分布式软件架构
基本信息
- 批准号:9619522
- 负责人:
- 金额:$ 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. ***
9619522现实世界中的计算应用程序通常是分布式的,并且可以与环境进行交互。为这样的系统创建体系结构需要开发用于管理分布式组件之间复杂交互的机制。随着需求和环境的变化,单个组件和它们之间的交互模式都在变化。这意味着交互机制可能需要在系统执行期间根据组件的发展需求进行合成。在当前的软件中,控制组件之间交互的策略的实现通常使用各种低级原语(如消息传递、远程过程调用或共享内存)来表示,因此这是代码复杂性的主要来源。该项目正在研究交互模式抽象和模块化表示的编程技术。这样的编程技术将允许分布式应用程序的代码优雅地发展——例如,当组件的交互上下文发生变化时,通过重用组件。该研究基于actor模型,actor是开放分布式系统中并发计算的形式化模型。***
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Gul Agha其他文献
Case Studies in Security and Resource Management for Mobile Object Systems
- DOI:
10.1023/a:1013444932711 - 发表时间:
2002-03-01 - 期刊:
- 影响因子:2.600
- 作者:
Dejan Milojicic;Gul Agha;Philippe Bernadat;Deepika Chauhan;Shai Guday;Nadeem Jamali;Dan Lambright;Franco Travostino - 通讯作者:
Franco Travostino
Behavioural Types: Bridging Theory and Practice
行为类型:理论与实践的桥梁
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Mariangiola Dezani;Roland Kuhn;S. Lindley;A. Scalas;Actyx AG – München;Gul Agha;Simon Fowler;Philipp Haller;Raymond Hu;Eduard Kamburjan;Hernán C. Melgratti;Peter Thiemann;Marco Carbone;Stephanie Balzer;Ornela Dardha;Wen Kokke;F. Montesi;J. G. Morris;Jorge A. Pérez;Bernardo Toninho;Philip Munksgaard;Christian Bartolo Burlò;Mathias Jakobsen;Emilio Tuosto;Claudio Russo;Limin Jia;Simon Gay;Phil Trinder;Nobuko Yoshida;L. Bocchi;Simon Thompson;Laura Voinea;Daniela Marottoli;Fabrizio Montesi. Choreographic Programming . PhD ;S. Giallorenzo;L. Cruz;Eva Graversen;Lovro Lugovic;Philip Wadler;F. Zhou - 通讯作者:
F. Zhou
Gul Agha的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Gul Agha', 18)}}的其他基金
SHF: Small: Design and Inference of Choreography Types to Reduce Concurrency Programming Errors
SHF:小型:编排类型的设计和推理以减少并发编程错误
- 批准号:
1617401 - 财政年份:2016
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
XPS: FULL: FP: Collaborative Research: Model-based, Event Driven Scalable Programming for the Mobile Cloud
XPS:完整:FP:协作研究:移动云的基于模型、事件驱动的可扩展编程
- 批准号:
1438982 - 财政年份:2014
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
CPS: Medium: Collaborative Research: Cyber-Physical Co-Design of Wireless Monitoring and Control for Civil Infrastructure
CPS:媒介:协作研究:民用基础设施无线监测和控制的网络物理协同设计
- 批准号:
1035562 - 财政年份:2010
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
CSR---SMA: Dynamic Analysis and Control for Robust Scalable Open Distributed Systems
CSR---SMA:鲁棒可扩展开放分布式系统的动态分析与控制
- 批准号:
0509321 - 财政年份:2005
- 资助金额:
$ 17.5万 - 项目类别:
Continuing Grant
Efficient Implementation of Dynamic Parallel Programs
动态并行程序的高效实现
- 批准号:
9523253 - 财政年份:1996
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
Collaborative Research: Reasoning About Open Systems
协作研究:关于开放系统的推理
- 批准号:
9312495 - 财政年份:1995
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
Object-Based Concurrent Programming: A Workshop Proposal Submitted to the NSF to be held Sept 25-26, 1988 in San Diego, California
基于对象的并发编程:向 NSF 提交的研讨会提案将于 1988 年 9 月 25 日至 26 日在加利福尼亚州圣地亚哥举行
- 批准号:
8814055 - 财政年份:1988
- 资助金额:
$ 17.5万 - 项目类别:
Standard Grant
相似海外基金
A Component-wise Model for Understanding Spin-Charge Interactions in Nanoparticle Solids Using Targeted Synthesis, Magnetometry, and Magnetoresistance
利用靶向合成、磁力测定和磁阻来理解纳米颗粒固体中自旋电荷相互作用的组件模型
- 批准号:
2322706 - 财政年份:2023
- 资助金额:
$ 17.5万 - 项目类别:
Continuing Grant
Cell-matrisome interactions as a key component of the intestinal stem cell niche
细胞-基质相互作用是肠道干细胞生态位的关键组成部分
- 批准号:
RGPIN-2017-05489 - 财政年份:2022
- 资助金额:
$ 17.5万 - 项目类别:
Discovery Grants Program - Individual
Cell-matrisome interactions as a key component of the intestinal stem cell niche
细胞-基质相互作用是肠道干细胞生态位的关键组成部分
- 批准号:
RGPIN-2017-05489 - 财政年份:2021
- 资助金额:
$ 17.5万 - 项目类别:
Discovery Grants Program - Individual
Cell-matrisome interactions as a key component of the intestinal stem cell niche
细胞-基质相互作用是肠道干细胞生态位的关键组成部分
- 批准号:
RGPIN-2017-05489 - 财政年份:2020
- 资助金额:
$ 17.5万 - 项目类别:
Discovery Grants Program - Individual
Cell-matrisome interactions as a key component of the intestinal stem cell niche
细胞-基质相互作用是肠道干细胞生态位的关键组成部分
- 批准号:
RGPIN-2017-05489 - 财政年份:2019
- 资助金额:
$ 17.5万 - 项目类别:
Discovery Grants Program - Individual














{{item.name}}会员




