Matches in SemOpenAlex for { <https://semopenalex.org/work/W2247309404> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2247309404 abstract "As a new kind of distributed computing paradigm, web services have been paid more and more attention in recent years. The idea of software as a service is accepted by more and more people. Regarding the web services composition process as a software development process, in this paper we consider web services composition from the view of software architecture, which can control the layout of the whole system. In order to analyze web services composition from the global perspective, we use a software architecture description language based on temporal logic to specify web services composition behavior and property. This also cover the shortage of semantic representations of BPEL, then we transform the temporal logic description to timed-automata, and apply refinement checking to verify the correctness of web service composition, meanwhile the feasibility is illustrated by a ticket booking system." @default.
- W2247309404 created "2016-06-24" @default.
- W2247309404 creator A5007923079 @default.
- W2247309404 creator A5021662942 @default.
- W2247309404 creator A5025039922 @default.
- W2247309404 creator A5062192039 @default.
- W2247309404 creator A5083369178 @default.
- W2247309404 date "2010-06-01" @default.
- W2247309404 modified "2023-09-26" @default.
- W2247309404 title "A Refinement Checking Method of Web Services Composition" @default.
- W2247309404 cites W1591692738 @default.
- W2247309404 cites W1597765845 @default.
- W2247309404 cites W2059661024 @default.
- W2247309404 cites W2101508170 @default.
- W2247309404 cites W2103550091 @default.
- W2247309404 cites W2116989428 @default.
- W2247309404 cites W2121248073 @default.
- W2247309404 cites W2213886569 @default.
- W2247309404 cites W2370222556 @default.
- W2247309404 doi "https://doi.org/10.1109/sose.2010.13" @default.
- W2247309404 hasPublicationYear "2010" @default.
- W2247309404 type Work @default.
- W2247309404 sameAs 2247309404 @default.
- W2247309404 citedByCount "5" @default.
- W2247309404 countsByYear W22473094042013 @default.
- W2247309404 countsByYear W22473094042021 @default.
- W2247309404 crossrefType "proceedings-article" @default.
- W2247309404 hasAuthorship W2247309404A5007923079 @default.
- W2247309404 hasAuthorship W2247309404A5021662942 @default.
- W2247309404 hasAuthorship W2247309404A5025039922 @default.
- W2247309404 hasAuthorship W2247309404A5062192039 @default.
- W2247309404 hasAuthorship W2247309404A5083369178 @default.
- W2247309404 hasConcept C115903868 @default.
- W2247309404 hasConcept C130436687 @default.
- W2247309404 hasConcept C136764020 @default.
- W2247309404 hasConcept C182321512 @default.
- W2247309404 hasConcept C190515685 @default.
- W2247309404 hasConcept C199360897 @default.
- W2247309404 hasConcept C2129575 @default.
- W2247309404 hasConcept C35578498 @default.
- W2247309404 hasConcept C41008148 @default.
- W2247309404 hasConcept C4927394 @default.
- W2247309404 hasConcept C542858634 @default.
- W2247309404 hasConcept C55439883 @default.
- W2247309404 hasConcept C57041688 @default.
- W2247309404 hasConcept C59241245 @default.
- W2247309404 hasConcept C79373723 @default.
- W2247309404 hasConceptScore W2247309404C115903868 @default.
- W2247309404 hasConceptScore W2247309404C130436687 @default.
- W2247309404 hasConceptScore W2247309404C136764020 @default.
- W2247309404 hasConceptScore W2247309404C182321512 @default.
- W2247309404 hasConceptScore W2247309404C190515685 @default.
- W2247309404 hasConceptScore W2247309404C199360897 @default.
- W2247309404 hasConceptScore W2247309404C2129575 @default.
- W2247309404 hasConceptScore W2247309404C35578498 @default.
- W2247309404 hasConceptScore W2247309404C41008148 @default.
- W2247309404 hasConceptScore W2247309404C4927394 @default.
- W2247309404 hasConceptScore W2247309404C542858634 @default.
- W2247309404 hasConceptScore W2247309404C55439883 @default.
- W2247309404 hasConceptScore W2247309404C57041688 @default.
- W2247309404 hasConceptScore W2247309404C59241245 @default.
- W2247309404 hasConceptScore W2247309404C79373723 @default.
- W2247309404 hasLocation W22473094041 @default.
- W2247309404 hasOpenAccess W2247309404 @default.
- W2247309404 hasPrimaryLocation W22473094041 @default.
- W2247309404 hasRelatedWork W1514740646 @default.
- W2247309404 hasRelatedWork W1914996770 @default.
- W2247309404 hasRelatedWork W1971692840 @default.
- W2247309404 hasRelatedWork W1998438472 @default.
- W2247309404 hasRelatedWork W2000810795 @default.
- W2247309404 hasRelatedWork W2005636843 @default.
- W2247309404 hasRelatedWork W2012311509 @default.
- W2247309404 hasRelatedWork W2013274990 @default.
- W2247309404 hasRelatedWork W2039081855 @default.
- W2247309404 hasRelatedWork W2042056663 @default.
- W2247309404 hasRelatedWork W2056231522 @default.
- W2247309404 hasRelatedWork W2068077794 @default.
- W2247309404 hasRelatedWork W2097368534 @default.
- W2247309404 hasRelatedWork W2104554235 @default.
- W2247309404 hasRelatedWork W2126728257 @default.
- W2247309404 hasRelatedWork W2147579510 @default.
- W2247309404 hasRelatedWork W2149064660 @default.
- W2247309404 hasRelatedWork W2169924294 @default.
- W2247309404 hasRelatedWork W2170869705 @default.
- W2247309404 hasRelatedWork W2541063915 @default.
- W2247309404 isParatext "false" @default.
- W2247309404 isRetracted "false" @default.
- W2247309404 magId "2247309404" @default.
- W2247309404 workType "article" @default.