Matches in SemOpenAlex for { <https://semopenalex.org/work/W31703079> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W31703079 endingPage "552" @default.
- W31703079 startingPage "543" @default.
- W31703079 abstract "An extension of earlier work on component compatibility is described in this paper. Similarly as before, the behavior of components is specified by component interface languages, and the shuffle operation is introduced to represent possible interleavings of service requests that originate at several concurrent components. The paper shows that the verification of component compatibility is possible without the exhaustive analysis of the state space of interacting components. Exhaustive analysis of state spaces was the basis of earlier approaches to compatibility verification.Keywordssoftware componentscomponent-based systemscomponent compositioncomponent compatibilitycompatibility verificationshuffle operationlabelled Petri nets" @default.
- W31703079 created "2016-06-24" @default.
- W31703079 creator A5037486421 @default.
- W31703079 date "2013-01-01" @default.
- W31703079 modified "2023-09-26" @default.
- W31703079 title "Shuffle–Based Verification of Component Compatibility" @default.
- W31703079 cites W144126780 @default.
- W31703079 cites W1521076754 @default.
- W31703079 cites W1592189080 @default.
- W31703079 cites W1594380366 @default.
- W31703079 cites W183299659 @default.
- W31703079 cites W1968898611 @default.
- W31703079 cites W1975255815 @default.
- W31703079 cites W1996109622 @default.
- W31703079 cites W2124942057 @default.
- W31703079 cites W2129171031 @default.
- W31703079 cites W2139935101 @default.
- W31703079 cites W4253103663 @default.
- W31703079 cites W68184553 @default.
- W31703079 cites W1538262 @default.
- W31703079 doi "https://doi.org/10.1007/978-3-319-00945-2_50" @default.
- W31703079 hasPublicationYear "2013" @default.
- W31703079 type Work @default.
- W31703079 sameAs 31703079 @default.
- W31703079 citedByCount "0" @default.
- W31703079 crossrefType "book-chapter" @default.
- W31703079 hasAuthorship W31703079A5037486421 @default.
- W31703079 hasBestOaLocation W317030792 @default.
- W31703079 hasConcept C111919701 @default.
- W31703079 hasConcept C120314980 @default.
- W31703079 hasConcept C121332964 @default.
- W31703079 hasConcept C127413603 @default.
- W31703079 hasConcept C168167062 @default.
- W31703079 hasConcept C199360897 @default.
- W31703079 hasConcept C20574231 @default.
- W31703079 hasConcept C2778648169 @default.
- W31703079 hasConcept C38677869 @default.
- W31703079 hasConcept C41008148 @default.
- W31703079 hasConcept C42360764 @default.
- W31703079 hasConcept C80444323 @default.
- W31703079 hasConcept C97355855 @default.
- W31703079 hasConceptScore W31703079C111919701 @default.
- W31703079 hasConceptScore W31703079C120314980 @default.
- W31703079 hasConceptScore W31703079C121332964 @default.
- W31703079 hasConceptScore W31703079C127413603 @default.
- W31703079 hasConceptScore W31703079C168167062 @default.
- W31703079 hasConceptScore W31703079C199360897 @default.
- W31703079 hasConceptScore W31703079C20574231 @default.
- W31703079 hasConceptScore W31703079C2778648169 @default.
- W31703079 hasConceptScore W31703079C38677869 @default.
- W31703079 hasConceptScore W31703079C41008148 @default.
- W31703079 hasConceptScore W31703079C42360764 @default.
- W31703079 hasConceptScore W31703079C80444323 @default.
- W31703079 hasConceptScore W31703079C97355855 @default.
- W31703079 hasLocation W317030791 @default.
- W31703079 hasLocation W317030792 @default.
- W31703079 hasOpenAccess W31703079 @default.
- W31703079 hasPrimaryLocation W317030791 @default.
- W31703079 hasRelatedWork W1900078469 @default.
- W31703079 hasRelatedWork W1994496817 @default.
- W31703079 hasRelatedWork W2100800009 @default.
- W31703079 hasRelatedWork W2117397158 @default.
- W31703079 hasRelatedWork W2133235507 @default.
- W31703079 hasRelatedWork W2133587696 @default.
- W31703079 hasRelatedWork W2183504987 @default.
- W31703079 hasRelatedWork W2363791375 @default.
- W31703079 hasRelatedWork W3043221415 @default.
- W31703079 hasRelatedWork W581634188 @default.
- W31703079 isParatext "false" @default.
- W31703079 isRetracted "false" @default.
- W31703079 magId "31703079" @default.
- W31703079 workType "book-chapter" @default.