Des cas d'utilisation à une spécification B
Identifieur interne : 000868 ( PascalFrancis/Checkpoint ); précédent : 000867; suivant : 000869Des cas d'utilisation à une spécification B
Auteurs : Hung Ledang [France]Source :
Descripteurs français
- Pascal (Inist)
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égrér la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.
Affiliations:
Links toward previous steps (curation, corpus...)
Links to Exploration step
Pascal:02-0580262Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">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><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA, Université Nancy 2, UMR 7503 Campus scientifique, BP 239</s1><s2>54506 Vandoeuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Nancy 2</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">INIST</idno><idno type="inist">02-0580262</idno><date when="2001">2001</date><idno type="stanalyst">PASCAL 02-0580262 INIST</idno><idno type="RBID">Pascal:02-0580262</idno><idno type="wicri:Area/PascalFrancis/Corpus">000845</idno><idno type="wicri:Area/PascalFrancis/Curation">000207</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000868</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000868</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">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><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>LORIA, Université Nancy 2, UMR 7503 Campus scientifique, BP 239</s1><s2>54506 Vandoeuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Nancy 2</orgName></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Abstract machine</term><term>Access control</term><term>Coherence</term><term>Elicitation</term><term>Formal verification</term><term>Implementation</term><term>Software development</term><term>Structuration</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Machine abstraite</term><term>Cohérence</term><term>Développement logiciel</term><term>Elicitation</term><term>Implémentation</term><term>Structuration</term><term>Contrôle accès</term><term>Vérification formelle</term><term>Spécification B</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">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égrér la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.</div></front></TEI><inist><standard h6="B"><pA><fA08 i1="01" i2="1" l="FRE"><s1>Des cas d'utilisation à une spécification B</s1></fA08><fA09 i1="01" i2="1" l="FRE"><s1>AFADL'2001 : approches formelles dans l'assistance au développement de logiciels : Nancy, 11-13 juin 2001 </s1></fA09><fA11 i1="01" i2="1"><s1>LEDANG (Hung)</s1></fA11><fA14 i1="01"><s1>LORIA, Université Nancy 2, UMR 7503 Campus scientifique, BP 239</s1><s2>54506 Vandoeuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ></fA14><fA18 i1="01" i2="1"><s1>CNRS. Laboratoire lorrain de recherche en informatique et ses applications</s1><s2>Vandoeuvre-lès-Nancy</s2><s3>FRA</s3><s9>patr.</s9></fA18><fA18 i1="02" i2="1"><s1>Groupe ADER</s1><s3>FRA</s3><s9>patr.</s9></fA18><fA20><s1>131-140</s1></fA20><fA21><s1>2001</s1></fA21><fA23 i1="01"><s0>FRE</s0></fA23><fA30 i1="01" i2="1" l="FRE"><s1>Approches formelles dans l'assistance au développement de logiciels. Atelier</s1><s2>4</s2><s3>Nancy FRA</s3><s4>2001-06-11</s4></fA30><fA43 i1="01"><s1>INIST</s1><s2>Y 34089</s2><s5>354000108428710090</s5></fA43><fA44><s0>0000</s0><s1>© 2002 INIST-CNRS. All rights reserved.</s1></fA44><fA45><s0>18 ref.</s0></fA45><fA47 i1="01" i2="1"><s0>02-0580262</s0></fA47><fA60><s1>C</s1></fA60><fA61><s0>A</s0></fA61><fA66 i1="01"><s0>FRA</s0></fA66><fA68 i1="01" i2="1" l="ENG"><s1>Uses case at B specification</s1></fA68><fC01 i1="01" l="FRE"><s0>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égrér la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.</s0></fC01><fC02 i1="01" i2="X"><s0>001D02B09</s0></fC02><fC02 i1="02" i2="X"><s0>001D02A03</s0></fC02><fC03 i1="01" i2="X" l="FRE"><s0>Machine abstraite</s0><s5>01</s5></fC03><fC03 i1="01" i2="X" l="ENG"><s0>Abstract machine</s0><s5>01</s5></fC03><fC03 i1="01" i2="X" l="SPA"><s0>Máquina abstracta</s0><s5>01</s5></fC03><fC03 i1="02" i2="X" l="FRE"><s0>Cohérence</s0><s5>02</s5></fC03><fC03 i1="02" i2="X" l="ENG"><s0>Coherence</s0><s5>02</s5></fC03><fC03 i1="02" i2="X" l="SPA"><s0>Coherencia</s0><s5>02</s5></fC03><fC03 i1="03" i2="X" l="FRE"><s0>Développement logiciel</s0><s5>03</s5></fC03><fC03 i1="03" i2="X" l="ENG"><s0>Software development</s0><s5>03</s5></fC03><fC03 i1="03" i2="X" l="SPA"><s0>Desarrollo logicial</s0><s5>03</s5></fC03><fC03 i1="04" i2="X" l="FRE"><s0>Elicitation</s0><s5>04</s5></fC03><fC03 i1="04" i2="X" l="ENG"><s0>Elicitation</s0><s5>04</s5></fC03><fC03 i1="04" i2="X" l="SPA"><s0>Elicitación</s0><s5>04</s5></fC03><fC03 i1="05" i2="X" l="FRE"><s0>Implémentation</s0><s5>05</s5></fC03><fC03 i1="05" i2="X" l="ENG"><s0>Implementation</s0><s5>05</s5></fC03><fC03 i1="05" i2="X" l="SPA"><s0>Ejecución</s0><s5>05</s5></fC03><fC03 i1="06" i2="X" l="FRE"><s0>Structuration</s0><s5>06</s5></fC03><fC03 i1="06" i2="X" l="ENG"><s0>Structuration</s0><s5>06</s5></fC03><fC03 i1="06" i2="X" l="SPA"><s0>Estructuración</s0><s5>06</s5></fC03><fC03 i1="07" i2="3" l="FRE"><s0>Contrôle accès</s0><s5>07</s5></fC03><fC03 i1="07" i2="3" l="ENG"><s0>Access control</s0><s5>07</s5></fC03><fC03 i1="08" i2="3" l="FRE"><s0>Vérification formelle</s0><s5>08</s5></fC03><fC03 i1="08" i2="3" l="ENG"><s0>Formal verification</s0><s5>08</s5></fC03><fC03 i1="09" i2="X" l="FRE"><s0>Spécification B</s0><s4>INC</s4><s5>82</s5></fC03><fN21><s1>343</s1></fN21><fN82><s1>PSI</s1></fN82></pA></standard></inist><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Vandœuvre-lès-Nancy</li></settlement><orgName><li>Université Nancy 2</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Ledang, Hung" sort="Ledang, Hung" uniqKey="Ledang H" first="Hung" last="Ledang">Hung Ledang</name></region></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000868 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd -nk 000868 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Checkpoint
|type= RBID
|clé= Pascal:02-0580262
|texte= Des cas d'utilisation à une spécification B
}}
| This area was generated with Dilib version V0.6.33. |  |