Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301105622> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W4301105622 abstract "Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory. To make these systems amenable to verification, the amount of information stored in each relational state needs to be bounded, or restrictions are imposed on the preconditions and effects of actions. We introduce the general framework of relational action bases (RABs), which generalizes existing models by lifting both these restrictions: unbounded relational states can be evolved through actions that can quantify both existentially and universally over the data, and that can exploit numerical datatypes with arithmetic predicates. We then study parameterized safety of RABs via (approximated) SMT-based backward search, singling out essential meta-properties of the resulting procedure, and showing how it can be realized by an off-the-shelf combination of existing verification modules of the state-of-the-art MCMT model checker. We demonstrate the effectiveness of this approach on a benchmark of data-aware business processes. Finally, we show how universal invariants can be exploited to make this procedure fully correct." @default.
- W4301105622 created "2022-10-04" @default.
- W4301105622 creator A5041352997 @default.
- W4301105622 creator A5047795784 @default.
- W4301105622 creator A5069796121 @default.
- W4301105622 creator A5089863459 @default.
- W4301105622 date "2022-08-12" @default.
- W4301105622 modified "2023-09-26" @default.
- W4301105622 title "Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)" @default.
- W4301105622 doi "https://doi.org/10.48550/arxiv.2208.06377" @default.
- W4301105622 hasPublicationYear "2022" @default.
- W4301105622 type Work @default.
- W4301105622 citedByCount "0" @default.
- W4301105622 crossrefType "posted-content" @default.
- W4301105622 hasAuthorship W4301105622A5041352997 @default.
- W4301105622 hasAuthorship W4301105622A5047795784 @default.
- W4301105622 hasAuthorship W4301105622A5069796121 @default.
- W4301105622 hasAuthorship W4301105622A5089863459 @default.
- W4301105622 hasBestOaLocation W43011056221 @default.
- W4301105622 hasConcept C110251889 @default.
- W4301105622 hasConcept C11413529 @default.
- W4301105622 hasConcept C121332964 @default.
- W4301105622 hasConcept C13280743 @default.
- W4301105622 hasConcept C134306372 @default.
- W4301105622 hasConcept C165464430 @default.
- W4301105622 hasConcept C165696696 @default.
- W4301105622 hasConcept C17744445 @default.
- W4301105622 hasConcept C185798385 @default.
- W4301105622 hasConcept C199360897 @default.
- W4301105622 hasConcept C199539241 @default.
- W4301105622 hasConcept C205649164 @default.
- W4301105622 hasConcept C2776359362 @default.
- W4301105622 hasConcept C2780791683 @default.
- W4301105622 hasConcept C33923547 @default.
- W4301105622 hasConcept C34388435 @default.
- W4301105622 hasConcept C38652104 @default.
- W4301105622 hasConcept C40207289 @default.
- W4301105622 hasConcept C41008148 @default.
- W4301105622 hasConcept C48103436 @default.
- W4301105622 hasConcept C5655090 @default.
- W4301105622 hasConcept C62520636 @default.
- W4301105622 hasConcept C77088390 @default.
- W4301105622 hasConcept C80444323 @default.
- W4301105622 hasConcept C94625758 @default.
- W4301105622 hasConceptScore W4301105622C110251889 @default.
- W4301105622 hasConceptScore W4301105622C11413529 @default.
- W4301105622 hasConceptScore W4301105622C121332964 @default.
- W4301105622 hasConceptScore W4301105622C13280743 @default.
- W4301105622 hasConceptScore W4301105622C134306372 @default.
- W4301105622 hasConceptScore W4301105622C165464430 @default.
- W4301105622 hasConceptScore W4301105622C165696696 @default.
- W4301105622 hasConceptScore W4301105622C17744445 @default.
- W4301105622 hasConceptScore W4301105622C185798385 @default.
- W4301105622 hasConceptScore W4301105622C199360897 @default.
- W4301105622 hasConceptScore W4301105622C199539241 @default.
- W4301105622 hasConceptScore W4301105622C205649164 @default.
- W4301105622 hasConceptScore W4301105622C2776359362 @default.
- W4301105622 hasConceptScore W4301105622C2780791683 @default.
- W4301105622 hasConceptScore W4301105622C33923547 @default.
- W4301105622 hasConceptScore W4301105622C34388435 @default.
- W4301105622 hasConceptScore W4301105622C38652104 @default.
- W4301105622 hasConceptScore W4301105622C40207289 @default.
- W4301105622 hasConceptScore W4301105622C41008148 @default.
- W4301105622 hasConceptScore W4301105622C48103436 @default.
- W4301105622 hasConceptScore W4301105622C5655090 @default.
- W4301105622 hasConceptScore W4301105622C62520636 @default.
- W4301105622 hasConceptScore W4301105622C77088390 @default.
- W4301105622 hasConceptScore W4301105622C80444323 @default.
- W4301105622 hasConceptScore W4301105622C94625758 @default.
- W4301105622 hasLocation W43011056221 @default.
- W4301105622 hasLocation W43011056222 @default.
- W4301105622 hasOpenAccess W4301105622 @default.
- W4301105622 hasPrimaryLocation W43011056221 @default.
- W4301105622 hasRelatedWork W1560069502 @default.
- W4301105622 hasRelatedWork W2312889737 @default.
- W4301105622 hasRelatedWork W2402657446 @default.
- W4301105622 hasRelatedWork W2575395113 @default.
- W4301105622 hasRelatedWork W295290875 @default.
- W4301105622 hasRelatedWork W3003923933 @default.
- W4301105622 hasRelatedWork W4288026462 @default.
- W4301105622 hasRelatedWork W4295885746 @default.
- W4301105622 hasRelatedWork W2520471774 @default.
- W4301105622 hasRelatedWork W2615062305 @default.
- W4301105622 isParatext "false" @default.
- W4301105622 isRetracted "false" @default.
- W4301105622 workType "article" @default.