Utilisation de patterns dans la construction de specifications en UML et B
Identifieur interne : 00A108 ( Main/Merge ); précédent : 00A107; suivant : 00A109Utilisation de patterns dans la construction de specifications en UML et B
Auteurs : Rafael Marcano Kamenoff ; Eric Meyer ; Nicole Levy ; Jeanine SouquièresSource :
English descriptors
- KwdEn :
Abstract
Il existe aujourd'hui deux grandes familles d'approches pour la modélisation de systèmes : (i) les approches semi-formelles à objets telles que UML et (ii) les approches formelles fondées sur des sémantiques algébriques ou ensemblistes telles que B. Ces deux approches sont complémentaires. Indépendamment des approches ou des langages, une technique qui mémorise un savoir-faire a été proposée pour la modélisation des systèmes : les patterns. Nous proposons d'utiliser les patterns pour spécifier des systèmes conjointement en UML et en B et illustrons notre démarche par le développement de l'étude de cas du contrôle d'accès.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002908
- to stream Crin, to step Curation: 002908
- to stream Crin, to step Checkpoint: 001A74
Links to Exploration step
CRIN:marcano00aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="278">Utilisation de patterns dans la construction de specifications en UML et B</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:marcano00a</idno>
<date when="2000" year="2000">2000</date>
<idno type="wicri:Area/Crin/Corpus">002908</idno>
<idno type="wicri:Area/Crin/Curation">002908</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002908</idno>
<idno type="wicri:Area/Crin/Checkpoint">001A74</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001A74</idno>
<idno type="wicri:Area/Main/Merge">00A108</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Utilisation de patterns dans la construction de specifications en UML et B</title>
<author><name sortKey="Marcano Kamenoff, Rafael" sort="Marcano Kamenoff, Rafael" uniqKey="Marcano Kamenoff R" first="Rafael" last="Marcano Kamenoff">Rafael Marcano Kamenoff</name>
</author>
<author><name sortKey="Meyer, Eric" sort="Meyer, Eric" uniqKey="Meyer E" first="Eric" last="Meyer">Eric Meyer</name>
</author>
<author><name sortKey="Levy, Nicole" sort="Levy, Nicole" uniqKey="Levy N" first="Nicole" last="Levy">Nicole Levy</name>
</author>
<author><name sortKey="Souquieres, Jeanine" sort="Souquieres, Jeanine" uniqKey="Souquieres J" first="Jeanine" last="Souquières">Jeanine Souquières</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>b</term>
<term>formal specification</term>
<term>pattern</term>
<term>uml</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-2534">Il existe aujourd'hui deux grandes familles d'approches pour la modélisation de systèmes : (i) les approches semi-formelles à objets telles que UML et (ii) les approches formelles fondées sur des sémantiques algébriques ou ensemblistes telles que B. Ces deux approches sont complémentaires. Indépendamment des approches ou des langages, une technique qui mémorise un savoir-faire a été proposée pour la modélisation des systèmes : les patterns. Nous proposons d'utiliser les patterns pour spécifier des systèmes conjointement en UML et en B et illustrons notre démarche par le développement de l'étude de cas du contrôle d'accès.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A108 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00A108 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:marcano00a |texte= Utilisation de patterns dans la construction de specifications en UML et B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |