论文部分内容阅读
在Web服务检测模型实际使用过程中,普通的状态机有界状态组合形式不能确保Web服务组合的准确和有效性,对此提出非集式可满足自动机模理论(SMT),并将其应用到Web模型服务检测过程中。首先,基于SMT算法实现时序有界自动机检测模型,将时序有界自动机转变为可识别SMT公式逻辑,并对其模型参数进行求解;其次,基于时序SMT自动机模型,对单位职工出差进行组合安排,并结合Web服务模型进行检测和算法验证;最后,通过实验对比,表明约束有界模理论非集式Web服务自动机检测算法,能够有效对路径死锁进行解耦,并且可有效实现网络指标参数优化。
In the actual use of the Web service detection model, the ordinary state machine bounded state combination can not guarantee the accuracy and validity of the Web service composition. In this paper, we propose a non-aggregate to meet the automatic model theory (SMT), and its application To the Web model service detection process. First, based on the SMT algorithm, a sequential bounded automata detection model is realized, which transforms the bounded time-bound automaton into a formula that can identify the SMT formula and solves its model parameters. Secondly, based on the SMT sequential automaton model, Combined with Web service model for testing and algorithm validation. Finally, the experiments show that constrained bounded model theory of non-aggregate Web service automata detection algorithm can effectively decouple the path deadlock, and can effectively achieve Network parameter optimization.