Akehurst, David H. (2004) Validating BPEL Specifications using OCL. Technical report. kent university (KAR id:14114)
PDF
Language: English |
|
Download this file (PDF/228kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader |
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.
Item Type: | Reports and Papers (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: | https://kar.kent.ac.uk/id/eprint/14114 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):