Matches in SemOpenAlex for { <https://semopenalex.org/work/W2059177580> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2059177580 endingPage "377" @default.
- W2059177580 startingPage "363" @default.
- W2059177580 abstract "Dynamic evolution inherently involves dynamic update and the issue of its atomicity. We show how this issue can be addressed in a similar manner to a communication failure via an extension to behavior protocols. First, we discuss the problem of defining a composition operator for behavior protocols so as to be able to reflect communication failures. Classical architecture description languages (ADLs) supporting behavior description, such as Wright and TRACTA, use a CSP-like parallel composition, which inherently yields only ‘successful traces’ ignoring non-accepted communication attempts. We show that component composition can produce several different types of behavior errors: bad activity, no activity, and divergence. The key idea behind bad activity is that real programs typically have an asymmetry of roles during event exchange: the caller is considered to be the initiator of the call while the callee has only a passive role. This contrasts with most formal systems, which treat communication symmetrically. We propose a new composition operator, ‘consent’, which reflects these types of errors by producing erroneous traces. By using the consent operator it can be statically determined whether the atomicity of a dynamic update of a component is implicitly guaranteed by the behavior of its current environment. Copyright © 2005 John Wiley & Sons, Ltd." @default.
- W2059177580 created "2016-06-24" @default.
- W2059177580 creator A5038462111 @default.
- W2059177580 creator A5056797176 @default.
- W2059177580 date "2005-01-01" @default.
- W2059177580 modified "2023-10-17" @default.
- W2059177580 title "Component composition errors and update atomicity: static analysis" @default.
- W2059177580 cites W1523525039 @default.
- W2059177580 cites W1545438004 @default.
- W2059177580 cites W1572988071 @default.
- W2059177580 cites W2013658284 @default.
- W2059177580 cites W2137948900 @default.
- W2059177580 doi "https://doi.org/10.1002/smr.321" @default.
- W2059177580 hasPublicationYear "2005" @default.
- W2059177580 type Work @default.
- W2059177580 sameAs 2059177580 @default.
- W2059177580 citedByCount "35" @default.
- W2059177580 countsByYear W20591775802012 @default.
- W2059177580 countsByYear W20591775802013 @default.
- W2059177580 countsByYear W20591775802014 @default.
- W2059177580 countsByYear W20591775802015 @default.
- W2059177580 crossrefType "journal-article" @default.
- W2059177580 hasAuthorship W2059177580A5038462111 @default.
- W2059177580 hasAuthorship W2059177580A5056797176 @default.
- W2059177580 hasConcept C104317684 @default.
- W2059177580 hasConcept C120314980 @default.
- W2059177580 hasConcept C121332964 @default.
- W2059177580 hasConcept C138885662 @default.
- W2059177580 hasConcept C158448853 @default.
- W2059177580 hasConcept C168167062 @default.
- W2059177580 hasConcept C17020691 @default.
- W2059177580 hasConcept C185592680 @default.
- W2059177580 hasConcept C188045909 @default.
- W2059177580 hasConcept C193702766 @default.
- W2059177580 hasConcept C199360897 @default.
- W2059177580 hasConcept C21513729 @default.
- W2059177580 hasConcept C2778029271 @default.
- W2059177580 hasConcept C40231798 @default.
- W2059177580 hasConcept C41008148 @default.
- W2059177580 hasConcept C41895202 @default.
- W2059177580 hasConcept C55493867 @default.
- W2059177580 hasConcept C75949130 @default.
- W2059177580 hasConcept C79013869 @default.
- W2059177580 hasConcept C80444323 @default.
- W2059177580 hasConcept C86339819 @default.
- W2059177580 hasConcept C97355855 @default.
- W2059177580 hasConceptScore W2059177580C104317684 @default.
- W2059177580 hasConceptScore W2059177580C120314980 @default.
- W2059177580 hasConceptScore W2059177580C121332964 @default.
- W2059177580 hasConceptScore W2059177580C138885662 @default.
- W2059177580 hasConceptScore W2059177580C158448853 @default.
- W2059177580 hasConceptScore W2059177580C168167062 @default.
- W2059177580 hasConceptScore W2059177580C17020691 @default.
- W2059177580 hasConceptScore W2059177580C185592680 @default.
- W2059177580 hasConceptScore W2059177580C188045909 @default.
- W2059177580 hasConceptScore W2059177580C193702766 @default.
- W2059177580 hasConceptScore W2059177580C199360897 @default.
- W2059177580 hasConceptScore W2059177580C21513729 @default.
- W2059177580 hasConceptScore W2059177580C2778029271 @default.
- W2059177580 hasConceptScore W2059177580C40231798 @default.
- W2059177580 hasConceptScore W2059177580C41008148 @default.
- W2059177580 hasConceptScore W2059177580C41895202 @default.
- W2059177580 hasConceptScore W2059177580C55493867 @default.
- W2059177580 hasConceptScore W2059177580C75949130 @default.
- W2059177580 hasConceptScore W2059177580C79013869 @default.
- W2059177580 hasConceptScore W2059177580C80444323 @default.
- W2059177580 hasConceptScore W2059177580C86339819 @default.
- W2059177580 hasConceptScore W2059177580C97355855 @default.
- W2059177580 hasIssue "5" @default.
- W2059177580 hasLocation W20591775801 @default.
- W2059177580 hasOpenAccess W2059177580 @default.
- W2059177580 hasPrimaryLocation W20591775801 @default.
- W2059177580 hasRelatedWork W135928233 @default.
- W2059177580 hasRelatedWork W1575737181 @default.
- W2059177580 hasRelatedWork W1581214603 @default.
- W2059177580 hasRelatedWork W1800397244 @default.
- W2059177580 hasRelatedWork W2023785576 @default.
- W2059177580 hasRelatedWork W2379533788 @default.
- W2059177580 hasRelatedWork W2384193616 @default.
- W2059177580 hasRelatedWork W2900763005 @default.
- W2059177580 hasRelatedWork W3139576051 @default.
- W2059177580 hasRelatedWork W4244828400 @default.
- W2059177580 hasVolume "17" @default.
- W2059177580 isParatext "false" @default.
- W2059177580 isRetracted "false" @default.
- W2059177580 magId "2059177580" @default.
- W2059177580 workType "article" @default.