课题基金 / 基金详情

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

项目摘要

项目成果

Gail Kaiser的其他基金

相似基金

相关文献

中文摘要
翻译
该项目旨在为多用户基于规则的开发环境(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
  • 依托单位:
国内基金
海外基金
基于多模态 AI Agent的面部痤疮瘢痕临床特征评估与治疗方案优化系统的研究
基于首创感染性疾病智能体UNION-Agent的SFTS全流程智慧管理模式探索性研究
  • 批准号:
    JCZRQNB202600735
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
  • 依托单位:
基于Agent的自动化渗透测试技术研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    谭劲松
  • 依托单位:
AI Agent赋能中小企业智能决策系统研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    蔡孝成
  • 依托单位: