Three major mainstream open source workflow engine: Shark, OSWORKFLOW, JBPM
Shark's process definition language is XPDLOSWORKFLOW. The palm is fsmjbpm.
WFMC specification BPEL4WS
