Matches in SemOpenAlex for { <https://semopenalex.org/work/W112193273> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W112193273 endingPage "259" @default.
- W112193273 startingPage "244" @default.
- W112193273 abstract "Over the years, researchers have investigated how to provide better support for hospital administration, therapy and laboratory workflows. Among these efforts, as with any other safety critical system, reliability of the workflows is a key issue. In this paper, we provide a method to enhance the reliability of real world workflows by incorporating timed compensable tasks into the workflows, and by using formal verification methods (e.g., model checking). We extend our previous work [1] with the notion of time by providing the formal semantics of Timed Compensable WorkFlow nets (CWF T -nets). We extend the graphical modeling language of Nova WorkFlow (a workflow management system currently under development) to model CWF T -nets and enhance Nova WorkFlow’s automatic translator to translate a CWF T -net into DVE, the modeling language of the distributed LTL model checker DiVinE. These enhancements provide a method for rapid (re)design and verification of timed compensable workflows. We present a real world case study for Seniors’ Care, developed through collaboration with the local health authority." @default.
- W112193273 created "2016-06-24" @default.
- W112193273 creator A5000311674 @default.
- W112193273 creator A5013451717 @default.
- W112193273 creator A5087388681 @default.
- W112193273 date "2011-01-01" @default.
- W112193273 modified "2023-09-27" @default.
- W112193273 title "Modeling and Verifying Timed Compensable Workflows and an Application to Health Care" @default.
- W112193273 cites W1501431142 @default.
- W112193273 cites W1554174780 @default.
- W112193273 cites W1587953952 @default.
- W112193273 cites W1829442761 @default.
- W112193273 cites W1830854096 @default.
- W112193273 cites W1849258967 @default.
- W112193273 cites W1881144605 @default.
- W112193273 cites W1974168649 @default.
- W112193273 cites W2020675906 @default.
- W112193273 cites W2104268928 @default.
- W112193273 cites W2135465691 @default.
- W112193273 cites W2145580394 @default.
- W112193273 cites W2172004025 @default.
- W112193273 cites W3143956724 @default.
- W112193273 cites W4233755518 @default.
- W112193273 doi "https://doi.org/10.1007/978-3-642-24431-5_18" @default.
- W112193273 hasPublicationYear "2011" @default.
- W112193273 type Work @default.
- W112193273 sameAs 112193273 @default.
- W112193273 citedByCount "5" @default.
- W112193273 countsByYear W1121932732012 @default.
- W112193273 countsByYear W1121932732022 @default.
- W112193273 crossrefType "book-chapter" @default.
- W112193273 hasAuthorship W112193273A5000311674 @default.
- W112193273 hasAuthorship W112193273A5013451717 @default.
- W112193273 hasAuthorship W112193273A5087388681 @default.
- W112193273 hasConcept C110251889 @default.
- W112193273 hasConcept C111498074 @default.
- W112193273 hasConcept C115903868 @default.
- W112193273 hasConcept C116253237 @default.
- W112193273 hasConcept C121332964 @default.
- W112193273 hasConcept C140824633 @default.
- W112193273 hasConcept C163258240 @default.
- W112193273 hasConcept C177212765 @default.
- W112193273 hasConcept C184337299 @default.
- W112193273 hasConcept C199360897 @default.
- W112193273 hasConcept C38677869 @default.
- W112193273 hasConcept C41008148 @default.
- W112193273 hasConcept C43214815 @default.
- W112193273 hasConcept C62520636 @default.
- W112193273 hasConcept C77088390 @default.
- W112193273 hasConceptScore W112193273C110251889 @default.
- W112193273 hasConceptScore W112193273C111498074 @default.
- W112193273 hasConceptScore W112193273C115903868 @default.
- W112193273 hasConceptScore W112193273C116253237 @default.
- W112193273 hasConceptScore W112193273C121332964 @default.
- W112193273 hasConceptScore W112193273C140824633 @default.
- W112193273 hasConceptScore W112193273C163258240 @default.
- W112193273 hasConceptScore W112193273C177212765 @default.
- W112193273 hasConceptScore W112193273C184337299 @default.
- W112193273 hasConceptScore W112193273C199360897 @default.
- W112193273 hasConceptScore W112193273C38677869 @default.
- W112193273 hasConceptScore W112193273C41008148 @default.
- W112193273 hasConceptScore W112193273C43214815 @default.
- W112193273 hasConceptScore W112193273C62520636 @default.
- W112193273 hasConceptScore W112193273C77088390 @default.
- W112193273 hasLocation W1121932731 @default.
- W112193273 hasOpenAccess W112193273 @default.
- W112193273 hasPrimaryLocation W1121932731 @default.
- W112193273 hasRelatedWork W1624761216 @default.
- W112193273 hasRelatedWork W1638774901 @default.
- W112193273 hasRelatedWork W2156223462 @default.
- W112193273 hasRelatedWork W2335507129 @default.
- W112193273 hasRelatedWork W2349796444 @default.
- W112193273 hasRelatedWork W2356882977 @default.
- W112193273 hasRelatedWork W2357486378 @default.
- W112193273 hasRelatedWork W2371193396 @default.
- W112193273 hasRelatedWork W2375064231 @default.
- W112193273 hasRelatedWork W2387645133 @default.
- W112193273 isParatext "false" @default.
- W112193273 isRetracted "false" @default.
- W112193273 magId "112193273" @default.
- W112193273 workType "book-chapter" @default.