© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 = {},
keywords = {BPEL, OCL},
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},
}