课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
本计画旨在发展一个多使用者协同工作的模式 基于规则的开发环境(RBDE)。 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
  • 负责人:
    蔡孝成
  • 依托单位: