Blite is the result of an effort to cope with the problem of providing formal semantics to WS-BPEL. Indeed, the WS-BPEL specification is in natural language. As matter of fact, this has led to WS-BPEL engines implementing different semantics and, hence, has undermined portability of WS-BPEL programs over different platforms.
Blite is a lightweight language designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. On the one hand Blite can be used as a 'reference' semantics for WS-BPEL, on the other hand it can be used for rapid prototyping of service-oriented applications.