Font Size: a A A

Bpel Modeling Method Based On Petri-net

Posted on:2011-06-13Degree:MasterType:Thesis
Country:ChinaCandidate:X D LiuFull Text:PDF
GTID:2208360308481322Subject:Systems analysis and integration
Abstract/Summary:PDF Full Text Request
Petri‐net as the primary method of process modeling, BPEL describes businessprocesses as the main technology, both of which have been widespread academicand industry attention. Their business processes on the application, making Webservices‐based business processes more efficient combination of methods can becarried out. At present, the combination of formal description of the BPEL usingPetri‐net modeling language is a branch of the direction of current research. Basedon the classic Petri‐net basis against this in‐depth study, this article did the following:1. BPEL language paper in the original description of the business process levelis proposed based on Petri‐net based on the BPEL modeling approach and using themethods of the specific model. In the modeling process, the model and thecorresponding BPEL description of the activities, the establishment of Petri‐netmodel of the BPEL activities to formal language combining Petri‐net diagramapproach to describe.2. BPEL to Petri‐net activities on the model to show up to map out the way, onevery step of the business process to track the status of implementation. Accordingto the established model up to plan, analyze whether the distribution of state andthe implementation of business processes consistent with the results.3. Based on the work of existing examples of the application analysis,application examples of the model, application examples of the business process isformalized, and the model to reach up picture shows the basis of analysis, reflectinghas done research is feasible.
Keywords/Search Tags:Petri‐net, BPEL, accessibility test
PDF Full Text Request
Related items