Matches in SemOpenAlex for { <https://semopenalex.org/work/W2354756033> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2354756033 abstract "During Web service business process modeling and implementing,Web choreography described collaborations and interactions among service participants globally,Web orchestration depicted the interaction between single service participant and other parties. So conjunction of the two methods could enhance efficiency and veracity of the business process modeling and implementing greatly. But the problem,how to verify the behavioral consistency of Web choreography and Web orchestration, must be solved. This paper outlined how to use CSP as the formal basis to check the behavioral consistency of Web service choreography description language WS-CDL and Web service orchestration specification WS-BPEL. After translating WS-CDL and WS-BPEL into CSP language,the consistency check could be finished by model checking tool PAT,which was CSP language based. In the end,gave a case study,which demonstrates effectiveness of the approach." @default.
- W2354756033 created "2016-06-24" @default.
- W2354756033 creator A5039314254 @default.
- W2354756033 date "2010-01-01" @default.
- W2354756033 modified "2023-09-25" @default.
- W2354756033 title "Consistency verification for Web service business process" @default.
- W2354756033 hasPublicationYear "2010" @default.
- W2354756033 type Work @default.
- W2354756033 sameAs 2354756033 @default.
- W2354756033 citedByCount "0" @default.
- W2354756033 crossrefType "journal-article" @default.
- W2354756033 hasAuthorship W2354756033A5039314254 @default.
- W2354756033 hasConcept C115903868 @default.
- W2354756033 hasConcept C124952713 @default.
- W2354756033 hasConcept C130436687 @default.
- W2354756033 hasConcept C136264566 @default.
- W2354756033 hasConcept C136764020 @default.
- W2354756033 hasConcept C142362112 @default.
- W2354756033 hasConcept C144133560 @default.
- W2354756033 hasConcept C147446459 @default.
- W2354756033 hasConcept C153349607 @default.
- W2354756033 hasConcept C154945302 @default.
- W2354756033 hasConcept C162324750 @default.
- W2354756033 hasConcept C162853370 @default.
- W2354756033 hasConcept C174998907 @default.
- W2354756033 hasConcept C183920142 @default.
- W2354756033 hasConcept C199168358 @default.
- W2354756033 hasConcept C2776436953 @default.
- W2354756033 hasConcept C2780378061 @default.
- W2354756033 hasConcept C35578498 @default.
- W2354756033 hasConcept C41008148 @default.
- W2354756033 hasConcept C4927394 @default.
- W2354756033 hasConcept C558565934 @default.
- W2354756033 hasConcept C85345410 @default.
- W2354756033 hasConceptScore W2354756033C115903868 @default.
- W2354756033 hasConceptScore W2354756033C124952713 @default.
- W2354756033 hasConceptScore W2354756033C130436687 @default.
- W2354756033 hasConceptScore W2354756033C136264566 @default.
- W2354756033 hasConceptScore W2354756033C136764020 @default.
- W2354756033 hasConceptScore W2354756033C142362112 @default.
- W2354756033 hasConceptScore W2354756033C144133560 @default.
- W2354756033 hasConceptScore W2354756033C147446459 @default.
- W2354756033 hasConceptScore W2354756033C153349607 @default.
- W2354756033 hasConceptScore W2354756033C154945302 @default.
- W2354756033 hasConceptScore W2354756033C162324750 @default.
- W2354756033 hasConceptScore W2354756033C162853370 @default.
- W2354756033 hasConceptScore W2354756033C174998907 @default.
- W2354756033 hasConceptScore W2354756033C183920142 @default.
- W2354756033 hasConceptScore W2354756033C199168358 @default.
- W2354756033 hasConceptScore W2354756033C2776436953 @default.
- W2354756033 hasConceptScore W2354756033C2780378061 @default.
- W2354756033 hasConceptScore W2354756033C35578498 @default.
- W2354756033 hasConceptScore W2354756033C41008148 @default.
- W2354756033 hasConceptScore W2354756033C4927394 @default.
- W2354756033 hasConceptScore W2354756033C558565934 @default.
- W2354756033 hasConceptScore W2354756033C85345410 @default.
- W2354756033 hasLocation W23547560331 @default.
- W2354756033 hasOpenAccess W2354756033 @default.
- W2354756033 hasPrimaryLocation W23547560331 @default.
- W2354756033 hasRelatedWork W1495802909 @default.
- W2354756033 hasRelatedWork W1514824083 @default.
- W2354756033 hasRelatedWork W1570132345 @default.
- W2354756033 hasRelatedWork W175873250 @default.
- W2354756033 hasRelatedWork W1914996770 @default.
- W2354756033 hasRelatedWork W1977648600 @default.
- W2354756033 hasRelatedWork W2005636843 @default.
- W2354756033 hasRelatedWork W2027349588 @default.
- W2354756033 hasRelatedWork W2053835825 @default.
- W2354756033 hasRelatedWork W2065581849 @default.
- W2354756033 hasRelatedWork W2132497760 @default.
- W2354756033 hasRelatedWork W2136521909 @default.
- W2354756033 hasRelatedWork W2137348535 @default.
- W2354756033 hasRelatedWork W2145389903 @default.
- W2354756033 hasRelatedWork W2153846453 @default.
- W2354756033 hasRelatedWork W2166233431 @default.
- W2354756033 hasRelatedWork W2181895246 @default.
- W2354756033 hasRelatedWork W2337441147 @default.
- W2354756033 hasRelatedWork W2354882543 @default.
- W2354756033 hasRelatedWork W2901708176 @default.
- W2354756033 isParatext "false" @default.
- W2354756033 isRetracted "false" @default.
- W2354756033 magId "2354756033" @default.
- W2354756033 workType "article" @default.