Analysis And Application Of Interactive Behavior Based On Behavioral Profiles Of Petri Net

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.