Matches in SemOpenAlex for { <https://semopenalex.org/work/W3081661543> ?p ?o ?g. }
- W3081661543 abstract "Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective. Nonetheless, when it comes to formal verification there is still the lack of effective verification tools on imperative data-aware process models and executions: the data perspective is often abstracted away and verification tools are often missing. In this paper we provide a concrete framework for formal verification of reachability properties on imperative data-aware business processes. We start with an expressive, yet empirically tractable class of data-aware process models, an extension of Workflow Nets, and we provide a rigorous mapping between the semantics of such models and that of three important paradigms for reasoning about dynamic systems: Action Languages, Classical Planning, and Model Checking. Then we perform a comprehensive assessment of the performance of three popular tools supporting the above paradigms in solving reachability problems for imperative data-aware business processes, which paves the way for a theoretically well founded and practically viable exploitation of formal verification techniques on data-aware business processes." @default.
- W3081661543 created "2020-09-08" @default.
- W3081661543 creator A5010134911 @default.
- W3081661543 creator A5069353228 @default.
- W3081661543 creator A5070124724 @default.
- W3081661543 creator A5074804384 @default.
- W3081661543 date "2019-09-27" @default.
- W3081661543 modified "2023-09-27" @default.
- W3081661543 title "Solving reachability problems on data-aware workflows" @default.
- W3081661543 cites W109537964 @default.
- W3081661543 cites W1489634932 @default.
- W3081661543 cites W1498432697 @default.
- W3081661543 cites W1503170978 @default.
- W3081661543 cites W1529570923 @default.
- W3081661543 cites W1561267729 @default.
- W3081661543 cites W1645908721 @default.
- W3081661543 cites W1987080413 @default.
- W3081661543 cites W1987411046 @default.
- W3081661543 cites W1992428614 @default.
- W3081661543 cites W1994451575 @default.
- W3081661543 cites W2007165961 @default.
- W3081661543 cites W2020675906 @default.
- W3081661543 cites W2029133737 @default.
- W3081661543 cites W2029591641 @default.
- W3081661543 cites W2062569786 @default.
- W3081661543 cites W2073566426 @default.
- W3081661543 cites W2084864929 @default.
- W3081661543 cites W2094385143 @default.
- W3081661543 cites W2129466958 @default.
- W3081661543 cites W2134443897 @default.
- W3081661543 cites W2138447175 @default.
- W3081661543 cites W2141740710 @default.
- W3081661543 cites W2151665032 @default.
- W3081661543 cites W2162868766 @default.
- W3081661543 cites W2170655684 @default.
- W3081661543 cites W2171697843 @default.
- W3081661543 cites W2204954092 @default.
- W3081661543 cites W2479648088 @default.
- W3081661543 cites W2572827727 @default.
- W3081661543 cites W2599487769 @default.
- W3081661543 cites W2604501701 @default.
- W3081661543 cites W2604870422 @default.
- W3081661543 cites W2620828487 @default.
- W3081661543 cites W2635930331 @default.
- W3081661543 cites W2809970264 @default.
- W3081661543 cites W2810005068 @default.
- W3081661543 cites W2887214825 @default.
- W3081661543 cites W2898885886 @default.
- W3081661543 cites W2964347059 @default.
- W3081661543 cites W2976284361 @default.
- W3081661543 cites W3196189545 @default.
- W3081661543 cites W790410956 @default.
- W3081661543 cites W86268509 @default.
- W3081661543 cites W971346073 @default.
- W3081661543 hasPublicationYear "2019" @default.
- W3081661543 type Work @default.
- W3081661543 sameAs 3081661543 @default.
- W3081661543 citedByCount "0" @default.
- W3081661543 crossrefType "posted-content" @default.
- W3081661543 hasAuthorship W3081661543A5010134911 @default.
- W3081661543 hasAuthorship W3081661543A5069353228 @default.
- W3081661543 hasAuthorship W3081661543A5070124724 @default.
- W3081661543 hasAuthorship W3081661543A5074804384 @default.
- W3081661543 hasConcept C110251889 @default.
- W3081661543 hasConcept C111498074 @default.
- W3081661543 hasConcept C115903868 @default.
- W3081661543 hasConcept C12713177 @default.
- W3081661543 hasConcept C136643341 @default.
- W3081661543 hasConcept C144133560 @default.
- W3081661543 hasConcept C154945302 @default.
- W3081661543 hasConcept C162853370 @default.
- W3081661543 hasConcept C174998907 @default.
- W3081661543 hasConcept C177212765 @default.
- W3081661543 hasConcept C184337299 @default.
- W3081661543 hasConcept C199360897 @default.
- W3081661543 hasConcept C41008148 @default.
- W3081661543 hasConcept C77088390 @default.
- W3081661543 hasConcept C80444323 @default.
- W3081661543 hasConcept C85345410 @default.
- W3081661543 hasConcept C98045186 @default.
- W3081661543 hasConceptScore W3081661543C110251889 @default.
- W3081661543 hasConceptScore W3081661543C111498074 @default.
- W3081661543 hasConceptScore W3081661543C115903868 @default.
- W3081661543 hasConceptScore W3081661543C12713177 @default.
- W3081661543 hasConceptScore W3081661543C136643341 @default.
- W3081661543 hasConceptScore W3081661543C144133560 @default.
- W3081661543 hasConceptScore W3081661543C154945302 @default.
- W3081661543 hasConceptScore W3081661543C162853370 @default.
- W3081661543 hasConceptScore W3081661543C174998907 @default.
- W3081661543 hasConceptScore W3081661543C177212765 @default.
- W3081661543 hasConceptScore W3081661543C184337299 @default.
- W3081661543 hasConceptScore W3081661543C199360897 @default.
- W3081661543 hasConceptScore W3081661543C41008148 @default.
- W3081661543 hasConceptScore W3081661543C77088390 @default.
- W3081661543 hasConceptScore W3081661543C80444323 @default.
- W3081661543 hasConceptScore W3081661543C85345410 @default.
- W3081661543 hasConceptScore W3081661543C98045186 @default.
- W3081661543 hasLocation W30816615431 @default.
- W3081661543 hasOpenAccess W3081661543 @default.
- W3081661543 hasPrimaryLocation W30816615431 @default.