School of Computing

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 IBM�s 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},
}

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

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

Last Updated: 21/03/2014