Matches in SemOpenAlex for { <https://semopenalex.org/work/W7789360> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W7789360 endingPage "261" @default.
- W7789360 startingPage "245" @default.
- W7789360 abstract "Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV." @default.
- W7789360 created "2016-06-24" @default.
- W7789360 creator A5014704826 @default.
- W7789360 creator A5020978568 @default.
- W7789360 creator A5027966392 @default.
- W7789360 creator A5071828856 @default.
- W7789360 date "2009-07-19" @default.
- W7789360 modified "2023-09-23" @default.
- W7789360 title "A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV" @default.
- W7789360 cites W1489391022 @default.
- W7789360 cites W2031658854 @default.
- W7789360 cites W2058856061 @default.
- W7789360 cites W2097105602 @default.
- W7789360 cites W2101691918 @default.
- W7789360 cites W2105658676 @default.
- W7789360 cites W2106319433 @default.
- W7789360 cites W2106848336 @default.
- W7789360 cites W2114930081 @default.
- W7789360 cites W2123986639 @default.
- W7789360 cites W2128433357 @default.
- W7789360 cites W2134523771 @default.
- W7789360 cites W2140320019 @default.
- W7789360 cites W2161381723 @default.
- W7789360 cites W2162021078 @default.
- W7789360 cites W2166107187 @default.
- W7789360 cites W2284453291 @default.
- W7789360 cites W2402765878 @default.
- W7789360 cites W2913459036 @default.
- W7789360 cites W204252280 @default.
- W7789360 hasPublicationYear "2009" @default.
- W7789360 type Work @default.
- W7789360 sameAs 7789360 @default.
- W7789360 citedByCount "5" @default.
- W7789360 countsByYear W77893602012 @default.
- W7789360 countsByYear W77893602013 @default.
- W7789360 countsByYear W77893602014 @default.
- W7789360 crossrefType "proceedings-article" @default.
- W7789360 hasAuthorship W7789360A5014704826 @default.
- W7789360 hasAuthorship W7789360A5020978568 @default.
- W7789360 hasAuthorship W7789360A5027966392 @default.
- W7789360 hasAuthorship W7789360A5071828856 @default.
- W7789360 hasConcept C110251889 @default.
- W7789360 hasConcept C111498074 @default.
- W7789360 hasConcept C127162648 @default.
- W7789360 hasConcept C136264566 @default.
- W7789360 hasConcept C136764020 @default.
- W7789360 hasConcept C15744967 @default.
- W7789360 hasConcept C162324750 @default.
- W7789360 hasConcept C199360897 @default.
- W7789360 hasConcept C2777200299 @default.
- W7789360 hasConcept C2778562939 @default.
- W7789360 hasConcept C2780378061 @default.
- W7789360 hasConcept C35578498 @default.
- W7789360 hasConcept C41008148 @default.
- W7789360 hasConcept C46312422 @default.
- W7789360 hasConcept C76155785 @default.
- W7789360 hasConceptScore W7789360C110251889 @default.
- W7789360 hasConceptScore W7789360C111498074 @default.
- W7789360 hasConceptScore W7789360C127162648 @default.
- W7789360 hasConceptScore W7789360C136264566 @default.
- W7789360 hasConceptScore W7789360C136764020 @default.
- W7789360 hasConceptScore W7789360C15744967 @default.
- W7789360 hasConceptScore W7789360C162324750 @default.
- W7789360 hasConceptScore W7789360C199360897 @default.
- W7789360 hasConceptScore W7789360C2777200299 @default.
- W7789360 hasConceptScore W7789360C2778562939 @default.
- W7789360 hasConceptScore W7789360C2780378061 @default.
- W7789360 hasConceptScore W7789360C35578498 @default.
- W7789360 hasConceptScore W7789360C41008148 @default.
- W7789360 hasConceptScore W7789360C46312422 @default.
- W7789360 hasConceptScore W7789360C76155785 @default.
- W7789360 hasOpenAccess W7789360 @default.
- W7789360 hasRelatedWork W119234946 @default.
- W7789360 hasRelatedWork W146881180 @default.
- W7789360 hasRelatedWork W1595999523 @default.
- W7789360 hasRelatedWork W1981626968 @default.
- W7789360 hasRelatedWork W2006962382 @default.
- W7789360 hasRelatedWork W2020022138 @default.
- W7789360 hasRelatedWork W2078448066 @default.
- W7789360 hasRelatedWork W2146294627 @default.
- W7789360 hasRelatedWork W2303036583 @default.
- W7789360 hasRelatedWork W2337486402 @default.
- W7789360 hasRelatedWork W2382706994 @default.
- W7789360 hasRelatedWork W2535577302 @default.
- W7789360 hasRelatedWork W2913459036 @default.
- W7789360 hasRelatedWork W3142699684 @default.
- W7789360 hasRelatedWork W3153961292 @default.
- W7789360 hasRelatedWork W3176729637 @default.
- W7789360 hasRelatedWork W57292747 @default.
- W7789360 hasRelatedWork W60595265 @default.
- W7789360 hasRelatedWork W2293517994 @default.
- W7789360 hasRelatedWork W2559457849 @default.
- W7789360 isParatext "false" @default.
- W7789360 isRetracted "false" @default.
- W7789360 magId "7789360" @default.
- W7789360 workType "article" @default.