Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Faisal Abouzaid, Manuel Mazzara, John Mullins, Muhammad Usman Qamar · Intelligent Decision Technologies · 2013
The BP-calculus is a formalism based on the π-calculus, which is encoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented Applications (SOA). One important feature of SOA is the ability to compose services whi