Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386321379> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4386321379 endingPage "89" @default.
- W4386321379 startingPage "73" @default.
- W4386321379 abstract "Choreographic models express coordination between business roles, in contrast to standard process models that merge local control flow and communication between parties. A choreography is realizable, also known as endpoint projectable, if the independent behaviour of each role in composition with other roles, only behaves exactly in the same way as described in the choreography. We introduce a novel choreographic language expressing safety and liveness properties, incorporating multi-perspective constraints in communication flows, data, and time. This language builds upon recent developments in declarative choreographies using the Dynamic Condition Response (DCR) graph formalism and extends it to accommodate data and time. The interaction between multiple dimensions can render models unrealizable, so we determine the conditions required for realizability through causal relationships within multi-perspective declarative choreographies. This way, realizable choreographies are guaranteed freedom of conflicts in the message exchanges that otherwise can lead to deadlocks." @default.
- W4386321379 created "2023-09-01" @default.
- W4386321379 creator A5075575926 @default.
- W4386321379 creator A5082171323 @default.
- W4386321379 creator A5087594010 @default.
- W4386321379 date "2023-01-01" @default.
- W4386321379 modified "2023-09-27" @default.
- W4386321379 title "Declarative Choreographies with Time and Data" @default.
- W4386321379 cites W1476814706 @default.
- W4386321379 cites W1526751176 @default.
- W4386321379 cites W1559962185 @default.
- W4386321379 cites W1863982457 @default.
- W4386321379 cites W2109282045 @default.
- W4386321379 cites W2134106518 @default.
- W4386321379 cites W2797038171 @default.
- W4386321379 cites W2925869698 @default.
- W4386321379 cites W2948961668 @default.
- W4386321379 cites W2953809088 @default.
- W4386321379 cites W2969957947 @default.
- W4386321379 cites W2982468634 @default.
- W4386321379 cites W3137147402 @default.
- W4386321379 cites W4206912821 @default.
- W4386321379 cites W4294837594 @default.
- W4386321379 doi "https://doi.org/10.1007/978-3-031-41623-1_5" @default.
- W4386321379 hasPublicationYear "2023" @default.
- W4386321379 type Work @default.
- W4386321379 citedByCount "0" @default.
- W4386321379 crossrefType "book-chapter" @default.
- W4386321379 hasAuthorship W4386321379A5075575926 @default.
- W4386321379 hasAuthorship W4386321379A5082171323 @default.
- W4386321379 hasAuthorship W4386321379A5087594010 @default.
- W4386321379 hasConcept C120314980 @default.
- W4386321379 hasConcept C124952713 @default.
- W4386321379 hasConcept C142362112 @default.
- W4386321379 hasConcept C147446459 @default.
- W4386321379 hasConcept C153349607 @default.
- W4386321379 hasConcept C15569618 @default.
- W4386321379 hasConcept C160191386 @default.
- W4386321379 hasConcept C173608175 @default.
- W4386321379 hasConcept C183920142 @default.
- W4386321379 hasConcept C197129107 @default.
- W4386321379 hasConcept C199360897 @default.
- W4386321379 hasConcept C2776378722 @default.
- W4386321379 hasConcept C41008148 @default.
- W4386321379 hasConcept C558565934 @default.
- W4386321379 hasConcept C73301696 @default.
- W4386321379 hasConcept C80444323 @default.
- W4386321379 hasConcept C96324660 @default.
- W4386321379 hasConceptScore W4386321379C120314980 @default.
- W4386321379 hasConceptScore W4386321379C124952713 @default.
- W4386321379 hasConceptScore W4386321379C142362112 @default.
- W4386321379 hasConceptScore W4386321379C147446459 @default.
- W4386321379 hasConceptScore W4386321379C153349607 @default.
- W4386321379 hasConceptScore W4386321379C15569618 @default.
- W4386321379 hasConceptScore W4386321379C160191386 @default.
- W4386321379 hasConceptScore W4386321379C173608175 @default.
- W4386321379 hasConceptScore W4386321379C183920142 @default.
- W4386321379 hasConceptScore W4386321379C197129107 @default.
- W4386321379 hasConceptScore W4386321379C199360897 @default.
- W4386321379 hasConceptScore W4386321379C2776378722 @default.
- W4386321379 hasConceptScore W4386321379C41008148 @default.
- W4386321379 hasConceptScore W4386321379C558565934 @default.
- W4386321379 hasConceptScore W4386321379C73301696 @default.
- W4386321379 hasConceptScore W4386321379C80444323 @default.
- W4386321379 hasConceptScore W4386321379C96324660 @default.
- W4386321379 hasLocation W43863213791 @default.
- W4386321379 hasOpenAccess W4386321379 @default.
- W4386321379 hasPrimaryLocation W43863213791 @default.
- W4386321379 hasRelatedWork W1518535918 @default.
- W4386321379 hasRelatedWork W1711517904 @default.
- W4386321379 hasRelatedWork W2005710769 @default.
- W4386321379 hasRelatedWork W2056893810 @default.
- W4386321379 hasRelatedWork W2135654257 @default.
- W4386321379 hasRelatedWork W2156783651 @default.
- W4386321379 hasRelatedWork W2765376419 @default.
- W4386321379 hasRelatedWork W3205626426 @default.
- W4386321379 hasRelatedWork W4229928981 @default.
- W4386321379 hasRelatedWork W4386321379 @default.
- W4386321379 isParatext "false" @default.
- W4386321379 isRetracted "false" @default.
- W4386321379 workType "book-chapter" @default.