Dissertation > Excellent graduate degree dissertation topics show

Verification Technology of Web Service Composition Based on Petri Net

Author: ZhangLei
Tutor: LiuLei
School: Jilin University
Course: Computer Software and Theory
Keywords: Semantic Web Services Petri nets Transfer matrix Compositional verification
CLC: TP301.1
Type: Master's thesis
Year: 2011
Downloads: 77
Quote: 0
Read: Download Dissertation

Abstract


With the rapid development of the Internet , various documents and applications , and so can be obtained easily from the Internet . Web services is distributed in a variety of network and network technology based application for the completion of a particular function . The lifecycle of Web services typically include service publishing, service discovery , service selection and service portfolio and service calls five processes , service portfolio is the emphasis and difficulty of the study and application of Web services technology . Web service composition is the process of synthesis technology , the number of single Web services combined into meet the the service requester complex function demand . Web service composition validation is an important part of Web service composition , Web service composition to ensure that the combination of Web services play a key role in the normal execution process . Petri nets are an effective tool for system modeling and analysis , it distributed systems and structures in the process or part description of ability . This paper, Petri nets as an analytical tool , to verify the effectiveness of the service behavior Model - based Web service composition by analyzing a combination of Web services can determine whether there is a deadlock and the normal end . This paper first introduces the basic theory of semantic Web service , and then introduces the basics of Petri nets , and then given the behavior described in OWL Semantic Web Services Model information is converted into a Petri net model , based on the use of Petri nets nature , Web services Petri nets combined operation with the transition matrix of Petri nets to the combination of Petri nets combined validation Finally, based on the verification results to analyze the composite Web service exists of deadlocks and whether normal operation end . Web services behavior Model information used in the service composition process to better reflect the details of the Web service composition , such as service input and output between the order and the prerequisite of the input and output and after the execution of the effects -based Web Service Behavior Model Web service composition validation more accuracy .

Related Dissertations

  1. Research on Checkpointing in Mobile Computing Environment and Modeling with Petri Nets,TP301.1
  2. Logic-based Web service composition Petri net modeling and analysis,TP393.09
  3. Physiological detection for wearable wireless sensor network QoS Routing,TP212.9
  4. Based on Petri net modeling intelligent algorithm for job shop scheduling,TP18
  5. Research on Analysis Methods of Earth-Observing Requests and Application,V474.26
  6. Research and Application of Traffic Network Model on Urban Road with Hybrid Petri Nets,U491.112
  7. Based COLORED PETRI NETS Project Logistics Management System Design and Implementation,TP311.52
  8. Research of Semantic Web Services’ Search and Combination Model Based on P2P Technology,TP393.09
  9. A Design and Implementation of IC Card Management System for Expressway Network Tolling,TP311.52
  10. Applied Research of Work Flow Theory in E-Government,TP311.52
  11. Semantic Web services based HP2P dynamic composition method,TP393.09
  12. Research on Web Service Matchmaking Based on Semantic,TP393.09
  13. Research on Risk Assessment of Project Process Based on Information Entropy,F284
  14. A Study on Workflow Mining Based on Hybrid Genetic Algorithm,TP311.13
  15. Studies on Process States Monitoring Technology Based on Timed Colored Petri Nets,TP277
  16. Research and Implemetation of FMS Scheduling Based on Petri Nets,TH165
  17. Research on Structural Vibration of Steam Piping System,TK284.1
  18. Research on Petri Net Modeling and Security Access Control Model under Pay Tax System by Internet in Local Tax Bureau,TP311.52
  19. Petri net calculation chart,TP301.6
  20. Study on Static and Dynamic Performance of Three-Axis CNC Vertical Boring Machine Tool’s Spindle Assembly,TG537
  21. Reseach on Acoustic Property of the Automobile Exhaust Muffler and Its Design,U464.134.4

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > General issues > Theories, methods > Automata Theory
© 2012 www.DissertationTopic.Net  Mobile