Font Size: a A A

Research On Service Interactive Behavior Model And Trusted Computing Method

Posted on:2015-01-13Degree:MasterType:Thesis
Country:ChinaCandidate:N ZhangFull Text:PDF
GTID:2298330467950643Subject:Computer Science and Technology
Abstract/Summary:PDF Full Text Request
Service-Oriented Architecture is a milestone in the domain of software integration and system development’s technique. It is attracting more and more people’s attention by its characteristics, such as autonomous, platform independent and so on. Meanwhile, its applied range is wider and wider. Service is the basic module structure of the system, and single service’s function has certain limitation, so service composition is necessary when construct the system. Service composition is a logical whole which is composed by a number of services in a specific way according to the given application logic.This paper contains the model SI-M of the service interactive behavior, and research the trusted computing method based on SI-M model. In this paper, the main research contents and results include the following aspects:In this paper, the background and significance of the research in service interactive behavior modeling and trusted computing method is studied, summarized the current situation both domestic and foreign service behavior interaction research.The language that describes the process of service composition:business process executive language, is studied, both its design principle and its components. The basic properties and principles of Petri network also has been studied.This paper gives a model of service behavior based on Petri network called SI-M model. Business Process Execution Language describes the service exchange business process between public news, it does not define the internal behavior process interaction detail which the SI-M model based on Petri net has described. SI-M’s basic mode is the mapping from the "activities" of business process execution language to the SI-M model. Then using the nested iterative library combined with the elimination way to complete the basic mode.In this paper, it gives an algorithm to make sure the interactive behavior’s credible which is based on SI-M model. Interactive behaviors combined with practical application credible can be shown in the two aspects:activity and safety. Service interaction’s process is the process of message transform; message sequence can be expressed in the interactive process. In SI-M model, combined with Petri network principle knowledge, transition sequence can also describe the interactive process, therefore the result of message sequence and transition sequence is presented the same result. Then, according to comparing the transition sequence that is running and the behavior interactive sequences to judge whether the behavior is trusted, it’s how the algorithm guarantee the process of service behavior’s interaction.The service interactive behavior model SI-M proposed in this paper based on interactive message, which is more suitable to describe the relationship behavior in the service composition process. SI-M model can accurately describe the credibility of interactive process, provides a reference service interactive behavior modeling. Trusted computing method based on SI-M model can ensure the service composition to detect abnormal interaction in the actual operation, to provide security for the interactive process of service composition.
Keywords/Search Tags:Petri Net, Web Services, Behavior Interaction Model, Reliable
PDF Full Text Request
Related items