Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138042054> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2138042054 abstract "The WS-BPEL language has recently become a de facto standard for modeling Web-based business pro- cesses. One of its essential features is the fully programma ble compensation mechanism. To understand it better, many recent works have mainly focused on formal semantic models for WS-BPEL. In this paper, we make one step forward by investigating the verification problem for business proces ses written in BPEL-like languages. We propose a set of proof rules in Hoare-logic style as an axiomatic verification syst em for a BPEL-like core language containing key features such as data states, fault and compensation handling. We also propose a big-step operational semantics which incorporates all these key features. Our verification rules are proven sou nd with respect to this underlying semantics. The application of the verification rules is illustrated via the proof search process for a nontrivial example." @default.
- W2138042054 created "2016-06-24" @default.
- W2138042054 creator A5015759231 @default.
- W2138042054 creator A5042013137 @default.
- W2138042054 creator A5089232764 @default.
- W2138042054 date "2008-01-01" @default.
- W2138042054 modified "2023-09-26" @default.
- W2138042054 title "Frontiers of Computer Science in China Verifying BPEL-like Programs with Hoare Logic" @default.
- W2138042054 cites W1239375374 @default.
- W2138042054 cites W1487792011 @default.
- W2138042054 cites W1497527018 @default.
- W2138042054 cites W1556237564 @default.
- W2138042054 cites W1602569358 @default.
- W2138042054 cites W1608333380 @default.
- W2138042054 cites W1943502734 @default.
- W2138042054 cites W1962632332 @default.
- W2138042054 cites W1972316716 @default.
- W2138042054 cites W1974168649 @default.
- W2138042054 cites W1979649001 @default.
- W2138042054 cites W2000117114 @default.
- W2138042054 cites W2038408649 @default.
- W2138042054 cites W2040715647 @default.
- W2138042054 cites W2123197446 @default.
- W2138042054 cites W2128433357 @default.
- W2138042054 cites W2138129432 @default.
- W2138042054 cites W2146516325 @default.
- W2138042054 cites W2153074919 @default.
- W2138042054 cites W2160883697 @default.
- W2138042054 hasPublicationYear "2008" @default.
- W2138042054 type Work @default.
- W2138042054 sameAs 2138042054 @default.
- W2138042054 citedByCount "0" @default.
- W2138042054 crossrefType "journal-article" @default.
- W2138042054 hasAuthorship W2138042054A5015759231 @default.
- W2138042054 hasAuthorship W2138042054A5042013137 @default.
- W2138042054 hasAuthorship W2138042054A5089232764 @default.
- W2138042054 hasConcept C110251889 @default.
- W2138042054 hasConcept C111498074 @default.
- W2138042054 hasConcept C115903868 @default.
- W2138042054 hasConcept C184337299 @default.
- W2138042054 hasConcept C199360897 @default.
- W2138042054 hasConcept C26517878 @default.
- W2138042054 hasConcept C35578498 @default.
- W2138042054 hasConcept C38652104 @default.
- W2138042054 hasConcept C41008148 @default.
- W2138042054 hasConcept C4927394 @default.
- W2138042054 hasConcept C57041688 @default.
- W2138042054 hasConcept C80444323 @default.
- W2138042054 hasConceptScore W2138042054C110251889 @default.
- W2138042054 hasConceptScore W2138042054C111498074 @default.
- W2138042054 hasConceptScore W2138042054C115903868 @default.
- W2138042054 hasConceptScore W2138042054C184337299 @default.
- W2138042054 hasConceptScore W2138042054C199360897 @default.
- W2138042054 hasConceptScore W2138042054C26517878 @default.
- W2138042054 hasConceptScore W2138042054C35578498 @default.
- W2138042054 hasConceptScore W2138042054C38652104 @default.
- W2138042054 hasConceptScore W2138042054C41008148 @default.
- W2138042054 hasConceptScore W2138042054C4927394 @default.
- W2138042054 hasConceptScore W2138042054C57041688 @default.
- W2138042054 hasConceptScore W2138042054C80444323 @default.
- W2138042054 hasLocation W21380420541 @default.
- W2138042054 hasOpenAccess W2138042054 @default.
- W2138042054 hasPrimaryLocation W21380420541 @default.
- W2138042054 hasRelatedWork W1501686914 @default.
- W2138042054 hasRelatedWork W1510484179 @default.
- W2138042054 hasRelatedWork W1991991357 @default.
- W2138042054 hasRelatedWork W2005574148 @default.
- W2138042054 hasRelatedWork W2074516520 @default.
- W2138042054 hasRelatedWork W2164594049 @default.
- W2138042054 hasRelatedWork W2241711970 @default.
- W2138042054 hasRelatedWork W2295554465 @default.
- W2138042054 hasRelatedWork W2315216645 @default.
- W2138042054 hasRelatedWork W2339645850 @default.
- W2138042054 hasRelatedWork W2751447742 @default.
- W2138042054 hasRelatedWork W2912001071 @default.
- W2138042054 hasRelatedWork W2978995391 @default.
- W2138042054 hasRelatedWork W3009223079 @default.
- W2138042054 hasRelatedWork W3157277427 @default.
- W2138042054 hasRelatedWork W3193129068 @default.
- W2138042054 hasRelatedWork W564852913 @default.
- W2138042054 hasRelatedWork W2184360104 @default.
- W2138042054 hasRelatedWork W2184739129 @default.
- W2138042054 hasRelatedWork W2510312343 @default.
- W2138042054 isParatext "false" @default.
- W2138042054 isRetracted "false" @default.
- W2138042054 magId "2138042054" @default.
- W2138042054 workType "article" @default.