作为分布式动态条件响应图的声明式基于事件的工作流
计算机科学中的逻辑
2011-10-20 v1 形式语言与自动机理论
编程语言
摘要
我们提出动态条件响应图（DCR Graphs）作为一种声明式的、基于事件的过程模型，其灵感来自我们工业合作伙伴所采用的工作流语言，并且保守地推广了素事件结构。动态条件响应图是一个有向图，其节点代表可能发生的事件，箭头代表事件之间的四种关系：条件、响应、包含和排除。随后，通过为事件和主体分配角色，得到了分布式 DCR 图。我们给出了一种受 van der Aalst 等人相关工作启发的图形表示法。我们以取自丹麦某医院实地研究的一个简单工作流为例，展示了分布式 DCR 图的应用，并指出了其相较于命令式工作流模型的灵活性。最后，我们提供了从 DCR 图到 Buchi 自动机的映射。
引用
@article{arxiv.1110.4161,
title = {Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs},
author = {Thomas T. Hildebrandt and Raghava Rao Mukkamala},
journal= {arXiv preprint arXiv:1110.4161},
year = {2011}
}
备注
In Proceedings PLACES 2010, arXiv:1110.3853