Matches in SemOpenAlex for { <https://semopenalex.org/work/W2161765437> ?p ?o ?g. }
- W2161765437 abstract "WSBPEL opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities within the same process and dependencies between activities of different processes. In a previous work, we have described an approach for the verification of Web service compositions defined by a set of BPEL processes. The key aspect of such a verification task is the model adopted for representing the communications among the services participating to the composition. In this paper, we propose to extend this approach to handle dependencies between activities of different process orchestrations through message exchanges. Our aim is to enable supporting models of service choreography with multiple interacting Web services compositions, from the perspective of a collaborative distributed composition development environment. The process of behavior analysis moves from a single local process to that of modelling and analyzing the behavior of multiple processes across composition domains." @default.
- W2161765437 created "2016-06-24" @default.
- W2161765437 creator A5019532484 @default.
- W2161765437 creator A5069093733 @default.
- W2161765437 creator A5080193996 @default.
- W2161765437 date "2008-09-01" @default.
- W2161765437 modified "2023-09-27" @default.
- W2161765437 title "Communications Semantics for WSBPEL Processes" @default.
- W2161765437 cites W111900207 @default.
- W2161765437 cites W1492572915 @default.
- W2161765437 cites W151984927 @default.
- W2161765437 cites W1537297192 @default.
- W2161765437 cites W1551401137 @default.
- W2161765437 cites W1607973151 @default.
- W2161765437 cites W1967583234 @default.
- W2161765437 cites W2060910670 @default.
- W2161765437 cites W2069377098 @default.
- W2161765437 cites W2069738771 @default.
- W2161765437 cites W2083091245 @default.
- W2161765437 cites W2111661282 @default.
- W2161765437 cites W2123197446 @default.
- W2161765437 cites W2123986639 @default.
- W2161765437 cites W2128433357 @default.
- W2161765437 cites W2145391336 @default.
- W2161765437 cites W2153074919 @default.
- W2161765437 cites W2168773274 @default.
- W2161765437 cites W2170418117 @default.
- W2161765437 cites W2807951036 @default.
- W2161765437 cites W2899987233 @default.
- W2161765437 cites W63050021 @default.
- W2161765437 doi "https://doi.org/10.1109/icws.2008.55" @default.
- W2161765437 hasPublicationYear "2008" @default.
- W2161765437 type Work @default.
- W2161765437 sameAs 2161765437 @default.
- W2161765437 citedByCount "7" @default.
- W2161765437 countsByYear W21617654372013 @default.
- W2161765437 countsByYear W21617654372015 @default.
- W2161765437 crossrefType "proceedings-article" @default.
- W2161765437 hasAuthorship W2161765437A5019532484 @default.
- W2161765437 hasAuthorship W2161765437A5069093733 @default.
- W2161765437 hasAuthorship W2161765437A5080193996 @default.
- W2161765437 hasBestOaLocation W21617654372 @default.
- W2161765437 hasConcept C115903868 @default.
- W2161765437 hasConcept C124952713 @default.
- W2161765437 hasConcept C127413603 @default.
- W2161765437 hasConcept C136264566 @default.
- W2161765437 hasConcept C136764020 @default.
- W2161765437 hasConcept C138885662 @default.
- W2161765437 hasConcept C142362112 @default.
- W2161765437 hasConcept C147446459 @default.
- W2161765437 hasConcept C162324750 @default.
- W2161765437 hasConcept C177264268 @default.
- W2161765437 hasConcept C183920142 @default.
- W2161765437 hasConcept C184337299 @default.
- W2161765437 hasConcept C199360897 @default.
- W2161765437 hasConcept C201995342 @default.
- W2161765437 hasConcept C26517878 @default.
- W2161765437 hasConcept C2780378061 @default.
- W2161765437 hasConcept C2780451532 @default.
- W2161765437 hasConcept C2983385018 @default.
- W2161765437 hasConcept C35578498 @default.
- W2161765437 hasConcept C38652104 @default.
- W2161765437 hasConcept C40231798 @default.
- W2161765437 hasConcept C41008148 @default.
- W2161765437 hasConcept C41895202 @default.
- W2161765437 hasConcept C4927394 @default.
- W2161765437 hasConcept C57041688 @default.
- W2161765437 hasConcept C98045186 @default.
- W2161765437 hasConceptScore W2161765437C115903868 @default.
- W2161765437 hasConceptScore W2161765437C124952713 @default.
- W2161765437 hasConceptScore W2161765437C127413603 @default.
- W2161765437 hasConceptScore W2161765437C136264566 @default.
- W2161765437 hasConceptScore W2161765437C136764020 @default.
- W2161765437 hasConceptScore W2161765437C138885662 @default.
- W2161765437 hasConceptScore W2161765437C142362112 @default.
- W2161765437 hasConceptScore W2161765437C147446459 @default.
- W2161765437 hasConceptScore W2161765437C162324750 @default.
- W2161765437 hasConceptScore W2161765437C177264268 @default.
- W2161765437 hasConceptScore W2161765437C183920142 @default.
- W2161765437 hasConceptScore W2161765437C184337299 @default.
- W2161765437 hasConceptScore W2161765437C199360897 @default.
- W2161765437 hasConceptScore W2161765437C201995342 @default.
- W2161765437 hasConceptScore W2161765437C26517878 @default.
- W2161765437 hasConceptScore W2161765437C2780378061 @default.
- W2161765437 hasConceptScore W2161765437C2780451532 @default.
- W2161765437 hasConceptScore W2161765437C2983385018 @default.
- W2161765437 hasConceptScore W2161765437C35578498 @default.
- W2161765437 hasConceptScore W2161765437C38652104 @default.
- W2161765437 hasConceptScore W2161765437C40231798 @default.
- W2161765437 hasConceptScore W2161765437C41008148 @default.
- W2161765437 hasConceptScore W2161765437C41895202 @default.
- W2161765437 hasConceptScore W2161765437C4927394 @default.
- W2161765437 hasConceptScore W2161765437C57041688 @default.
- W2161765437 hasConceptScore W2161765437C98045186 @default.
- W2161765437 hasLocation W21617654371 @default.
- W2161765437 hasLocation W21617654372 @default.
- W2161765437 hasLocation W21617654373 @default.
- W2161765437 hasLocation W21617654374 @default.
- W2161765437 hasOpenAccess W2161765437 @default.
- W2161765437 hasPrimaryLocation W21617654371 @default.