课题基金 / 基金详情

Components for Decentralized Process-Centered Environments

Components for Decentralized Process-Centered Environments
以流程为中心的去中心化环境的组件
批准号:
9301092
负责人:
Gail Kaiser
金额:
$21.7万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-09-01 至 1996-08-31

项目摘要

项目成果

Gail Kaiser的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
A process is a partially ordered set of steps to be followed in developing a software system. Processes may vary across organizations and systems. A process-centered environment provides computer-aided support for a range of project-specific processes. The general goals of research in process-centered environments are to devise useful notations for specifying processes and to investigate ways in which environments may assist users in carrying out processes. The Marvel process-centered environment is tailored by a rule-based process model, where each rule defines a process step and states the condition for initiating the step and the result of finishing the step. The permitted sequencing among steps is implicit in their conditions and results. The environment enforces the specified process and assists users in satisfying the conditions of steps. Recent work has concentrated on concurrency control for teams of users, and on evolution of processes while they are in progress. Both are prerequisites for scaling up process-centered environments. This project addresses four problems; (1) translation of higher-level process modeling formalisms into rules for execution, (2) formal notations for coordination modeling and the interaction of corresponding concurrency control algorithms with process assistance mechanisms, (3) requirements placed on environment frameworks by process and coordination, and possible protocols for interfacing process and coordination components to a range of existing classes of frameworks, and (4) decentralized environment architectures that permits a degree of site autonomy for different process and coordination needs.
期刊论文(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
  • 依托单位:
海外基金