Abstract
The Business Process Execution Language (BPEL) is an XML based language; the BPEL standard defines the structure, tags and attributes of an XML document that corresponds to a valid BPEL specification. In addition, the standard defines a number of natural language constraints of which some can be ambiguous and are complex. This paper uses the Unified Modelling Language (UML) and Object Constraint Language to provide a model of the XML based BPEL language. Based on this model the paper shows how OCL can be used to give a precise version of the natural language constraints defined in the BPEL standard. We then use this precise specification to generate a Validation tool automatically that can check that a BPEL document is well-formed.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
