Dissertation > Excellent graduate degree dissertation topics show

Analysis and Application of Interactive Behavior Based on Behavioral Profiles of Petri Net

Author: WangZuoZuo
Tutor: FangXianWen
School: Anhui University of Technology
Course: Applied Mathematics
Keywords: process behavior behavioral profiles indirect constraint behavioralinteraction multi-sets of transitions consistency change regions
CLC: TP301.1
Type: Master's thesis
Year: 2013
Downloads: 2
Quote: 0
Read: Download Dissertation

Abstract


In order to meet the complex and changeable application demands, to build software components through multiple component interaction has become a new trend, but because the interaction of the components will be affected by internal and external factors under the open environment, leading to software that is interacted cannot be implemented according to the expected behavior, which thus affects the realization of expected function of the component software. So it has important theoretical significance and practical value that analyzing about interactive behavior of software.Now researches about interactive behavior of software mainly focuse on the satisfiability of interactive function, mainly consider function matching and composability of various components, however for that issue many literatures only consider the problem of deadlock or siphon judgement after the interaction, in actual use process, no-deadlock software also will appear unpredictable behavior problems, but there is very little literature researching on the problems about correlation of component interactive behavior. This paper analyzes the theory about behavior profiles of Petri net and property, puts forward measurement and analysis method of interactive behavior consistency of business process based on behavior profile, and comes up with analysis method of the change domain of no-consistent behaviour. The key contributions include:Firstly, according to the indirect behavior in the process of behavior interaction, this dissertation proposes a kind of method of reaching behavior interaction based on indirect constraints of comprehensive behavior profile, studys comprehensive behavior profile, to select effective behavior relationship in the process of service combination; which extends existing methods that only consider direct interaction relations.Secondly, according to the inconsistent behavior situation in the process of business process interactions, existing methods are static method to look for the change domain, this paper proposes consistency measure method based on behavior profile of Petri net, and to lock change domain, further puts forward the search method of dynamic domain based on behavior profile. The method can better find the optimal change domain under the condition of the uncertain change transition.Thirdly, according to duplicate transitions in the process of the service interaction, the existing method is to transform models including duplicate transitions to the models including non-duplicate transitions, and then analyzes behavior consistency, because the the transformation process influencees behavior consistency, giving rise to the non-trusted result. The consistency measurement method of behavior constraints based on the behavior constraints of the multi-sets of transitions is proposed in this paper, effectively solving the behavioural consistency measure problems of model including duplicate transitions.Finally, according to complex corresponding condition in the process of behavior interaction, the existing method is to analyze the situation of the key behavior, which leads to non-comprehensive of some interaction analysis. In this paper, we study the behavior relationships between the complex corresponding, puts forward compliance measurement method of behavior profile based on the complex corresponding. This method can fully take into account behavior relationship between every transition, when analyzing complex corresponding.

Related Dissertations

  1. A Study on the Relationship between the Spirituality and Self-Consistency of College Students,B844.2
  2. The Criticism on S-O-R Model and the Research on Anticipation Effect,B841
  3. Research on Traceability and Incremental Consistency of the MDA Model Transformation,TP311.5
  4. The Study of Discrete Copula and Quasi-Copular,O211.6
  5. Some Questions Researching for Generalized Linear Models,O212.1
  6. Influence of Phosphor Settling on Optical Consistency of High-Power LED,TM923.04
  7. Security Risk Assessment and Vulnerability Analysis in Electrical Power System,TM711
  8. Hadoop Distributed File System (HDFS) Study Reliability and Optimization,TP316.4
  9. Fuzzy Complementary Judgement Matrix Consistency,O151.21
  10. Dictionary sparse representation based on adaptive super-resolution reconstruction of video coding technology,TN919.81
  11. Consistency of judgment matrix based on discriminant method,O151.21
  12. Replica consistency unstructured P2P network research,TP393.02
  13. Three-dimensional seismic signal density point number combination technology research,TP301.6
  14. Research and Implementation of MPI Parallel Fault Tolerant Technology,TP302.8
  15. Design and Implementation of a Cloud-Oriented File Sync Service System,TP391.1
  16. Godel : Mathematics is not the language syntax,O1-0
  17. Research on Energy-saving Application of Water Source Heat Pump System Based on Satisfactory PID Control,TP13
  18. The Robust Control for Multi-Agent Coordination with Switching Topology and Time-Delay,TP13
  19. Research and Implementation of Mobile Terminal-Oriented Database Consistency between Frontend and Backend,TP311.13
  20. With missing covariates relative risk estimate model theory and its asymptotic properties,O212.1
  21. The Stock Celecting Modle of Quantitative Analysis and Qualitative Analysis,F832.51

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