.png){kind=icon}
返回
Resource Contracts for Active Objects
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-12086-1_9.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
工作流协调跨部门或组织间的任务，其正确执行不仅依赖于控制依赖关系，还依赖于共享资源的可用性。本文提出ReAct，一种面向资源的主动对象语言，用于工作流建模。在ReAct中，方法声明充当合约：它们在签名中指定替代资源配置文件，当资源受限时赋予方法多种执行选项。方法仅在其依赖条件满足后才能被调用；在激活时，会选取并分配一个可行的资源配置文件。我们在Maude中实现了该语言，并展示了工作流如何执行、模拟以及如何根据其声明的依赖关系和资源需求进行验证。
Keyword:
Active objects
Resource allocation
Contracts
Maude
Workflow Models
期刊
F
IF:
0
论文数:
13
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏Resource provisioning strategies for BPMN processes: Specification and analysis using MaudeBPMN流程的资源配置策略：使用Maude进行规范与分析
OAAI
OAAI分享收藏分享收藏分享收藏
查看更多内容