Multi-Agent Rule-Based Development Environments
Multi-Agent Rule-Based Development Environments
批准号:
9106368
负责人:
Gail Kaiser
金额:
$23.63万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-09-01 至 1993-08-31
中文摘要
该项目旨在为多用户基于规则的开发环境(RBDEs)中的协作工作开发一个模型。rbde形成了帮助开发人员执行开发过程的一类环境。rbde建立在对象管理系统之上,该系统将项目组件抽象为对象,表示产品和过程。他们根据作用于这些对象的规划系统风格规则对开发过程进行建模。每个规则通过指定启动活动必须满足的条件和完成活动的效果来封装活动。rbde保持对象基一致性,并通过规则之间的正向和反向链接自动执行一些开发活动。大多数现有的rbde是单用户的;那些支持多用户的将用户隔离,阻碍合作。这个项目的目标是扩展rbde,以帮助开发团队在大型项目上进行合作。这种合作包括:(1)并发控制;(2)多视角;(3)进化;(4)分布。这四个问题将在MARVEL RBDE的背景下得到解决。MARVEL的单用户版本已经完成,并授权给11个外部站点。除了设计MARVEL架构外,扩展MARVEL还需要解决这四个理论问题。
英文摘要
This project is to develop a model for cooperative work in multi-user rule-based development environments (RBDEs). RBDEs forma class of environments that assist developers in carrying out the development process. RBDEs are built on object management systems that abstract project components as objects, representing both product and process. They model the development process in terms of planning system-style rules that act on these objects. Each rule encapsulates an activity by specifying the condition that must be satisfied to initiate the activity and the effects of completing the activity. RBDEs maintain object base consistency and automatically carry out some development activities through forward and backward chaining among the rules. Most existing RBDEs are single-user; those that support multiple users isolate the users, preventing cooperation. The goal of this project is to scale up RBDEs to assist teams of developers cooperating on large-scale projects. This cooperation involves: (1) concurrency control; (2) multiple views; (3) evolution; and (4) distribution. These four problems will be solved in the context of the MARVEL RBDE. A single-user version of MARVEL has been completed, and licensed to 11 external sites. Scaling up MARVEL involves solving the four theoretical problems in addition to engineering the MARVEL architecture.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
-
批准号:2247370
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2023
-
负责人:Gail Kaiser
-
依托单位:
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
-
批准号:1815494
-
项目类别:Standard Grant
-
资助金额:$49.66万
-
财政年份:2018
-
负责人:Gail Kaiser
-
依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
-
批准号:1563555
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2016
-
负责人:Gail Kaiser
-
依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
-
批准号:1161079
-
项目类别:Continuing Grant
-
资助金额:$89.46万
-
财政年份:2012
-
负责人:Gail Kaiser
-
依托单位:
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
-
批准号:0717544
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Gail Kaiser
-
依托单位:
Smart Event Models and Architectures
-
批准号:0203876
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Gail Kaiser
-
依托单位:
Component Technologies for Next-Generation Software Development Environments
-
批准号:9970790
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:1999
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
-
批准号:9529304
-
项目类别:Standard Grant
-
资助金额:$4.67万
-
财政年份:1996
-
负责人:Gail Kaiser
-
依托单位:
Components for Decentralized Process-Centered Environments
-
批准号:9301092
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation
-
批准号:8920080
-
项目类别:Standard Grant
-
资助金额:$4.41万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:9000930
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Presidential Young Investigator Award: Computer Science (Software)
-
批准号:8858029
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:8802741
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于多模态 AI Agent的面部痤疮瘢痕临床特征评估与治疗方案优化系统的研究
-
批准号:2026JJ82357
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:罗滔
-
依托单位:
基于首创感染性疾病智能体UNION-Agent的SFTS全流程智慧管理模式探索性研究
-
批准号:JCZRQNB202600735
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
基于Agent的自动化渗透测试技术研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:谭劲松
-
依托单位:
AI Agent赋能中小企业智能决策系统研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:蔡孝成
-
依托单位:
计算机控制Agent在可交互式企业征信报告生成的应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:林嘉诚
-
依托单位:
大模型Agent驱动的AI制药关键技术研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:
-
依托单位:
混合多元区域情境下多Agent的自主协同决策方法研究
-
批准号:62306099
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:艾兵
-
依托单位:
基于操控员情境意识状态可解释Agent的智能交互触发机制研究
-
批准号:62376220
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:于薇薇
-
依托单位:
基于多Agent仿真模型的新能源汽车市场渗透研究
-
批准号:2023JJ60196
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:黄建
-
依托单位:
面向联排联调的城市复合洪涝灾害风险Agent建模与智能决策
-
批准号:42371092
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:王慧敏
-
依托单位: