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.
过程是开发软件系统时要遵循的一组部分有序的步骤。 流程可能因组织和系统而异。 以过程为中心的环境为一系列特定于项目的过程提供计算机辅助支持。 在以过程为中心的环境中的研究的一般目标是设计有用的符号指定的过程和调查的方式,环境可以帮助用户在执行过程。 Marvel以流程为中心的环境由基于规则的流程模型定制,其中每个规则定义一个流程步骤,并说明启动步骤的条件和完成步骤的结果。 步骤之间允许的顺序隐含在其条件和结果中。 环境强制执行指定的过程,并帮助用户满足步骤的条件。最近的工作集中在并发控制的用户团队,并在进程的演变,而他们正在进行中。这两者都是扩展以流程为中心的环境的先决条件。 该项目解决四个问题;(1)将更高级别的过程建模形式主义转换为用于执行的规则,(2)用于协调建模的形式符号以及相应的并发控制算法与过程辅助机制的交互,(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
相似海外基金
CIF: Small: Ensuring Accuracy in Differentially Private Decentralized Optimization
CIF:小:确保差分隐私去中心化优化的准确性
- 批准号:
2334449 - 财政年份:2024
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
ODELIA - An Open Consortium for Decentralized Medical Artificial Intelligence
ODELIA - 去中心化医疗人工智能开放联盟
- 批准号:
10069847 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
EU-Funded
Construction of Personalized and Decentralized Oriented Sightseeing Recommendation and Planning Foundation
个性化、去中心化的旅游推荐与规划基础建设
- 批准号:
23H03404 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Trustworthy decentralized AI for large-scale IoT representation learning
用于大规模物联网表征学习的值得信赖的去中心化人工智能
- 批准号:
22KJ0878 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Grant-in-Aid for JSPS Fellows
PFI-TT: Decentralized, On-Demand Production of Dialysis Solutions and Similar Medical Fluids
PFI-TT:透析溶液和类似医用液体的分散式按需生产
- 批准号:
2234509 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
CAREER: Decentralized and Online Planning for Emergent Cooperation in Multi-Robot Teams
职业:多机器人团队紧急合作的去中心化在线规划
- 批准号:
2235622 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Continuing Grant
CRII: CNS: Secure Decentralized AI in Heterogeneous IoT Networks: Foundation and Application
CRII:CNS:异构物联网网络中的安全去中心化人工智能:基础与应用
- 批准号:
2245933 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
EAGER: Decentralized Autonomous Organization (DAO)
EAGER:去中心化自治组织(DAO)
- 批准号:
2335995 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Standard Grant
Development of Low-Power Autonomous Decentralized Scheduling Technology for IoT Environment
物联网环境低功耗自主分散调度技术开发
- 批准号:
23K13331 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
User-friendly Analysis Platform for Decentralized Multi-site Diffusion MRI Studies
用于分散式多站点扩散 MRI 研究的用户友好分析平台
- 批准号:
10724720 - 财政年份:2023
- 资助金额:
$ 21.7万 - 项目类别: