欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Eclipse BPEL
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
Eclipse BPEL Project | Eclipse BPEL Project | ||
| + | |||
| + | 提供以下核心功能： | ||
| + | * Designer. A GEF-based editor that provides a graphical means to author BPEL processes. | ||
| + | * Model. An EMF model that represents the WS-BPEL 2.0 specification. | ||
| + | * Validation. A validator which operates on the EMF model and produces errors and warnings based on the specification. | ||
| + | * Runtime Framework. An extensible framework which will allow for deployment and execution of BPEL processes from the tools into a BPEL engine. | ||
| + | * Debug. A framework which will allow the user to step through the execution of a process, including support for breakpoints. | ||
| + | |||
http://www.eclipse.org/bpel/ | http://www.eclipse.org/bpel/ | ||
2006年8月26日 (六) 16:11的版本
Eclipse BPEL Project
提供以下核心功能：
- Designer. A GEF-based editor that provides a graphical means to author BPEL processes.
- Model. An EMF model that represents the WS-BPEL 2.0 specification.
- Validation. A validator which operates on the EMF model and produces errors and warnings based on the specification.
- Runtime Framework. An extensible framework which will allow for deployment and execution of BPEL processes from the tools into a BPEL engine.
- Debug. A framework which will allow the user to step through the execution of a process, including support for breakpoints.
分享您的观点
