Matches in SemOpenAlex for { <https://semopenalex.org/work/W34574184> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W34574184 abstract "The problem of component reuse is studied at a behavioral level rather than at a signature level. We address the behavioral reuse of a component by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system, this operation computes the residual specification characteristic of the systems that, when composed with the given component, satisfy the overall specification. We first define a quotient operation when behaviors are given by modal specifications and when the composition is the synchronous product. This work is then extended to acceptance specifications to deal with weak form of liveness properties. We also define a quotient operation when composition allows mixed product and internalization of events. As a result the synthesized system may restrict the behavior of the reused component and also directly contribute to the realization of the global specification." @default.
- W34574184 created "2016-06-24" @default.
- W34574184 creator A5031067225 @default.
- W34574184 date "2007-01-01" @default.
- W34574184 modified "2023-09-25" @default.
- W34574184 title "Quotient de spécifications pour la réutilisation de composants" @default.
- W34574184 hasPublicationYear "2007" @default.
- W34574184 type Work @default.
- W34574184 sameAs 34574184 @default.
- W34574184 citedByCount "5" @default.
- W34574184 countsByYear W345741842014 @default.
- W34574184 countsByYear W345741842015 @default.
- W34574184 countsByYear W345741842018 @default.
- W34574184 countsByYear W345741842020 @default.
- W34574184 crossrefType "dissertation" @default.
- W34574184 hasAuthorship W34574184A5031067225 @default.
- W34574184 hasConcept C105795698 @default.
- W34574184 hasConcept C121332964 @default.
- W34574184 hasConcept C127413603 @default.
- W34574184 hasConcept C15569618 @default.
- W34574184 hasConcept C168167062 @default.
- W34574184 hasConcept C199360897 @default.
- W34574184 hasConcept C199422724 @default.
- W34574184 hasConcept C202444582 @default.
- W34574184 hasConcept C206588197 @default.
- W34574184 hasConcept C2524010 @default.
- W34574184 hasConcept C2781089630 @default.
- W34574184 hasConcept C33923547 @default.
- W34574184 hasConcept C41008148 @default.
- W34574184 hasConcept C548081761 @default.
- W34574184 hasConcept C90673727 @default.
- W34574184 hasConcept C97355855 @default.
- W34574184 hasConceptScore W34574184C105795698 @default.
- W34574184 hasConceptScore W34574184C121332964 @default.
- W34574184 hasConceptScore W34574184C127413603 @default.
- W34574184 hasConceptScore W34574184C15569618 @default.
- W34574184 hasConceptScore W34574184C168167062 @default.
- W34574184 hasConceptScore W34574184C199360897 @default.
- W34574184 hasConceptScore W34574184C199422724 @default.
- W34574184 hasConceptScore W34574184C202444582 @default.
- W34574184 hasConceptScore W34574184C206588197 @default.
- W34574184 hasConceptScore W34574184C2524010 @default.
- W34574184 hasConceptScore W34574184C2781089630 @default.
- W34574184 hasConceptScore W34574184C33923547 @default.
- W34574184 hasConceptScore W34574184C41008148 @default.
- W34574184 hasConceptScore W34574184C548081761 @default.
- W34574184 hasConceptScore W34574184C90673727 @default.
- W34574184 hasConceptScore W34574184C97355855 @default.
- W34574184 hasLocation W345741841 @default.
- W34574184 hasOpenAccess W34574184 @default.
- W34574184 hasPrimaryLocation W345741841 @default.
- W34574184 hasRelatedWork W1498342204 @default.
- W34574184 hasRelatedWork W1532739430 @default.
- W34574184 hasRelatedWork W1532760414 @default.
- W34574184 hasRelatedWork W1557653052 @default.
- W34574184 hasRelatedWork W1564626116 @default.
- W34574184 hasRelatedWork W1588015963 @default.
- W34574184 hasRelatedWork W1606443439 @default.
- W34574184 hasRelatedWork W1667182944 @default.
- W34574184 hasRelatedWork W1890744503 @default.
- W34574184 hasRelatedWork W1959890433 @default.
- W34574184 hasRelatedWork W2033978538 @default.
- W34574184 hasRelatedWork W2048905609 @default.
- W34574184 hasRelatedWork W2099090794 @default.
- W34574184 hasRelatedWork W2104224153 @default.
- W34574184 hasRelatedWork W2148106163 @default.
- W34574184 hasRelatedWork W2149480831 @default.
- W34574184 hasRelatedWork W2164253200 @default.
- W34574184 hasRelatedWork W2293287097 @default.
- W34574184 hasRelatedWork W2914011863 @default.
- W34574184 hasRelatedWork W2914055623 @default.
- W34574184 isParatext "false" @default.
- W34574184 isRetracted "false" @default.
- W34574184 magId "34574184" @default.
- W34574184 workType "dissertation" @default.