Matches in SemOpenAlex for { <https://semopenalex.org/work/W2013949737> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2013949737 endingPage "98" @default.
- W2013949737 startingPage "93" @default.
- W2013949737 abstract "Amodel are proposed for modeling data-centric Web services which are powered by relational databases and interact with users according to logical formulas specifying input constraints, control-flow constraints and state/output/action rules. The Linear Temporal First-Order Logic (LTL-FO) formulas over inputs, states, outputs and actions are used to express the properties to be verified.We have proven that automatic verification of LTL-FO properties of data-centric Web services under input-bounded constraints is decidable by reducing Web services to data-centric Web applications. Thus, we can verify Web service specifications using existing verifier designed for Web applications." @default.
- W2013949737 created "2016-06-24" @default.
- W2013949737 creator A5044196762 @default.
- W2013949737 creator A5050910023 @default.
- W2013949737 creator A5085663610 @default.
- W2013949737 date "2013-01-01" @default.
- W2013949737 modified "2023-09-27" @default.
- W2013949737 title "Automatic Verification of Data-centric Web Service Specifications" @default.
- W2013949737 cites W2004188181 @default.
- W2013949737 cites W2028980140 @default.
- W2013949737 cites W2029591641 @default.
- W2013949737 cites W2043636189 @default.
- W2013949737 cites W2633545396 @default.
- W2013949737 doi "https://doi.org/10.1016/j.ieri.2013.11.015" @default.
- W2013949737 hasPublicationYear "2013" @default.
- W2013949737 type Work @default.
- W2013949737 sameAs 2013949737 @default.
- W2013949737 citedByCount "2" @default.
- W2013949737 countsByYear W20139497372018 @default.
- W2013949737 crossrefType "journal-article" @default.
- W2013949737 hasAuthorship W2013949737A5044196762 @default.
- W2013949737 hasAuthorship W2013949737A5050910023 @default.
- W2013949737 hasAuthorship W2013949737A5085663610 @default.
- W2013949737 hasBestOaLocation W20139497371 @default.
- W2013949737 hasConcept C110251889 @default.
- W2013949737 hasConcept C115903868 @default.
- W2013949737 hasConcept C118643609 @default.
- W2013949737 hasConcept C130436687 @default.
- W2013949737 hasConcept C134306372 @default.
- W2013949737 hasConcept C136264566 @default.
- W2013949737 hasConcept C136764020 @default.
- W2013949737 hasConcept C153269930 @default.
- W2013949737 hasConcept C162324750 @default.
- W2013949737 hasConcept C190515685 @default.
- W2013949737 hasConcept C199360897 @default.
- W2013949737 hasConcept C25016198 @default.
- W2013949737 hasConcept C2780378061 @default.
- W2013949737 hasConcept C33923547 @default.
- W2013949737 hasConcept C34388435 @default.
- W2013949737 hasConcept C35578498 @default.
- W2013949737 hasConcept C41008148 @default.
- W2013949737 hasConcept C4777664 @default.
- W2013949737 hasConcept C48103436 @default.
- W2013949737 hasConcept C4927394 @default.
- W2013949737 hasConcept C59241245 @default.
- W2013949737 hasConcept C77088390 @default.
- W2013949737 hasConcept C79373723 @default.
- W2013949737 hasConcept C80444323 @default.
- W2013949737 hasConceptScore W2013949737C110251889 @default.
- W2013949737 hasConceptScore W2013949737C115903868 @default.
- W2013949737 hasConceptScore W2013949737C118643609 @default.
- W2013949737 hasConceptScore W2013949737C130436687 @default.
- W2013949737 hasConceptScore W2013949737C134306372 @default.
- W2013949737 hasConceptScore W2013949737C136264566 @default.
- W2013949737 hasConceptScore W2013949737C136764020 @default.
- W2013949737 hasConceptScore W2013949737C153269930 @default.
- W2013949737 hasConceptScore W2013949737C162324750 @default.
- W2013949737 hasConceptScore W2013949737C190515685 @default.
- W2013949737 hasConceptScore W2013949737C199360897 @default.
- W2013949737 hasConceptScore W2013949737C25016198 @default.
- W2013949737 hasConceptScore W2013949737C2780378061 @default.
- W2013949737 hasConceptScore W2013949737C33923547 @default.
- W2013949737 hasConceptScore W2013949737C34388435 @default.
- W2013949737 hasConceptScore W2013949737C35578498 @default.
- W2013949737 hasConceptScore W2013949737C41008148 @default.
- W2013949737 hasConceptScore W2013949737C4777664 @default.
- W2013949737 hasConceptScore W2013949737C48103436 @default.
- W2013949737 hasConceptScore W2013949737C4927394 @default.
- W2013949737 hasConceptScore W2013949737C59241245 @default.
- W2013949737 hasConceptScore W2013949737C77088390 @default.
- W2013949737 hasConceptScore W2013949737C79373723 @default.
- W2013949737 hasConceptScore W2013949737C80444323 @default.
- W2013949737 hasLocation W20139497371 @default.
- W2013949737 hasOpenAccess W2013949737 @default.
- W2013949737 hasPrimaryLocation W20139497371 @default.
- W2013949737 hasRelatedWork W2013949737 @default.
- W2013949737 hasRelatedWork W2034672160 @default.
- W2013949737 hasRelatedWork W2053677444 @default.
- W2013949737 hasRelatedWork W2131633752 @default.
- W2013949737 hasRelatedWork W2274263312 @default.
- W2013949737 hasRelatedWork W2985474438 @default.
- W2013949737 hasRelatedWork W3003923933 @default.
- W2013949737 hasRelatedWork W3006401370 @default.
- W2013949737 hasRelatedWork W4288026462 @default.
- W2013949737 hasRelatedWork W2890958611 @default.
- W2013949737 hasVolume "4" @default.
- W2013949737 isParatext "false" @default.
- W2013949737 isRetracted "false" @default.
- W2013949737 magId "2013949737" @default.
- W2013949737 workType "article" @default.