Matches in SemOpenAlex for { <https://semopenalex.org/work/W3004178038> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3004178038 abstract "Service composition is a primary task in the development of service-oriented systems. The Web Service Process Execution Language (WS-BPEL) and the Web Service Choreography Descriptor Language (WS-CDL) are two major languages for Web services modeling and implementation. Although these two composition models are of a different nature, they are complementary. WS-CDL serves as a behavioral modeling language for collaboration between multiple participants (web services) within the same business process from a global point of view. However, WS-BPEL allows a service composition process to be described at different levels of abstraction. At a high level, the description follows a global point of view and deals only with the exchange of messages between participating abstract services (represented abstractly by roles). WS-CDL descriptions are thus considered as a specification of the abstract service composition from which more concrete WS-BPEL processes are extracted. In this article, we present a formal modeling and analysis approach based on sequential communication process (CSP) in order to verify the behavioral consistency between abstract choreographic descriptions and executable BPEL processes, thereby proving the correctness of the translation process." @default.
- W3004178038 created "2020-02-07" @default.
- W3004178038 creator A5035022948 @default.
- W3004178038 creator A5061965262 @default.
- W3004178038 creator A5072672040 @default.
- W3004178038 date "2019-06-01" @default.
- W3004178038 modified "2023-10-02" @default.
- W3004178038 title "Formal specification and validation of refinement from WS-CDL to BPEL" @default.
- W3004178038 cites W1239375374 @default.
- W3004178038 cites W2102097307 @default.
- W3004178038 cites W2110425399 @default.
- W3004178038 cites W2137348535 @default.
- W3004178038 cites W2153423952 @default.
- W3004178038 cites W2490403639 @default.
- W3004178038 cites W2903144471 @default.
- W3004178038 cites W2914735184 @default.
- W3004178038 cites W3144368627 @default.
- W3004178038 doi "https://doi.org/10.1109/iscc47284.2019.8969681" @default.
- W3004178038 hasPublicationYear "2019" @default.
- W3004178038 type Work @default.
- W3004178038 sameAs 3004178038 @default.
- W3004178038 citedByCount "0" @default.
- W3004178038 crossrefType "proceedings-article" @default.
- W3004178038 hasAuthorship W3004178038A5035022948 @default.
- W3004178038 hasAuthorship W3004178038A5061965262 @default.
- W3004178038 hasAuthorship W3004178038A5072672040 @default.
- W3004178038 hasConcept C115903868 @default.
- W3004178038 hasConcept C124952713 @default.
- W3004178038 hasConcept C136264566 @default.
- W3004178038 hasConcept C142362112 @default.
- W3004178038 hasConcept C147446459 @default.
- W3004178038 hasConcept C160145156 @default.
- W3004178038 hasConcept C162324750 @default.
- W3004178038 hasConcept C183920142 @default.
- W3004178038 hasConcept C199360897 @default.
- W3004178038 hasConcept C2780378061 @default.
- W3004178038 hasConcept C35578498 @default.
- W3004178038 hasConcept C41008148 @default.
- W3004178038 hasConcept C4927394 @default.
- W3004178038 hasConcept C55439883 @default.
- W3004178038 hasConcept C57041688 @default.
- W3004178038 hasConceptScore W3004178038C115903868 @default.
- W3004178038 hasConceptScore W3004178038C124952713 @default.
- W3004178038 hasConceptScore W3004178038C136264566 @default.
- W3004178038 hasConceptScore W3004178038C142362112 @default.
- W3004178038 hasConceptScore W3004178038C147446459 @default.
- W3004178038 hasConceptScore W3004178038C160145156 @default.
- W3004178038 hasConceptScore W3004178038C162324750 @default.
- W3004178038 hasConceptScore W3004178038C183920142 @default.
- W3004178038 hasConceptScore W3004178038C199360897 @default.
- W3004178038 hasConceptScore W3004178038C2780378061 @default.
- W3004178038 hasConceptScore W3004178038C35578498 @default.
- W3004178038 hasConceptScore W3004178038C41008148 @default.
- W3004178038 hasConceptScore W3004178038C4927394 @default.
- W3004178038 hasConceptScore W3004178038C55439883 @default.
- W3004178038 hasConceptScore W3004178038C57041688 @default.
- W3004178038 hasLocation W30041780381 @default.
- W3004178038 hasOpenAccess W3004178038 @default.
- W3004178038 hasPrimaryLocation W30041780381 @default.
- W3004178038 hasRelatedWork W1507723857 @default.
- W3004178038 hasRelatedWork W1548431414 @default.
- W3004178038 hasRelatedWork W1558792461 @default.
- W3004178038 hasRelatedWork W1564434771 @default.
- W3004178038 hasRelatedWork W2003914879 @default.
- W3004178038 hasRelatedWork W2007239035 @default.
- W3004178038 hasRelatedWork W2018318486 @default.
- W3004178038 hasRelatedWork W2031391224 @default.
- W3004178038 hasRelatedWork W2073785052 @default.
- W3004178038 hasRelatedWork W2126921756 @default.
- W3004178038 hasRelatedWork W2143796342 @default.
- W3004178038 hasRelatedWork W2145549849 @default.
- W3004178038 hasRelatedWork W2326953746 @default.
- W3004178038 hasRelatedWork W2367207557 @default.
- W3004178038 hasRelatedWork W2375570121 @default.
- W3004178038 hasRelatedWork W2395701922 @default.
- W3004178038 hasRelatedWork W2528814693 @default.
- W3004178038 hasRelatedWork W2969110155 @default.
- W3004178038 hasRelatedWork W3175530217 @default.
- W3004178038 hasRelatedWork W2738243338 @default.
- W3004178038 isParatext "false" @default.
- W3004178038 isRetracted "false" @default.
- W3004178038 magId "3004178038" @default.
- W3004178038 workType "article" @default.