Matches in SemOpenAlex for { <https://semopenalex.org/work/W136985508> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W136985508 endingPage "141" @default.
- W136985508 startingPage "124" @default.
- W136985508 abstract "This paper proposes a new theory of multiparty session types extended with propositional assertions and symmetric sum types for modelling collaborative distributed workflows. Multiparty session types statically guarantee that workflows are type-safe and deadlock-free, facilitate automatic generation of participant-specific (“local”) workflow protocols from global descriptions, and support flexible implementation of local workflows guaranteed to be compliant with the workflow protocols. The extensions with assertions and symmetric sum types support expressing state-based (pre)conditions and consensual multiparty synchronisation, which are common in complex distributed workflows.We demonstrate the theory’s applicability to clinical practice guidelines (CPGs) by providing a prototype implementation targeting mobile healthcare applications. It compiles declarative healthcare workflows specified in a flexible spreadsheet-formatted process matrix into type-checked multiparty processes. The type-checked processes are interpreted on a server communicating with generic, stateless clients running on Android tablet computers, which addresses the pervasiveness requirements common to clinical and home healthcare scenarios. A physician has, with little prior training, successfully used the prototype to design her own healthcare workflow as a process matrix, employing instantaneous test and usage feedback from the prototype." @default.
- W136985508 created "2016-06-24" @default.
- W136985508 creator A5045204080 @default.
- W136985508 creator A5054171989 @default.
- W136985508 creator A5069048582 @default.
- W136985508 creator A5080503179 @default.
- W136985508 creator A5082171323 @default.
- W136985508 date "2013-01-01" @default.
- W136985508 modified "2023-09-25" @default.
- W136985508 title "Trustworthy Pervasive Healthcare Services via Multiparty Session Types" @default.
- W136985508 cites W108038394 @default.
- W136985508 cites W1441645061 @default.
- W136985508 cites W1480821334 @default.
- W136985508 cites W1491259661 @default.
- W136985508 cites W1551776235 @default.
- W136985508 cites W1586393325 @default.
- W136985508 cites W1611165480 @default.
- W136985508 cites W1688777878 @default.
- W136985508 cites W1971942224 @default.
- W136985508 cites W2092826572 @default.
- W136985508 cites W2109282045 @default.
- W136985508 cites W2129466958 @default.
- W136985508 cites W3008328790 @default.
- W136985508 cites W66005840 @default.
- W136985508 doi "https://doi.org/10.1007/978-3-642-39088-3_8" @default.
- W136985508 hasPublicationYear "2013" @default.
- W136985508 type Work @default.
- W136985508 sameAs 136985508 @default.
- W136985508 citedByCount "5" @default.
- W136985508 countsByYear W1369855082014 @default.
- W136985508 countsByYear W1369855082015 @default.
- W136985508 countsByYear W1369855082016 @default.
- W136985508 crossrefType "book-chapter" @default.
- W136985508 hasAuthorship W136985508A5045204080 @default.
- W136985508 hasAuthorship W136985508A5054171989 @default.
- W136985508 hasAuthorship W136985508A5069048582 @default.
- W136985508 hasAuthorship W136985508A5080503179 @default.
- W136985508 hasAuthorship W136985508A5082171323 @default.
- W136985508 hasBestOaLocation W1369855082 @default.
- W136985508 hasConcept C103613024 @default.
- W136985508 hasConcept C120314980 @default.
- W136985508 hasConcept C136764020 @default.
- W136985508 hasConcept C160735492 @default.
- W136985508 hasConcept C162324750 @default.
- W136985508 hasConcept C177212765 @default.
- W136985508 hasConcept C199360897 @default.
- W136985508 hasConcept C2779182362 @default.
- W136985508 hasConcept C41008148 @default.
- W136985508 hasConcept C48103436 @default.
- W136985508 hasConcept C50522688 @default.
- W136985508 hasConcept C77088390 @default.
- W136985508 hasConceptScore W136985508C103613024 @default.
- W136985508 hasConceptScore W136985508C120314980 @default.
- W136985508 hasConceptScore W136985508C136764020 @default.
- W136985508 hasConceptScore W136985508C160735492 @default.
- W136985508 hasConceptScore W136985508C162324750 @default.
- W136985508 hasConceptScore W136985508C177212765 @default.
- W136985508 hasConceptScore W136985508C199360897 @default.
- W136985508 hasConceptScore W136985508C2779182362 @default.
- W136985508 hasConceptScore W136985508C41008148 @default.
- W136985508 hasConceptScore W136985508C48103436 @default.
- W136985508 hasConceptScore W136985508C50522688 @default.
- W136985508 hasConceptScore W136985508C77088390 @default.
- W136985508 hasLocation W1369855081 @default.
- W136985508 hasLocation W1369855082 @default.
- W136985508 hasOpenAccess W136985508 @default.
- W136985508 hasPrimaryLocation W1369855081 @default.
- W136985508 hasRelatedWork W1767718647 @default.
- W136985508 hasRelatedWork W2078680306 @default.
- W136985508 hasRelatedWork W2112668038 @default.
- W136985508 hasRelatedWork W2348742136 @default.
- W136985508 hasRelatedWork W3087157779 @default.
- W136985508 hasRelatedWork W4231927834 @default.
- W136985508 hasRelatedWork W4290792893 @default.
- W136985508 hasRelatedWork W4306770904 @default.
- W136985508 hasRelatedWork W4312394232 @default.
- W136985508 hasRelatedWork W82864421 @default.
- W136985508 isParatext "false" @default.
- W136985508 isRetracted "false" @default.
- W136985508 magId "136985508" @default.
- W136985508 workType "book-chapter" @default.