Des cas d'utilisation à une spécification B
Identifieur interne : 009951 ( Main/Merge ); précédent : 009950; suivant : 009952Des 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.
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 000845
- to stream PascalFrancis, to step Curation: 000207
- to stream PascalFrancis, to step Checkpoint: 000868
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>
<idno type="wicri:Area/Main/Merge">009951</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>
<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/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 009951 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009951 | 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é= Pascal:02-0580262 |texte= Des cas d'utilisation à une spécification B }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |