Des cas d'utilisation à une spécification B
Identifieur interne : 009357 ( Main/Merge ); précédent : 009356; suivant : 009358Des cas d'utilisation à une spécification B
Auteurs : Hung LedangSource :
English descriptors
- KwdEn :
Abstract
Cet article présente une approche pour développer une spécification B à partir d'un modèle des cas d'utilisation d'un système à construire. En exploitant la structuration du modèle des cas d'utilisation ainsi que sa complémentarité avec le modèle des classes du domaine d'application du même système, on propose de construire des machines abstraites B dont les opérations modélisent les cas d'utilisation ; la spécification B pour un modèle des cas d'utilisation se compose des machines abstraites et l'implémentation correspondante pour les cas d'utilisation ainsi que les machines abstraites pour les classes et leurs associations. Notre proposition a un double avantage : d'une part, elle fournit un cadre pour analyser formellement la cohérence du modèle des besoins produit dans un processus de développement par objets ; d'autre part, elle permet d'intégrer la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002F84
- to stream Crin, to step Curation: 002F84
- to stream Crin, to step Checkpoint: 001452
Links to Exploration step
CRIN:ledang01gLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="83">Des cas d'utilisation à une spécification B</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:ledang01g</idno>
<date when="2001" year="2001">2001</date>
<idno type="wicri:Area/Crin/Corpus">002F84</idno>
<idno type="wicri:Area/Crin/Curation">002F84</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002F84</idno>
<idno type="wicri:Area/Crin/Checkpoint">001452</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001452</idno>
<idno type="wicri:Area/Main/Merge">009357</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Des cas d'utilisation à une spécification B</title>
<author><name sortKey="Ledang, Hung" sort="Ledang, Hung" uniqKey="Ledang H" first="Hung" last="Ledang">Hung Ledang</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>abstract machine</term>
<term>b operation</term>
<term>b specification</term>
<term>use case</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-1313">Cet article présente une approche pour développer une spécification B à partir d'un modèle des cas d'utilisation d'un système à construire. En exploitant la structuration du modèle des cas d'utilisation ainsi que sa complémentarité avec le modèle des classes du domaine d'application du même système, on propose de construire des machines abstraites B dont les opérations modélisent les cas d'utilisation ; la spécification B pour un modèle des cas d'utilisation se compose des machines abstraites et l'implémentation correspondante pour les cas d'utilisation ainsi que les machines abstraites pour les classes et leurs associations. Notre proposition a un double avantage : d'une part, elle fournit un cadre pour analyser formellement la cohérence du modèle des besoins produit dans un processus de développement par objets ; d'autre part, elle permet d'intégrer la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.</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 009357 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009357 | 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:ledang01g |texte= Des cas d'utilisation à une spécification B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |