InforLorV4, PascalFrancis, Corpus, bibRecord, 000A46

Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach

Identifieur interne : 000A46 ( PascalFrancis/Corpus ); précédent : 000A45; suivant : 000A47

Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach

Auteurs : P. Gibson ; D. Mery

Source :

Lecture notes in computer science [ 0302-9743 ] ; 2000.

RBID : Pascal:00-0316433

Descripteurs français

Pascal (Inist)
- Génie logiciel, Développement logiciel, Programmation orientée objet, Spécification programme, Spécification formelle, Vérification formelle, Télécommunication.

English descriptors

KwdEn :
- Formal specification, Formal verification, Object oriented programming, Program specification, Software development, Software engineering, Telecommunication.

Abstract

We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA⁺. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A01	`01`	`1`		`@0 0302-9743`
A05				`@2 1755`
A08	`01`	`1`	`ENG`	`@1 Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach`
A09	`01`	`1`	`ENG`	`@1 PSI'99 : perspectives of system informatics : Novosibirsk, 6-9 July 1999`
A11	`01`	`1`		`@1 GIBSON (P.)`
A11	`02`	`1`		`@1 MERY (D.)`
A12	`01`	`1`		`@1 BJRNER (Dines) @9 ed.`
A12	`02`	`1`		`@1 BROY (Manfred) @9 ed.`
A12	`03`	`1`		`@1 ZAMULIN (Alexandre V.) @9 ed.`
A14	`01`			`@1 NUI @2 Maynooth @3 IRL @Z 1 aut.`
A14	`02`			`@1 Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239 @2 54506 Vandoeuvre-lès-Nancy @3 FRA @Z 2 aut.`
A20				`@1 155-179`
A21				`@1 2000`
A23	`01`			`@0 ENG`
A26	`01`			`@0 3-540-67102-1`
A43	`01`			`@1 INIST @2 16343 @5 354000080064630140`
A44				`@0 0000 @1 © 2000 INIST-CNRS. All rights reserved.`
A45				`@0 45 ref.`
A47	`01`	`1`		`@0 00-0316433`
A60				`@1 P @2 C`
A61				`@0 A`
A64	`01`	`1`		`@0 Lecture notes in computer science`
A66	`01`			`@0 DEU`
C01	`01`		`ENG`	`@0 We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA⁺. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.`
C02	`01`	`X`		`@0 001D02B09`
C03	`01`	`X`	`FRE`	`@0 Génie logiciel @5 01`
C03	`01`	`X`	`ENG`	`@0 Software engineering @5 01`
C03	`01`	`X`	`SPA`	`@0 Ingeniería logiciel @5 01`
C03	`02`	`X`	`FRE`	`@0 Développement logiciel @5 02`
C03	`02`	`X`	`ENG`	`@0 Software development @5 02`
C03	`02`	`X`	`SPA`	`@0 Desarrollo logicial @5 02`
C03	`03`	`1`	`FRE`	`@0 Programmation orientée objet @5 03`
C03	`03`	`1`	`ENG`	`@0 Object oriented programming @5 03`
C03	`04`	`X`	`FRE`	`@0 Spécification programme @5 04`
C03	`04`	`X`	`ENG`	`@0 Program specification @5 04`
C03	`04`	`X`	`SPA`	`@0 Especificación programa @5 04`
C03	`05`	`X`	`FRE`	`@0 Spécification formelle @5 05`
C03	`05`	`X`	`ENG`	`@0 Formal specification @5 05`
C03	`05`	`X`	`SPA`	`@0 Especificación formal @5 05`
C03	`06`	`3`	`FRE`	`@0 Vérification formelle @5 06`
C03	`06`	`3`	`ENG`	`@0 Formal verification @5 06`
C03	`07`	`X`	`FRE`	`@0 Télécommunication @5 07`
C03	`07`	`X`	`ENG`	`@0 Telecommunication @5 07`
C03	`07`	`X`	`SPA`	`@0 Telecomunicación @5 07`
N21				`@1 213`

A30	`01`	`1`	`ENG`	`@1 International Andrei Ershov Memorial conference @2 3 @3 Novosibirsk RUS @4 1999-07-06`

Format Inist (serveur)

NO :	PASCAL 00-0316433 INIST
ET :	Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach
AU :	GIBSON (P.); MERY (D.); BJRNER (Dines); BROY (Manfred); ZAMULIN (Alexandre V.)
AF :	NUI/Maynooth/Irlande (1 aut.); Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239/54506 Vandoeuvre-lès-Nancy/France (2 aut.)
DT :	Publication en série; Congrès; Niveau analytique
SO :	Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 2000; Vol. 1755; Pp. 155-179; Bibl. 45 ref.
LA :	Anglais
EA :	We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA⁺. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.
CC :	001D02B09
FD :	Génie logiciel; Développement logiciel; Programmation orientée objet; Spécification programme; Spécification formelle; Vérification formelle; Télécommunication
ED :	Software engineering; Software development; Object oriented programming; Program specification; Formal specification; Formal verification; Telecommunication
SD :	Ingeniería logiciel; Desarrollo logicial; Especificación programa; Especificación formal; Telecomunicación
LO :	INIST-16343.354000080064630140
ID :	00-0316433

Links to Exploration step

Pascal:00-0316433

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach</title>
<author><name sortKey="Gibson, P" sort="Gibson, P" uniqKey="Gibson P" first="P." last="Gibson">P. Gibson</name>
<affiliation><inist:fA14 i1="01"><s1>NUI</s1>
<s2>Maynooth</s2>
<s3>IRL</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Mery, D" sort="Mery, D" uniqKey="Mery D" first="D." last="Mery">D. Mery</name>
<affiliation><inist:fA14 i1="02"><s1>Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">00-0316433</idno>
<date when="2000">2000</date>
<idno type="stanalyst">PASCAL 00-0316433 INIST</idno>
<idno type="RBID">Pascal:00-0316433</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000A46</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach</title>
<author><name sortKey="Gibson, P" sort="Gibson, P" uniqKey="Gibson P" first="P." last="Gibson">P. Gibson</name>
<affiliation><inist:fA14 i1="01"><s1>NUI</s1>
<s2>Maynooth</s2>
<s3>IRL</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Mery, D" sort="Mery, D" uniqKey="Mery D" first="D." last="Mery">D. Mery</name>
<affiliation><inist:fA14 i1="02"><s1>Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="2000">2000</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Formal specification</term>
<term>Formal verification</term>
<term>Object oriented programming</term>
<term>Program specification</term>
<term>Software development</term>
<term>Software engineering</term>
<term>Telecommunication</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Génie logiciel</term>
<term>Développement logiciel</term>
<term>Programmation orientée objet</term>
<term>Spécification programme</term>
<term>Spécification formelle</term>
<term>Vérification formelle</term>
<term>Télécommunication</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA<sup>+</sup>
. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0302-9743</s0>
</fA01>
<fA05><s2>1755</s2>
</fA05>
<fA08 i1="01" i2="1" l="ENG"><s1>Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach</s1>
</fA08>
<fA09 i1="01" i2="1" l="ENG"><s1>PSI'99 : perspectives of system informatics : Novosibirsk, 6-9 July 1999</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>GIBSON (P.)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>MERY (D.)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>BJRNER (Dines)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>BROY (Manfred)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="03" i2="1"><s1>ZAMULIN (Alexandre V.)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>NUI</s1>
<s2>Maynooth</s2>
<s3>IRL</s3>
<sZ>1 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239</s1>
<s2>54506 Vandoeuvre-lès-Nancy</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA14>
<fA20><s1>155-179</s1>
</fA20>
<fA21><s1>2000</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA26 i1="01"><s0>3-540-67102-1</s0>
</fA26>
<fA43 i1="01"><s1>INIST</s1>
<s2>16343</s2>
<s5>354000080064630140</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2000 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>45 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>00-0316433</s0>
</fA47>
<fA60><s1>P</s1>
<s2>C</s2>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Lecture notes in computer science</s0>
</fA64>
<fA66 i1="01"><s0>DEU</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA<sup>+</sup>
. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02B09</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Génie logiciel</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Software engineering</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Ingeniería logiciel</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Développement logiciel</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Software development</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Desarrollo logicial</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="1" l="FRE"><s0>Programmation orientée objet</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="1" l="ENG"><s0>Object oriented programming</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Spécification programme</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Program specification</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Especificación programa</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Spécification formelle</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Formal specification</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Especificación formal</s0>
<s5>05</s5>
</fC03>
<fC03 i1="06" i2="3" l="FRE"><s0>Vérification formelle</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="3" l="ENG"><s0>Formal verification</s0>
<s5>06</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Télécommunication</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Telecommunication</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Telecomunicación</s0>
<s5>07</s5>
</fC03>
<fN21><s1>213</s1>
</fN21>
</pA>
<pR><fA30 i1="01" i2="1" l="ENG"><s1>International Andrei Ershov Memorial conference</s1>
<s2>3</s2>
<s3>Novosibirsk RUS</s3>
<s4>1999-07-06</s4>
</fA30>
</pR>
</standard>
<server><NO>PASCAL 00-0316433 INIST</NO>
<ET>Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach</ET>
<AU>GIBSON (P.); MERY (D.); BJRNER (Dines); BROY (Manfred); ZAMULIN (Alexandre V.)</AU>
<AF>NUI/Maynooth/Irlande (1 aut.); Université Henri Poincaré-Nancy 1 & LORIA UMR 7503 CNRS, Campus Scientifique, BP 239/54506 Vandoeuvre-lès-Nancy/France (2 aut.)</AF>
<DT>Publication en série; Congrès; Niveau analytique</DT>
<SO>Lecture notes in computer science; ISSN 0302-9743; Allemagne; Da. 2000; Vol. 1755; Pp. 155-179; Bibl. 45 ref.</SO>
<LA>Anglais</LA>
<EA>We report results of a joint project with France Telecom on the modelling of telephone services (features) using formal methodologies such as OO ACT ONE, B and TLA<sup>+</sup>
. We show how we formalise the feature interaction problem in a multi-view model, and we examine issues such as animation, validation, proof and verification.</EA>
<CC>001D02B09</CC>
<FD>Génie logiciel; Développement logiciel; Programmation orientée objet; Spécification programme; Spécification formelle; Vérification formelle; Télécommunication</FD>
<ED>Software engineering; Software development; Object oriented programming; Program specification; Formal specification; Formal verification; Telecommunication</ED>
<SD>Ingeniería logiciel; Desarrollo logicial; Especificación programa; Especificación formal; Telecomunicación</SD>
<LO>INIST-16343.354000080064630140</LO>
<ID>00-0316433</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

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

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

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000A46 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:00-0316433
   |texte=   Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach
}}

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

Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach

Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach

Source :

Descripteurs français

English descriptors

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

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