Skip to main content

Validating BPEL Specifications using OCL

Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (KAR id:14114)

Language: English
Download (228kB) Preview
[thumbnail of Validating_BPEL_Specifications.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format


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.

Item Type: Monograph (Technical report)
Uncontrolled keywords: BPEL, OCL
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 24 Nov 2008 18:01 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year