Matches in SemOpenAlex for { <https://semopenalex.org/work/W208050923> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W208050923 endingPage "167" @default.
- W208050923 startingPage "150" @default.
- W208050923 abstract "Correctness of workflow design cannot be evaluated by checking the execution for one single instance of the workflow, because instances, even when being independent from the data perspective, depend on each other with respect to the resources they rely on for executing tasks. The resources are shared among the instances of the same workflow; moreover, other workflows can use the same resources. Therefore, we enrich the workflow model with the model of its environment that captures the resource perspective. This allows us to investigate the verification of workflows extended with resources in a more general setting than it was previously done. We focus on the soundness property, which means the ability to terminate properly from any reachable state of the system, for every instance of the system. We show the decision procedure for soundness and how to repair a workflow that is unsound from the resource perspective by synthesizing a controller such that the composition of the workflow and the controller is sound by design." @default.
- W208050923 created "2016-06-24" @default.
- W208050923 creator A5004151425 @default.
- W208050923 creator A5053568949 @default.
- W208050923 creator A5066486250 @default.
- W208050923 date "2013-01-01" @default.
- W208050923 modified "2023-10-14" @default.
- W208050923 title "Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair" @default.
- W208050923 cites W1485572331 @default.
- W208050923 cites W1510349321 @default.
- W208050923 cites W1515425532 @default.
- W208050923 cites W1541004980 @default.
- W208050923 cites W1543155041 @default.
- W208050923 cites W1580675843 @default.
- W208050923 cites W1585036716 @default.
- W208050923 cites W1596041124 @default.
- W208050923 cites W1606081226 @default.
- W208050923 cites W1979349468 @default.
- W208050923 cites W2037933704 @default.
- W208050923 cites W2124765497 @default.
- W208050923 cites W2129466958 @default.
- W208050923 cites W2162868766 @default.
- W208050923 cites W4233522539 @default.
- W208050923 cites W4236251966 @default.
- W208050923 cites W4256426753 @default.
- W208050923 doi "https://doi.org/10.1007/978-3-642-40213-5_10" @default.
- W208050923 hasPublicationYear "2013" @default.
- W208050923 type Work @default.
- W208050923 sameAs 208050923 @default.
- W208050923 citedByCount "0" @default.
- W208050923 crossrefType "book-chapter" @default.
- W208050923 hasAuthorship W208050923A5004151425 @default.
- W208050923 hasAuthorship W208050923A5053568949 @default.
- W208050923 hasAuthorship W208050923A5066486250 @default.
- W208050923 hasBestOaLocation W2080509231 @default.
- W208050923 hasConcept C115903868 @default.
- W208050923 hasConcept C120314980 @default.
- W208050923 hasConcept C12713177 @default.
- W208050923 hasConcept C140824633 @default.
- W208050923 hasConcept C153269930 @default.
- W208050923 hasConcept C154945302 @default.
- W208050923 hasConcept C177212765 @default.
- W208050923 hasConcept C19612761 @default.
- W208050923 hasConcept C199360897 @default.
- W208050923 hasConcept C206345919 @default.
- W208050923 hasConcept C31258907 @default.
- W208050923 hasConcept C39920170 @default.
- W208050923 hasConcept C41008148 @default.
- W208050923 hasConcept C55439883 @default.
- W208050923 hasConcept C77088390 @default.
- W208050923 hasConcept C80444323 @default.
- W208050923 hasConceptScore W208050923C115903868 @default.
- W208050923 hasConceptScore W208050923C120314980 @default.
- W208050923 hasConceptScore W208050923C12713177 @default.
- W208050923 hasConceptScore W208050923C140824633 @default.
- W208050923 hasConceptScore W208050923C153269930 @default.
- W208050923 hasConceptScore W208050923C154945302 @default.
- W208050923 hasConceptScore W208050923C177212765 @default.
- W208050923 hasConceptScore W208050923C19612761 @default.
- W208050923 hasConceptScore W208050923C199360897 @default.
- W208050923 hasConceptScore W208050923C206345919 @default.
- W208050923 hasConceptScore W208050923C31258907 @default.
- W208050923 hasConceptScore W208050923C39920170 @default.
- W208050923 hasConceptScore W208050923C41008148 @default.
- W208050923 hasConceptScore W208050923C55439883 @default.
- W208050923 hasConceptScore W208050923C77088390 @default.
- W208050923 hasConceptScore W208050923C80444323 @default.
- W208050923 hasLocation W2080509231 @default.
- W208050923 hasOpenAccess W208050923 @default.
- W208050923 hasPrimaryLocation W2080509231 @default.
- W208050923 hasRelatedWork W1509245144 @default.
- W208050923 hasRelatedWork W1525957819 @default.
- W208050923 hasRelatedWork W1537758272 @default.
- W208050923 hasRelatedWork W2003451599 @default.
- W208050923 hasRelatedWork W2014795174 @default.
- W208050923 hasRelatedWork W208050923 @default.
- W208050923 hasRelatedWork W2166433032 @default.
- W208050923 hasRelatedWork W2311590799 @default.
- W208050923 hasRelatedWork W2964552794 @default.
- W208050923 hasRelatedWork W80203122 @default.
- W208050923 isParatext "false" @default.
- W208050923 isRetracted "false" @default.
- W208050923 magId "208050923" @default.
- W208050923 workType "book-chapter" @default.