Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144697821> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2144697821 abstract "Choreography models describe the communication protocols between services. Every choreography model can be considered either from a global or from a local point of view. The global model specifies a high-level view of the conversation between service components, and can be considered as being interpreted from an observer point of view. The local model is derived from the global model, and specifies the communication-relevant behavior of each component. The connection between global and local models is achieved differently by connecting observing steps with either the send steps or with the receive steps. The consistency of the global model and the local model can be assured by the local enforceability property: any behavior that the local model permits is also possible to observe in the global model. Another important property of choreography models requires the absence of inconsumable messages, i.e., any messages ready to be received may always be received. In this paper, we study the relations between local enforceability and inconsumable messages in case that the local model is obtained from the global model without modification or further constraints. As a part of the conclusions, we show that if a choreography model is free of inconsumable messages, it is also local enforceable no matter how the global model is connected with the local one. This is a desired result because the mechanical checking ofinconsumable messages is much more efficient than that of local enforceability. In case of finite state systems one can check the absence of inconsumable messages in a linear time in the size of the local model, whereas checking local enforceability has an exponential complexity." @default.
- W2144697821 created "2016-06-24" @default.
- W2144697821 creator A5003253962 @default.
- W2144697821 creator A5003799076 @default.
- W2144697821 creator A5008873419 @default.
- W2144697821 date "2009-12-01" @default.
- W2144697821 modified "2023-09-26" @default.
- W2144697821 title "Local Enforceability and Inconsumable Messages in Choreography Models" @default.
- W2144697821 cites W1503973138 @default.
- W2144697821 cites W1514339125 @default.
- W2144697821 cites W1542408231 @default.
- W2144697821 cites W1561951096 @default.
- W2144697821 cites W1597068544 @default.
- W2144697821 cites W1984691967 @default.
- W2144697821 cites W2048378052 @default.
- W2144697821 cites W2120428809 @default.
- W2144697821 cites W2148040372 @default.
- W2144697821 cites W2149191071 @default.
- W2144697821 cites W2169756566 @default.
- W2144697821 cites W2340735175 @default.
- W2144697821 cites W2754964837 @default.
- W2144697821 cites W2913459036 @default.
- W2144697821 doi "https://doi.org/10.1109/seefm.2009.12" @default.
- W2144697821 hasPublicationYear "2009" @default.
- W2144697821 type Work @default.
- W2144697821 sameAs 2144697821 @default.
- W2144697821 citedByCount "6" @default.
- W2144697821 countsByYear W21446978212012 @default.
- W2144697821 countsByYear W21446978212014 @default.
- W2144697821 crossrefType "proceedings-article" @default.
- W2144697821 hasAuthorship W2144697821A5003253962 @default.
- W2144697821 hasAuthorship W2144697821A5003799076 @default.
- W2144697821 hasAuthorship W2144697821A5008873419 @default.
- W2144697821 hasBestOaLocation W21446978212 @default.
- W2144697821 hasConcept C120314980 @default.
- W2144697821 hasConcept C121332964 @default.
- W2144697821 hasConcept C124952713 @default.
- W2144697821 hasConcept C142362112 @default.
- W2144697821 hasConcept C144024400 @default.
- W2144697821 hasConcept C147446459 @default.
- W2144697821 hasConcept C154945302 @default.
- W2144697821 hasConcept C168167062 @default.
- W2144697821 hasConcept C183920142 @default.
- W2144697821 hasConcept C2776436953 @default.
- W2144697821 hasConcept C2777200299 @default.
- W2144697821 hasConcept C41008148 @default.
- W2144697821 hasConcept C46312422 @default.
- W2144697821 hasConcept C80444323 @default.
- W2144697821 hasConcept C97355855 @default.
- W2144697821 hasConceptScore W2144697821C120314980 @default.
- W2144697821 hasConceptScore W2144697821C121332964 @default.
- W2144697821 hasConceptScore W2144697821C124952713 @default.
- W2144697821 hasConceptScore W2144697821C142362112 @default.
- W2144697821 hasConceptScore W2144697821C144024400 @default.
- W2144697821 hasConceptScore W2144697821C147446459 @default.
- W2144697821 hasConceptScore W2144697821C154945302 @default.
- W2144697821 hasConceptScore W2144697821C168167062 @default.
- W2144697821 hasConceptScore W2144697821C183920142 @default.
- W2144697821 hasConceptScore W2144697821C2776436953 @default.
- W2144697821 hasConceptScore W2144697821C2777200299 @default.
- W2144697821 hasConceptScore W2144697821C41008148 @default.
- W2144697821 hasConceptScore W2144697821C46312422 @default.
- W2144697821 hasConceptScore W2144697821C80444323 @default.
- W2144697821 hasConceptScore W2144697821C97355855 @default.
- W2144697821 hasLocation W21446978211 @default.
- W2144697821 hasLocation W21446978212 @default.
- W2144697821 hasOpenAccess W2144697821 @default.
- W2144697821 hasPrimaryLocation W21446978211 @default.
- W2144697821 hasRelatedWork W1561951096 @default.
- W2144697821 hasRelatedWork W1598920571 @default.
- W2144697821 hasRelatedWork W1889062645 @default.
- W2144697821 hasRelatedWork W1967450285 @default.
- W2144697821 hasRelatedWork W1968398423 @default.
- W2144697821 hasRelatedWork W1977621687 @default.
- W2144697821 hasRelatedWork W2044380779 @default.
- W2144697821 hasRelatedWork W2048378052 @default.
- W2144697821 hasRelatedWork W2048501714 @default.
- W2144697821 hasRelatedWork W2064969040 @default.
- W2144697821 hasRelatedWork W2072730741 @default.
- W2144697821 hasRelatedWork W2112345535 @default.
- W2144697821 hasRelatedWork W2132852411 @default.
- W2144697821 hasRelatedWork W2155432864 @default.
- W2144697821 hasRelatedWork W2162258888 @default.
- W2144697821 hasRelatedWork W2535775332 @default.
- W2144697821 hasRelatedWork W2618266106 @default.
- W2144697821 hasRelatedWork W2953290170 @default.
- W2144697821 hasRelatedWork W3018780942 @default.
- W2144697821 hasRelatedWork W2186034120 @default.
- W2144697821 isParatext "false" @default.
- W2144697821 isRetracted "false" @default.
- W2144697821 magId "2144697821" @default.
- W2144697821 workType "article" @default.