Matches in SemOpenAlex for { <https://semopenalex.org/work/W86235797> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W86235797 abstract "BPEL is a business flow language which describes the composition of web services. Since business flow may be very complex, the method of formalized analysis can help ensure the accuracy of work flow. For web services described by BPEL, in this paper we establish a formalized analysis model, provide specifications and semantics of business flow, and finally translate it into the asynchronous communication model of the model checker SPIN. Based on the formalized analysis model proposed in this paper, we analyze and verify the SAS (1), Loan and Auction protocols (2), and detect a flaw in the data flow of SAS protocol." @default.
- W86235797 created "2016-06-24" @default.
- W86235797 creator A5005752135 @default.
- W86235797 creator A5046754513 @default.
- W86235797 creator A5079307729 @default.
- W86235797 date "2008-01-01" @default.
- W86235797 modified "2023-09-24" @default.
- W86235797 title "Model Checking Behavioral Specification of BPEL Web Services" @default.
- W86235797 cites W1495871894 @default.
- W86235797 cites W1977239242 @default.
- W86235797 cites W2018946511 @default.
- W86235797 cites W2045164565 @default.
- W86235797 cites W2097143278 @default.
- W86235797 cites W2107228403 @default.
- W86235797 cites W2115309705 @default.
- W86235797 cites W2136741886 @default.
- W86235797 cites W2153074919 @default.
- W86235797 cites W2202860973 @default.
- W86235797 cites W2348086664 @default.
- W86235797 cites W2913459036 @default.
- W86235797 cites W66537716 @default.
- W86235797 cites W204252280 @default.
- W86235797 hasPublicationYear "2008" @default.
- W86235797 type Work @default.
- W86235797 sameAs 86235797 @default.
- W86235797 citedByCount "2" @default.
- W86235797 countsByYear W862357972018 @default.
- W86235797 crossrefType "journal-article" @default.
- W86235797 hasAuthorship W86235797A5005752135 @default.
- W86235797 hasAuthorship W86235797A5046754513 @default.
- W86235797 hasAuthorship W86235797A5079307729 @default.
- W86235797 hasConcept C110251889 @default.
- W86235797 hasConcept C115903868 @default.
- W86235797 hasConcept C127413603 @default.
- W86235797 hasConcept C13736549 @default.
- W86235797 hasConcept C151319957 @default.
- W86235797 hasConcept C184337299 @default.
- W86235797 hasConcept C199360897 @default.
- W86235797 hasConcept C207505557 @default.
- W86235797 hasConcept C2778648169 @default.
- W86235797 hasConcept C2985179714 @default.
- W86235797 hasConcept C31258907 @default.
- W86235797 hasConcept C35578498 @default.
- W86235797 hasConcept C41008148 @default.
- W86235797 hasConcept C42360764 @default.
- W86235797 hasConcept C4927394 @default.
- W86235797 hasConcept C57041688 @default.
- W86235797 hasConcept C77088390 @default.
- W86235797 hasConcept C85345410 @default.
- W86235797 hasConceptScore W86235797C110251889 @default.
- W86235797 hasConceptScore W86235797C115903868 @default.
- W86235797 hasConceptScore W86235797C127413603 @default.
- W86235797 hasConceptScore W86235797C13736549 @default.
- W86235797 hasConceptScore W86235797C151319957 @default.
- W86235797 hasConceptScore W86235797C184337299 @default.
- W86235797 hasConceptScore W86235797C199360897 @default.
- W86235797 hasConceptScore W86235797C207505557 @default.
- W86235797 hasConceptScore W86235797C2778648169 @default.
- W86235797 hasConceptScore W86235797C2985179714 @default.
- W86235797 hasConceptScore W86235797C31258907 @default.
- W86235797 hasConceptScore W86235797C35578498 @default.
- W86235797 hasConceptScore W86235797C41008148 @default.
- W86235797 hasConceptScore W86235797C42360764 @default.
- W86235797 hasConceptScore W86235797C4927394 @default.
- W86235797 hasConceptScore W86235797C57041688 @default.
- W86235797 hasConceptScore W86235797C77088390 @default.
- W86235797 hasConceptScore W86235797C85345410 @default.
- W86235797 hasLocation W862357971 @default.
- W86235797 hasOpenAccess W86235797 @default.
- W86235797 hasPrimaryLocation W862357971 @default.
- W86235797 hasRelatedWork W1537464421 @default.
- W86235797 hasRelatedWork W1576034610 @default.
- W86235797 hasRelatedWork W1968215784 @default.
- W86235797 hasRelatedWork W2009165777 @default.
- W86235797 hasRelatedWork W2047302368 @default.
- W86235797 hasRelatedWork W2055170072 @default.
- W86235797 hasRelatedWork W2061853602 @default.
- W86235797 hasRelatedWork W2069430440 @default.
- W86235797 hasRelatedWork W2095320786 @default.
- W86235797 hasRelatedWork W2099734277 @default.
- W86235797 hasRelatedWork W2107707949 @default.
- W86235797 hasRelatedWork W2111531490 @default.
- W86235797 hasRelatedWork W2135651884 @default.
- W86235797 hasRelatedWork W2145391336 @default.
- W86235797 hasRelatedWork W2158968674 @default.
- W86235797 hasRelatedWork W2160225496 @default.
- W86235797 hasRelatedWork W2165413257 @default.
- W86235797 hasRelatedWork W2361610374 @default.
- W86235797 hasRelatedWork W2597748527 @default.
- W86235797 hasRelatedWork W2981794715 @default.
- W86235797 isParatext "false" @default.
- W86235797 isRetracted "false" @default.
- W86235797 magId "86235797" @default.
- W86235797 workType "article" @default.