Matches in SemOpenAlex for { <https://semopenalex.org/work/W648549061> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W648549061 abstract "A general framework is presented for studying the implementation process, which is considered as a stepwise process in which an abstract specification is successively transformed to reach a final compilable specification well-adapted to a target environment. In this context, an implementation relation is referred to as a relation which should link any valid implementation to its abstract formal specification. In other words, the implementation relation is intended to express formally the notion of validity. The general framework presented here allows the exact characterization of the transformations which are allowed at each step, for a given implementation relation. This framework is essential when the implementation relation is non-transitive. In the second part of the paper, several relations which may play the role of an implementation relation are presented : conf, red and ext. Then, for each one, the corresponding allowed transformations are characterized. These results also lead naturally to a new relation, denoted conf*, which may also be used as an implementation relation. Finally, we show that these ideas on the implementation process may be extended to study the formal link which should hold between a protocol and a service. MOTS-CLES/KEYWORDS. LOTOS, relation d'implementation, raffinement, processus d'implementation, transformation, conformite, specification, implementation, abstraction, FDT, algebre de processus, implementation relation, refinement, implementation process, conformance, specification, implementation, process algebra." @default.
- W648549061 created "2016-06-24" @default.
- W648549061 creator A5072414881 @default.
- W648549061 date "1991-01-01" @default.
- W648549061 modified "2023-09-27" @default.
- W648549061 title "Relations d'implémentation et transformations autorisées d'une spécification LOTOS" @default.
- W648549061 cites W1427188165 @default.
- W648549061 cites W1503973138 @default.
- W648549061 cites W1557828026 @default.
- W648549061 cites W1593905218 @default.
- W648549061 cites W1857327297 @default.
- W648549061 cites W189601394 @default.
- W648549061 cites W2000302396 @default.
- W648549061 cites W2039853888 @default.
- W648549061 cites W2086070079 @default.
- W648549061 cites W2098981343 @default.
- W648549061 cites W2121372686 @default.
- W648549061 cites W2157144873 @default.
- W648549061 cites W2158942489 @default.
- W648549061 cites W2293575185 @default.
- W648549061 cites W2488585569 @default.
- W648549061 cites W2914011863 @default.
- W648549061 cites W3144368627 @default.
- W648549061 cites W1741066134 @default.
- W648549061 hasPublicationYear "1991" @default.
- W648549061 type Work @default.
- W648549061 sameAs 648549061 @default.
- W648549061 citedByCount "0" @default.
- W648549061 crossrefType "journal-article" @default.
- W648549061 hasAuthorship W648549061A5072414881 @default.
- W648549061 hasConcept C104317684 @default.
- W648549061 hasConcept C111472728 @default.
- W648549061 hasConcept C114614502 @default.
- W648549061 hasConcept C116253237 @default.
- W648549061 hasConcept C124304363 @default.
- W648549061 hasConcept C136119220 @default.
- W648549061 hasConcept C138885662 @default.
- W648549061 hasConcept C151730666 @default.
- W648549061 hasConcept C161771561 @default.
- W648549061 hasConcept C185592680 @default.
- W648549061 hasConcept C191399111 @default.
- W648549061 hasConcept C199360897 @default.
- W648549061 hasConcept C202444582 @default.
- W648549061 hasConcept C204241405 @default.
- W648549061 hasConcept C25343380 @default.
- W648549061 hasConcept C2779343474 @default.
- W648549061 hasConcept C33923547 @default.
- W648549061 hasConcept C41008148 @default.
- W648549061 hasConcept C55493867 @default.
- W648549061 hasConcept C77088390 @default.
- W648549061 hasConcept C80444323 @default.
- W648549061 hasConcept C86803240 @default.
- W648549061 hasConcept C98045186 @default.
- W648549061 hasConceptScore W648549061C104317684 @default.
- W648549061 hasConceptScore W648549061C111472728 @default.
- W648549061 hasConceptScore W648549061C114614502 @default.
- W648549061 hasConceptScore W648549061C116253237 @default.
- W648549061 hasConceptScore W648549061C124304363 @default.
- W648549061 hasConceptScore W648549061C136119220 @default.
- W648549061 hasConceptScore W648549061C138885662 @default.
- W648549061 hasConceptScore W648549061C151730666 @default.
- W648549061 hasConceptScore W648549061C161771561 @default.
- W648549061 hasConceptScore W648549061C185592680 @default.
- W648549061 hasConceptScore W648549061C191399111 @default.
- W648549061 hasConceptScore W648549061C199360897 @default.
- W648549061 hasConceptScore W648549061C202444582 @default.
- W648549061 hasConceptScore W648549061C204241405 @default.
- W648549061 hasConceptScore W648549061C25343380 @default.
- W648549061 hasConceptScore W648549061C2779343474 @default.
- W648549061 hasConceptScore W648549061C33923547 @default.
- W648549061 hasConceptScore W648549061C41008148 @default.
- W648549061 hasConceptScore W648549061C55493867 @default.
- W648549061 hasConceptScore W648549061C77088390 @default.
- W648549061 hasConceptScore W648549061C80444323 @default.
- W648549061 hasConceptScore W648549061C86803240 @default.
- W648549061 hasConceptScore W648549061C98045186 @default.
- W648549061 hasLocation W6485490611 @default.
- W648549061 hasOpenAccess W648549061 @default.
- W648549061 hasPrimaryLocation W6485490611 @default.
- W648549061 hasVolume "1" @default.
- W648549061 isParatext "false" @default.
- W648549061 isRetracted "false" @default.
- W648549061 magId "648549061" @default.
- W648549061 workType "article" @default.