InforLorV4, PascalFrancis, Curation, bibRecord, 000207

Des cas d'utilisation à une spécification B

Identifieur interne : 000207 ( PascalFrancis/Curation ); précédent : 000206; suivant : 000208

Des cas d'utilisation à une spécification B

Auteurs : Hung Ledang [France]

Source :

RBID : Pascal:02-0580262

Descripteurs français

Pascal (Inist)
- Machine abstraite, Cohérence, Développement logiciel, Elicitation, Implémentation, Structuration, Contrôle accès, Vérification formelle, Spécification B.

English descriptors

KwdEn :
- Abstract machine, Access control, Coherence, Elicitation, Formal verification, Implementation, Software development, Structuration.

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.

A08	`01`	`1`	`FRE`	`@1 Des cas d'utilisation à une spécification B`
A09	`01`	`1`	`FRE`	`@1 AFADL'2001 : approches formelles dans l'assistance au développement de logiciels : Nancy, 11-13 juin 2001`
A11	`01`	`1`		`@1 LEDANG (Hung)`
A14	`01`			`@1 LORIA, Université Nancy 2, UMR 7503 Campus scientifique, BP 239 @2 54506 Vandoeuvre-lès-Nancy @3 FRA @Z 1 aut.`
A18	`01`	`1`		`@1 CNRS. Laboratoire lorrain de recherche en informatique et ses applications @2 Vandoeuvre-lès-Nancy @3 FRA @9 patr.`
A18	`02`	`1`		`@1 Groupe ADER @3 FRA @9 patr.`
A20				`@1 131-140`
A21				`@1 2001`
A23	`01`			`@0 FRE`
A30	`01`	`1`	`FRE`	`@1 Approches formelles dans l'assistance au développement de logiciels. Atelier @2 4 @3 Nancy FRA @4 2001-06-11`
A43	`01`			`@1 INIST @2 Y 34089 @5 354000108428710090`
A44				`@0 0000 @1 © 2002 INIST-CNRS. All rights reserved.`
A45				`@0 18 ref.`
A47	`01`	`1`		`@0 02-0580262`
A60				`@1 C`
A61				`@0 A`
A66	`01`			`@0 FRA`
A68	`01`	`1`	`ENG`	`@1 Uses case at B specification`
C01	`01`		`FRE`	@0 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.
C02	`01`	`X`		`@0 001D02B09`
C02	`02`	`X`		`@0 001D02A03`
C03	`01`	`X`	`FRE`	`@0 Machine abstraite @5 01`
C03	`01`	`X`	`ENG`	`@0 Abstract machine @5 01`
C03	`01`	`X`	`SPA`	`@0 Máquina abstracta @5 01`
C03	`02`	`X`	`FRE`	`@0 Cohérence @5 02`
C03	`02`	`X`	`ENG`	`@0 Coherence @5 02`
C03	`02`	`X`	`SPA`	`@0 Coherencia @5 02`
C03	`03`	`X`	`FRE`	`@0 Développement logiciel @5 03`
C03	`03`	`X`	`ENG`	`@0 Software development @5 03`
C03	`03`	`X`	`SPA`	`@0 Desarrollo logicial @5 03`
C03	`04`	`X`	`FRE`	`@0 Elicitation @5 04`
C03	`04`	`X`	`ENG`	`@0 Elicitation @5 04`
C03	`04`	`X`	`SPA`	`@0 Elicitación @5 04`
C03	`05`	`X`	`FRE`	`@0 Implémentation @5 05`
C03	`05`	`X`	`ENG`	`@0 Implementation @5 05`
C03	`05`	`X`	`SPA`	`@0 Ejecución @5 05`
C03	`06`	`X`	`FRE`	`@0 Structuration @5 06`
C03	`06`	`X`	`ENG`	`@0 Structuration @5 06`
C03	`06`	`X`	`SPA`	`@0 Estructuración @5 06`
C03	`07`	`3`	`FRE`	`@0 Contrôle accès @5 07`
C03	`07`	`3`	`ENG`	`@0 Access control @5 07`
C03	`08`	`3`	`FRE`	`@0 Vérification formelle @5 08`
C03	`08`	`3`	`ENG`	`@0 Formal verification @5 08`
C03	`09`	`X`	`FRE`	`@0 Spécification B @4 INC @5 82`
N21				`@1 343`
N82				`@1 PSI`

Links toward previous steps (curation, corpus...)

to stream PascalFrancis, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000845

Links to Exploration step

Pascal:02-0580262

Le 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="1"><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>
</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>
</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="1"><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>
</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>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000207 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Curation/biblio.hfd -nk 000207 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Curation
   |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.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Des cas d'utilisation à une spécification B

Des cas d'utilisation à une spécification B

Source :

Descripteurs français

English descriptors

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri