School of Computing

Validating BPEL Specifications using OCL

D.H. Akehurst

Technical Report 15-04, University of Kent, Computing Laboratory, August 2004.


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.

Download publication 239 kbytes (PDF)

Bibtex Record

author = {D.H. Akehurst},
title = {{Validating BPEL Specifications using OCL}},
month = {August},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {techreport},
    submission_id = {374_1103296369},
    number = {15-04},
    institution = {University of Kent, Computing Laboratory},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014