Components for Decentralized Process-Centered Environments
以流程为中心的去中心化环境的组件
基本信息
- 批准号:9301092
- 负责人:
- 金额:$ 21.7万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1993
- 资助国家:美国
- 起止时间:1993-09-01 至 1996-08-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
一个过程是开发软件系统时要遵循的部分订购的一组步骤。 流程可能在组织和系统之间各不相同。 以过程为中心的环境为一系列特定于项目的过程提供了计算机辅助的支持。 以过程为中心的环境中的研究的一般目标是为指定过程设计有用的符号,并调查环境可以帮助用户执行流程的方式。 以基于规则的过程模型来量身定制以漫威过程为中心的环境,其中每个规则都定义了一个过程步骤,并说明了启动步骤和完成步骤的结果的条件。 步骤之间允许的测序在其条件和结果中隐含。 环境强制执行指定的过程,并协助用户满足步骤条件。最近的工作集中在对用户团队的并发控制上,以及过程中的进化。两者都是扩展以过程为中心环境的先决条件。 该项目解决了四个问题; (1)将高级流程形式主义建模为执行规则,(2)对协调建模的形式符号以及相应的并发控制算法与流程辅助机制的相互作用的形式符号,(3)通过过程和协调框架上的要求,(3)以及与一系列现有框架类别的接口过程和协调组件的可能协议,以及(4)分散的环境体系结构,允许一定程度的站点自主权满足不同的过程和协调需求。
项目成果
期刊论文数量(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 }}
Gail Kaiser其他文献
Deobfuscating Android Applications through Deep Learning
通过深度学习对 Android 应用程序进行反混淆
- DOI:
- 发表时间:
2017 - 期刊:
- 影响因子:0
- 作者:
Fang;Gail Kaiser - 通讯作者:
Gail Kaiser
Gail Kaiser的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Gail Kaiser', 18)}}的其他基金
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
SaTC:核心:中:无法信任任何东西:用于安全容器的小型 TCB 架构
- 批准号:
2247370 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
SHF:小:行为准则相似性的证据占优势
- 批准号:
1815494 - 财政年份:2018
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
TWC:中:实现安全补丁的可信赖可变重放
- 批准号:
1563555 - 财政年份:2016
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
SHF:中:在没有真正的测试预言机的情况下实现软件可靠性
- 批准号:
1161079 - 财政年份:2012
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
CSR---VCM:减少因维护和升级而导致的系统停机的自主机制
- 批准号:
0717544 - 财政年份:2007
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
Smart Event Models and Architectures
智能事件模型和架构
- 批准号:
0203876 - 财政年份:2002
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
Component Technologies for Next-Generation Software Development Environments
下一代软件开发环境的组件技术
- 批准号:
9970790 - 财政年份:1999
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
CISE Research Instrumentation:用于移动计算的基于语义的预取
- 批准号:
9529304 - 财政年份:1996
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
Multi-Agent Rule-Based Development Environments
基于规则的多代理开发环境
- 批准号:
9106368 - 财政年份:1991
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
Distributed Language-based Environments
基于分布式语言的环境
- 批准号:
9000930 - 财政年份:1990
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
相似国自然基金
分散态炭黑对持久性有机污染物迁移转化及生物有效性影响的过程机制研究——以BDE-47为例
- 批准号:22306203
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
回灌条件下多分散颗粒沉积-堵塞过程的尺度转换机制及模拟研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
电场强化氨法鼓泡捕集CO2过程的相分散特性及调控机制研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:
单分散木质素胶体球的制备及其自组装过程的分子间作用机理
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
氧化性气氛中Pt/Al2O3催化剂烧结-再分散过程的半经验动力学模型
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
相似海外基金
User-friendly Analysis Platform for Decentralized Multi-site Diffusion MRI Studies
用于分散式多站点扩散 MRI 研究的用户友好分析平台
- 批准号:
10724720 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Evaluating Centralizing Interventions to Address Low Adherence to Lung Cancer Screening Follow-up in Decentralized Settings
评估集中干预措施,以解决分散环境中肺癌筛查随访依从性低的问题
- 批准号:
10738120 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Decentralized differentially-private methods for dynamic data release and analysis
用于动态数据发布和分析的去中心化差分隐私方法
- 批准号:
10740597 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Study of the influence process of perfectionism of over adaptation
过度适应的完美主义影响过程研究
- 批准号:
22K03171 - 财政年份:2022
- 资助金额:
$ 21.7万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Fully Decentralized Federated Learning Framework for Automated Image Segmentation in Cancer Radiotherapy
用于癌症放射治疗自动图像分割的完全去中心化联合学习框架
- 批准号:
10303437 - 财政年份:2021
- 资助金额:
$ 21.7万 - 项目类别: