Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058158684> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2058158684 abstract "We study the problems of race condition and process synchronization, commonly found in concurrent programming, in the context of information systems. These systems hold large quantities of business data constrained by complex structural and semantic rules. We assume that operations are equipped with guards against any violation of the data integrity, and that workflows (i.e. complex patterns of interactions) operate upon a shared, sequential data component. Updates via parallel workflows, through interleaving their operations, may lead to a state where the integrity is maintained but a goal property is not satisfied. Given workflows to be run in parallel, we calculate a precondition for establishing a state property upon their termination. Our calculation is efficient, using dynamic programming, and is based on the weakest precondition semantics of individual operations, we prove its correctness via a structural induction on the data structure: a 2-dimensional matrix." @default.
- W2058158684 created "2016-06-24" @default.
- W2058158684 creator A5086003941 @default.
- W2058158684 date "2012-12-01" @default.
- W2058158684 modified "2023-09-27" @default.
- W2058158684 title "Calculating Preconditions for Parallel Workflows" @default.
- W2058158684 cites W2086317066 @default.
- W2058158684 doi "https://doi.org/10.1109/apsec.2012.124" @default.
- W2058158684 hasPublicationYear "2012" @default.
- W2058158684 type Work @default.
- W2058158684 sameAs 2058158684 @default.
- W2058158684 citedByCount "0" @default.
- W2058158684 crossrefType "proceedings-article" @default.
- W2058158684 hasAuthorship W2058158684A5086003941 @default.
- W2058158684 hasConcept C120314980 @default.
- W2058158684 hasConcept C121332964 @default.
- W2058158684 hasConcept C127162648 @default.
- W2058158684 hasConcept C151730666 @default.
- W2058158684 hasConcept C156325763 @default.
- W2058158684 hasConcept C168167062 @default.
- W2058158684 hasConcept C177212765 @default.
- W2058158684 hasConcept C184337299 @default.
- W2058158684 hasConcept C192465680 @default.
- W2058158684 hasConcept C199360897 @default.
- W2058158684 hasConcept C2778562939 @default.
- W2058158684 hasConcept C2779343474 @default.
- W2058158684 hasConcept C30128091 @default.
- W2058158684 hasConcept C31258907 @default.
- W2058158684 hasConcept C33762810 @default.
- W2058158684 hasConcept C41008148 @default.
- W2058158684 hasConcept C55439883 @default.
- W2058158684 hasConcept C77088390 @default.
- W2058158684 hasConcept C80444323 @default.
- W2058158684 hasConcept C86803240 @default.
- W2058158684 hasConcept C97355855 @default.
- W2058158684 hasConcept C98045186 @default.
- W2058158684 hasConceptScore W2058158684C120314980 @default.
- W2058158684 hasConceptScore W2058158684C121332964 @default.
- W2058158684 hasConceptScore W2058158684C127162648 @default.
- W2058158684 hasConceptScore W2058158684C151730666 @default.
- W2058158684 hasConceptScore W2058158684C156325763 @default.
- W2058158684 hasConceptScore W2058158684C168167062 @default.
- W2058158684 hasConceptScore W2058158684C177212765 @default.
- W2058158684 hasConceptScore W2058158684C184337299 @default.
- W2058158684 hasConceptScore W2058158684C192465680 @default.
- W2058158684 hasConceptScore W2058158684C199360897 @default.
- W2058158684 hasConceptScore W2058158684C2778562939 @default.
- W2058158684 hasConceptScore W2058158684C2779343474 @default.
- W2058158684 hasConceptScore W2058158684C30128091 @default.
- W2058158684 hasConceptScore W2058158684C31258907 @default.
- W2058158684 hasConceptScore W2058158684C33762810 @default.
- W2058158684 hasConceptScore W2058158684C41008148 @default.
- W2058158684 hasConceptScore W2058158684C55439883 @default.
- W2058158684 hasConceptScore W2058158684C77088390 @default.
- W2058158684 hasConceptScore W2058158684C80444323 @default.
- W2058158684 hasConceptScore W2058158684C86803240 @default.
- W2058158684 hasConceptScore W2058158684C97355855 @default.
- W2058158684 hasConceptScore W2058158684C98045186 @default.
- W2058158684 hasLocation W20581586841 @default.
- W2058158684 hasOpenAccess W2058158684 @default.
- W2058158684 hasPrimaryLocation W20581586841 @default.
- W2058158684 hasRelatedWork W1605128268 @default.
- W2058158684 hasRelatedWork W186084113 @default.
- W2058158684 hasRelatedWork W1980964984 @default.
- W2058158684 hasRelatedWork W1986996553 @default.
- W2058158684 hasRelatedWork W2114366801 @default.
- W2058158684 hasRelatedWork W2145426968 @default.
- W2058158684 hasRelatedWork W2536902987 @default.
- W2058158684 hasRelatedWork W2798762912 @default.
- W2058158684 hasRelatedWork W33800742 @default.
- W2058158684 hasRelatedWork W2787044082 @default.
- W2058158684 isParatext "false" @default.
- W2058158684 isRetracted "false" @default.
- W2058158684 magId "2058158684" @default.
- W2058158684 workType "article" @default.