WebSphere Business Integration Server Foundation
Uses Business Process Execution Language for Web Services (BPEL4WS) which defines a model and a grammar for describing the behavior of a business process based on interactions between the process and its partners.
ie. IBM BPEL solution.