Akehurst, David H.
Validating BPEL Specifications using OCL.
(Full text available)
This report gives a UML model of the structure for a BPEL document and provides a formal version of each informal constraint using the Object Constraint Language (OCL). Given this formalisation of the constraints, it is possible, using tools developed at Kent along with IBMs Eclipse Modelling Framework (EMF) to convert the OCL constraints into Java code that forms an automatic validation tool for BPEL documents.
- Depositors only (login required):