[论文解读] Cloud Process Execution Engine - Evaluation of the Core Concepts

Juergen Mangler, Gerhard Stuermer+1 more|arXiv (Cornell University)|Mar 17, 2010

Business Process Modeling and Analysis参考文献 1被引用 7

一句话总结

本文提出了一种基于轻量级领域特定语言（DSL）的云流程执行引擎（WEE），用于编排分布式工作流。该DSL支持原子操作、带有等待/非等待语义的并行执行、条件分支、循环以及用于线程安全的临界区，通过处理器包装器和端点实现与外部服务的集成，从而实现可靠、可组合的云流程管理。

ABSTRACT

In this technical report we describe describe the Domain Specific Language (DSL) of the Workflow Execution Execution (WEE). Instead of interpreting an XML based workflow description language like BPEL, the WEE uses a minimized but expressive set of statements that runs directly on to of a virtual machine that supports the Ruby language.Frameworks/Virtual Machines supporting supporting this language include Java, .NET and there exists also a standalone Virtual Machine. Using a DSL gives us the advantage of maintaining a very compact code base of under 400 lines of code, as the host programming language implements all the concepts like parallelism, threads, checking for syntactic correctness. The implementation just hooks into existing statements to keep track of the workflow and deliver information about current existing context variables and state to the environment that embeds WEE.

研究动机与目标

• 设计一种最小化、表达力强的DSL，用于指定复杂的云工作流，并实现关注点清晰分离。
• 通过支持并行处理、条件分支和线程安全的临界区，实现分布式流程的可靠执行。
• 通过抽象外部服务调用的处理器包装器和端点，将工作流逻辑与服务实现解耦。
• 使用信号量保护的临界区确保多线程执行环境中的正确性和一致性。
• 通过实际的旅行预订编排用例，评估工作流执行引擎（WEE）的核心概念在实践中的表现。

提出的方法

• DSL定义了原子操作：manipulate-activities用于本地计算，call-activities用于将调用委派给外部服务。
• 并行执行通过两种变体支持：wait（阻塞直到所有分支完成）和nowait（在任意分支完成后继续，中止其他分支）。
• 条件控制流通过choose构造实现，支持带条件的备选路径和可选的otherwise路径。
• 循环通过cycle关键字实现，支持工作流内顶部控制的迭代。
• 临界区通过critical关键字和符号名称强制执行，确保跨线程的互斥访问。
• 外部服务集成通过处理器包装器抽象，包装器接收端点（URI）和参数，将工作流逻辑与服务实现细节解耦。

实验结果

研究问题

• RQ1 如何通过最小化的DSL有效表达复杂的云工作流模式，如并行处理、分支和循环？
• RQ2 哪些机制可确保在并发工作流执行中实现线程安全和一致性？
• RQ3 工作流逻辑与服务调用之间的关注点分离如何提升可维护性和可扩展性？
• RQ4 nowait并行执行变体对分布式工作流中的性能和可靠性有何影响？
• RQ5 符号命名的临界区如何实现跨分布式工作流组件的协调？

主要发现

• DSL使用极简词汇成功表达了复杂工作流，包括并行执行、条件分支、循环和线程安全的临界区。
• 并行执行的wait和nowait变体提供了灵活的并发控制，其中nowait支持在任一分支成功时实现早期完成。
• 带有符号名称的临界区可实现对共享资源的协调式互斥访问，确保跨不同工作流段的线程安全。
• 通过处理器包装器和端点实现的关注点分离，使外部服务的无缝集成成为可能，且工作流逻辑与服务实现无耦合。
• 使用上下文变量可实现工作流执行过程中的状态管理，且引擎负责监督整个流程中的变量状态。
• 示例工作流展示了端到端的旅行预订流程编排，包括基于成本阈值的条件逻辑，验证了DSL的表达力和正确性。