Font Size: a A A

Research On Model For Web Service Composition Based On Extended Colored Petri Net

Posted on:2007-09-25Degree:DoctorType:Dissertation
Country:ChinaCandidate:J X LiFull Text:PDF
GTID:1118360185454184Subject:Computer system architecture
Abstract/Summary:PDF Full Text Request
The development of web service technology provides us a kind of platform-independent, self-described, location-transparent software module. Utilizing web service composition technology, business demand can be meet quickly and flexibly. However, there are deficiencies in model, analyse, validation and simulation for web service composition. In the thesis, research is deployed aiming at resolving these deficiencies. The details of results are as follows:1.A new model WSCECPN is put forward for web serivce composition. Borrowing ideas from model driven architecture, WSC_ECPN is based on extended colored petri net and independent from any concrete web service compostion description language. The model can describe the web service composition, and web service composition can be analysed,validated and simulated. Moreover, using this model the description of web service composition is refined to the web service operations, and control flow and data flow can be decribed at the same time. The model supports hierarchical design of web service composition and presents the composition in graphic view. Therefore the model can describe web service composition accurately, comprehensively, clearly and intuitively.2.At first algorithm for checking syntax correctness of the model is given, ensuring the model follows the syntax regulation. Then the model is analysed and checked in four layers: Control flow correctness: after given the formal defination of control flow correctness, algorithm which is used to check whether the control flow is correct is given; Data dependency correctness: algorithm is provided to check causations after causations of data dependency error were analysed; Conflict between data dependency and control dependency: corresponding algorithm is given after analysing the conflict causation; Correctness of data mapping between web service operations: algorithm is put forward to check whether there are errors in data mapping. Those algorithms can detect errors in the model and give the corresponding error causations which are useful for modifying the model and ensuring the correctness the model.3.The dynamic run rule of WSC_ECPN is given, which defines run semantics of the model strictly. The model can be instantiated through initialization functions. Simulation the execution of model instantiation can be realized by applying the dynamic run rule of the model. Errors about setting the selection conditions in model design can be checked out through simulation.4.A prototype is developed, which supports design web service composition in graphical user interface and correctness analysis of web service composition design.
Keywords/Search Tags:web service composition, hierarchical colored petri net, web service composition model, correctness analysis of web service composition model, behavior of web service composition model
PDF Full Text Request
Related items