© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Validating BPEL Specifications using OCL
D.H. Akehurst
Technical Report 15-04, University of Kent, Computing Laboratory, August 2004.Abstract
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
@techreport{2027, 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 = {http://www.cs.kent.ac.uk/pubs/2004/2027}, publication_type = {techreport}, submission_id = {374_1103296369}, number = {15-04}, institution = {University of Kent, Computing Laboratory}, }