Matches in SemOpenAlex for { <https://semopenalex.org/work/W4244204472> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4244204472 endingPage "356" @default.
- W4244204472 startingPage "344" @default.
- W4244204472 abstract "The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable 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 processes written in BPEL-like languages. We propose a set of proof rules in Hoare-logic style as an axiomatic verification system 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 sound with respect to this underlying semantics. The application of the verification rules is illustrated via the proof search process for a nontrivial example." @default.
- W4244204472 created "2022-05-12" @default.
- W4244204472 creator A5015759231 @default.
- W4244204472 creator A5042013137 @default.
- W4244204472 creator A5089232764 @default.
- W4244204472 date "2008-12-01" @default.
- W4244204472 modified "2023-10-03" @default.
- W4244204472 title "Verifying BPEL-like programs with Hoare logic" @default.
- W4244204472 cites W1487792011 @default.
- W4244204472 cites W1497527018 @default.
- W4244204472 cites W1556237564 @default.
- W4244204472 cites W1608333380 @default.
- W4244204472 cites W1972316716 @default.
- W4244204472 cites W1974168649 @default.
- W4244204472 cites W1979649001 @default.
- W4244204472 cites W2038408649 @default.
- W4244204472 cites W2061243320 @default.
- W4244204472 cites W2123197446 @default.
- W4244204472 cites W2128433357 @default.
- W4244204472 cites W2138129432 @default.
- W4244204472 cites W2160883697 @default.
- W4244204472 cites W4251283131 @default.
- W4244204472 doi "https://doi.org/10.1007/s11704-008-0039-2" @default.
- W4244204472 hasPublicationYear "2008" @default.
- W4244204472 type Work @default.
- W4244204472 citedByCount "4" @default.
- W4244204472 countsByYear W42442044722018 @default.
- W4244204472 countsByYear W42442044722023 @default.
- W4244204472 crossrefType "journal-article" @default.
- W4244204472 hasAuthorship W4244204472A5015759231 @default.
- W4244204472 hasAuthorship W4244204472A5042013137 @default.
- W4244204472 hasAuthorship W4244204472A5089232764 @default.
- W4244204472 hasBestOaLocation W42442044722 @default.
- W4244204472 hasConcept C104949639 @default.
- W4244204472 hasConcept C110251889 @default.
- W4244204472 hasConcept C111498074 @default.
- W4244204472 hasConcept C115903868 @default.
- W4244204472 hasConcept C156325763 @default.
- W4244204472 hasConcept C184337299 @default.
- W4244204472 hasConcept C199360897 @default.
- W4244204472 hasConcept C26517878 @default.
- W4244204472 hasConcept C35578498 @default.
- W4244204472 hasConcept C38652104 @default.
- W4244204472 hasConcept C41008148 @default.
- W4244204472 hasConcept C4927394 @default.
- W4244204472 hasConcept C55439883 @default.
- W4244204472 hasConcept C57041688 @default.
- W4244204472 hasConcept C80444323 @default.
- W4244204472 hasConceptScore W4244204472C104949639 @default.
- W4244204472 hasConceptScore W4244204472C110251889 @default.
- W4244204472 hasConceptScore W4244204472C111498074 @default.
- W4244204472 hasConceptScore W4244204472C115903868 @default.
- W4244204472 hasConceptScore W4244204472C156325763 @default.
- W4244204472 hasConceptScore W4244204472C184337299 @default.
- W4244204472 hasConceptScore W4244204472C199360897 @default.
- W4244204472 hasConceptScore W4244204472C26517878 @default.
- W4244204472 hasConceptScore W4244204472C35578498 @default.
- W4244204472 hasConceptScore W4244204472C38652104 @default.
- W4244204472 hasConceptScore W4244204472C41008148 @default.
- W4244204472 hasConceptScore W4244204472C4927394 @default.
- W4244204472 hasConceptScore W4244204472C55439883 @default.
- W4244204472 hasConceptScore W4244204472C57041688 @default.
- W4244204472 hasConceptScore W4244204472C80444323 @default.
- W4244204472 hasIssue "4" @default.
- W4244204472 hasLocation W42442044721 @default.
- W4244204472 hasLocation W42442044722 @default.
- W4244204472 hasLocation W42442044723 @default.
- W4244204472 hasLocation W42442044724 @default.
- W4244204472 hasLocation W42442044725 @default.
- W4244204472 hasOpenAccess W4244204472 @default.
- W4244204472 hasPrimaryLocation W42442044721 @default.
- W4244204472 hasRelatedWork W1800051757 @default.
- W4244204472 hasRelatedWork W2018318486 @default.
- W4244204472 hasRelatedWork W2106066263 @default.
- W4244204472 hasRelatedWork W2118503825 @default.
- W4244204472 hasRelatedWork W2131633752 @default.
- W4244204472 hasRelatedWork W2151277984 @default.
- W4244204472 hasRelatedWork W2158718268 @default.
- W4244204472 hasRelatedWork W2165413257 @default.
- W4244204472 hasRelatedWork W2919319550 @default.
- W4244204472 hasRelatedWork W57072711 @default.
- W4244204472 hasVolume "2" @default.
- W4244204472 isParatext "false" @default.
- W4244204472 isRetracted "false" @default.
- W4244204472 workType "article" @default.