欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Eclipse BPEL
来自开放百科 - 灰狐
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.
分享您的观点