Matches in SemOpenAlex for { <https://semopenalex.org/work/W2136521909> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2136521909 abstract "The Web service Business Process Execution Language (WS-BPEL) and the Web service Choreography Description Language (WS-CDL) are two important standards for modelling and implementing workflows and business processes based on Web services. From the WS-CDL description of a Web services based business process, we may extract a behavioural specification against which the combined behaviour of the participating Web services should be verified. We show how to express this behavioural specification as well as the behaviour of individual WS-BPEL-based Web services in the formalism of communicating sequential processes (CSP), which supports a formal approach to verifying the behaviour of collaborating Web services" @default.
- W2136521909 created "2016-06-24" @default.
- W2136521909 creator A5071703341 @default.
- W2136521909 date "2006-01-01" @default.
- W2136521909 modified "2023-10-01" @default.
- W2136521909 title "Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services" @default.
- W2136521909 cites W1964201869 @default.
- W2136521909 cites W2123197446 @default.
- W2136521909 cites W2128433357 @default.
- W2136521909 cites W2132497760 @default.
- W2136521909 cites W2153846453 @default.
- W2136521909 cites W4254121468 @default.
- W2136521909 doi "https://doi.org/10.1109/ecows.2006.26" @default.
- W2136521909 hasPublicationYear "2006" @default.
- W2136521909 type Work @default.
- W2136521909 sameAs 2136521909 @default.
- W2136521909 citedByCount "29" @default.
- W2136521909 countsByYear W21365219092012 @default.
- W2136521909 countsByYear W21365219092013 @default.
- W2136521909 countsByYear W21365219092017 @default.
- W2136521909 countsByYear W21365219092019 @default.
- W2136521909 countsByYear W21365219092021 @default.
- W2136521909 crossrefType "proceedings-article" @default.
- W2136521909 hasAuthorship W2136521909A5071703341 @default.
- W2136521909 hasConcept C115903868 @default.
- W2136521909 hasConcept C116253237 @default.
- W2136521909 hasConcept C127413603 @default.
- W2136521909 hasConcept C130436687 @default.
- W2136521909 hasConcept C135910124 @default.
- W2136521909 hasConcept C136764020 @default.
- W2136521909 hasConcept C174998907 @default.
- W2136521909 hasConcept C177212765 @default.
- W2136521909 hasConcept C182321512 @default.
- W2136521909 hasConcept C190515685 @default.
- W2136521909 hasConcept C21547014 @default.
- W2136521909 hasConcept C24733836 @default.
- W2136521909 hasConcept C35578498 @default.
- W2136521909 hasConcept C38434365 @default.
- W2136521909 hasConcept C41008148 @default.
- W2136521909 hasConcept C4927394 @default.
- W2136521909 hasConcept C544335954 @default.
- W2136521909 hasConcept C57041688 @default.
- W2136521909 hasConcept C59241245 @default.
- W2136521909 hasConcept C77088390 @default.
- W2136521909 hasConcept C79373723 @default.
- W2136521909 hasConcept C85345410 @default.
- W2136521909 hasConceptScore W2136521909C115903868 @default.
- W2136521909 hasConceptScore W2136521909C116253237 @default.
- W2136521909 hasConceptScore W2136521909C127413603 @default.
- W2136521909 hasConceptScore W2136521909C130436687 @default.
- W2136521909 hasConceptScore W2136521909C135910124 @default.
- W2136521909 hasConceptScore W2136521909C136764020 @default.
- W2136521909 hasConceptScore W2136521909C174998907 @default.
- W2136521909 hasConceptScore W2136521909C177212765 @default.
- W2136521909 hasConceptScore W2136521909C182321512 @default.
- W2136521909 hasConceptScore W2136521909C190515685 @default.
- W2136521909 hasConceptScore W2136521909C21547014 @default.
- W2136521909 hasConceptScore W2136521909C24733836 @default.
- W2136521909 hasConceptScore W2136521909C35578498 @default.
- W2136521909 hasConceptScore W2136521909C38434365 @default.
- W2136521909 hasConceptScore W2136521909C41008148 @default.
- W2136521909 hasConceptScore W2136521909C4927394 @default.
- W2136521909 hasConceptScore W2136521909C544335954 @default.
- W2136521909 hasConceptScore W2136521909C57041688 @default.
- W2136521909 hasConceptScore W2136521909C59241245 @default.
- W2136521909 hasConceptScore W2136521909C77088390 @default.
- W2136521909 hasConceptScore W2136521909C79373723 @default.
- W2136521909 hasConceptScore W2136521909C85345410 @default.
- W2136521909 hasLocation W21365219091 @default.
- W2136521909 hasOpenAccess W2136521909 @default.
- W2136521909 hasPrimaryLocation W21365219091 @default.
- W2136521909 hasRelatedWork W1482534649 @default.
- W2136521909 hasRelatedWork W1518561795 @default.
- W2136521909 hasRelatedWork W187706589 @default.
- W2136521909 hasRelatedWork W2113478318 @default.
- W2136521909 hasRelatedWork W2130956565 @default.
- W2136521909 hasRelatedWork W2136521909 @default.
- W2136521909 hasRelatedWork W2285606470 @default.
- W2136521909 hasRelatedWork W2567705419 @default.
- W2136521909 hasRelatedWork W2992956275 @default.
- W2136521909 hasRelatedWork W238607006 @default.
- W2136521909 isParatext "false" @default.
- W2136521909 isRetracted "false" @default.
- W2136521909 magId "2136521909" @default.
- W2136521909 workType "article" @default.