Matches in SemOpenAlex for { <https://semopenalex.org/work/W2323135093> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2323135093 abstract "In view of the web service model checking application, the combination mode of traditional finite state machines cannot guarantee the correctness of Web composite service. A web service model diction algorithm of non-centralized automaton based on satisfiability modulo theories (SMT) is proposed. First, SMT is used for bounded model checking of time automaton, and the time automaton model is directly converted into logical formula that can be identified by SMT, to make solution; secondly, the proposed SMT time automaton theory is used to achieve the employee travel arrangements web services for modeling and verification; finally, through an example analysis, the effectiveness of the algorithm on the termination of the path deadlock and the optimization of network parameters." @default.
- W2323135093 created "2016-06-24" @default.
- W2323135093 creator A5011564536 @default.
- W2323135093 creator A5076270371 @default.
- W2323135093 date "2016-01-16" @default.
- W2323135093 modified "2023-09-27" @default.
- W2323135093 title "Model Checking of Non-centralized Automaton Web Service" @default.
- W2323135093 cites W1122589879 @default.
- W2323135093 cites W1986159573 @default.
- W2323135093 cites W2020653682 @default.
- W2323135093 cites W2208587571 @default.
- W2323135093 cites W1602617099 @default.
- W2323135093 doi "https://doi.org/10.14257/astl.2016.121.58" @default.
- W2323135093 hasPublicationYear "2016" @default.
- W2323135093 type Work @default.
- W2323135093 sameAs 2323135093 @default.
- W2323135093 citedByCount "0" @default.
- W2323135093 crossrefType "proceedings-article" @default.
- W2323135093 hasAuthorship W2323135093A5011564536 @default.
- W2323135093 hasAuthorship W2323135093A5076270371 @default.
- W2323135093 hasConcept C110251889 @default.
- W2323135093 hasConcept C112505250 @default.
- W2323135093 hasConcept C136764020 @default.
- W2323135093 hasConcept C144133560 @default.
- W2323135093 hasConcept C162853370 @default.
- W2323135093 hasConcept C2780378061 @default.
- W2323135093 hasConcept C35578498 @default.
- W2323135093 hasConcept C41008148 @default.
- W2323135093 hasConcept C80444323 @default.
- W2323135093 hasConceptScore W2323135093C110251889 @default.
- W2323135093 hasConceptScore W2323135093C112505250 @default.
- W2323135093 hasConceptScore W2323135093C136764020 @default.
- W2323135093 hasConceptScore W2323135093C144133560 @default.
- W2323135093 hasConceptScore W2323135093C162853370 @default.
- W2323135093 hasConceptScore W2323135093C2780378061 @default.
- W2323135093 hasConceptScore W2323135093C35578498 @default.
- W2323135093 hasConceptScore W2323135093C41008148 @default.
- W2323135093 hasConceptScore W2323135093C80444323 @default.
- W2323135093 hasLocation W23231350931 @default.
- W2323135093 hasOpenAccess W2323135093 @default.
- W2323135093 hasPrimaryLocation W23231350931 @default.
- W2323135093 hasRelatedWork W1584197856 @default.
- W2323135093 hasRelatedWork W1585501219 @default.
- W2323135093 hasRelatedWork W2097554793 @default.
- W2323135093 hasRelatedWork W2347963430 @default.
- W2323135093 hasRelatedWork W2624380061 @default.
- W2323135093 hasRelatedWork W2752793062 @default.
- W2323135093 hasRelatedWork W2787596930 @default.
- W2323135093 hasRelatedWork W38902447 @default.
- W2323135093 hasRelatedWork W2500461980 @default.
- W2323135093 hasRelatedWork W2751931981 @default.
- W2323135093 isParatext "false" @default.
- W2323135093 isRetracted "false" @default.
- W2323135093 magId "2323135093" @default.
- W2323135093 workType "article" @default.