InforLorV4, PascalFrancis, Corpus, bibRecord, 000164

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

Identifieur interne : 000164 ( PascalFrancis/Corpus ); précédent : 000163; suivant : 000165

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

Auteurs : Sihem Mallek ; Nicolas Daclin ; Vincent Chapurlat

Source :

Ingénierie des systèmes d'information : (2001) [ 1633-1311 ] ; 2010.

RBID : Pascal:11-0081282

Descripteurs français

Pascal (Inist)
- Système information, Interopérabilité, Ingénierie simultanée, Entreprise, Vérification formelle, Méthode formelle, Vérification programme, Catégorisation, Exigence usager, Compatibilité, Réversibilité, Modélisation, ..

English descriptors

KwdEn :
- Categorization, Compatibility, Concurrent engineering, Firm, Formal method, Formal verification, Information system, Interoperability, Modeling, Program verification, Reversibility, User requirement.

Abstract

Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.

Notice en format standard (ISO 2709)

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

A01	`01`	`1`		`@0 1633-1311`
A03		`1`		`@0 Ing. syst. inf. : (2001)`
A05				`@2 15`
A06				`@2 5`
A08	`01`	`1`	`FRE`	`@1 Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs`
A09	`01`	`1`	`FRE`	`@1 MODÉLISATION D'ENTREPRISE ET INTEROPÉRABILITÉ`
A11	`01`	`1`		`@1 MALLEK (Sihem)`
A11	`02`	`1`		`@1 DACLIN (Nicolas)`
A11	`03`	`1`		`@1 CHAPURLAT (Vincent)`
A12	`01`	`1`		`@1 NURCAN (Selmin) @9 ed.`
A12	`02`	`1`		`@1 BENALI (Khalid) @9 ed.`
A12	`03`	`1`		`@1 PINGAUD (Hervé) @9 ed.`
A14	`01`			`@1 Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse @2 30035 Nîmes @3 FRA @Z 1 aut. @Z 2 aut. @Z 3 aut.`
A15	`01`			`@1 CRI, Université Paris 1 Panthéon Sorbonne @3 FRA @Z 1 aut.`
A15	`02`			`@1 LORIA, Nancy Université @3 FRA @Z 2 aut.`
A15	`03`			`@1 Écoles des Mines @2 Albi @3 FRA @Z 3 aut.`
A20				`@1 37-61`
A21				`@1 2010`
A23	`01`			`@0 FRE`
A24	`01`			`@0 eng`
A43	`01`			`@1 INIST @2 26729 @5 354000195013950020`
A44				`@0 0000 @1 © 2011 INIST-CNRS. All rights reserved.`
A45				`@0 1 p.3/4`
A47	`01`	`1`		`@0 11-0081282`
A60				`@1 P`
A61				`@0 A`
A64	`01`	`1`		`@0 Ingénierie des systèmes d'information : (2001)`
A66	`01`			`@0 FRA`
A68	`01`	`1`	`ENG`	`@1 Categorisation and formalisation of interoperability requirements in collaborative processes`
C01	`01`		`ENG`	@0 Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.
C02	`01`	`X`		`@0 001D02B04`
C02	`02`	`X`		`@0 001D02B02`
C02	`03`	`X`		`@0 001D02B07D`
C03	`01`	`X`	`FRE`	`@0 Système information @5 01`
C03	`01`	`X`	`ENG`	`@0 Information system @5 01`
C03	`01`	`X`	`SPA`	`@0 Sistema información @5 01`
C03	`02`	`X`	`FRE`	`@0 Interopérabilité @5 06`
C03	`02`	`X`	`ENG`	`@0 Interoperability @5 06`
C03	`02`	`X`	`SPA`	`@0 Interoperabilidad @5 06`
C03	`03`	`X`	`FRE`	`@0 Ingénierie simultanée @5 07`
C03	`03`	`X`	`ENG`	`@0 Concurrent engineering @5 07`
C03	`03`	`X`	`SPA`	`@0 Ingeniería simultánea @5 07`
C03	`04`	`X`	`FRE`	`@0 Entreprise @5 08`
C03	`04`	`X`	`ENG`	`@0 Firm @5 08`
C03	`04`	`X`	`SPA`	`@0 Empresa @5 08`
C03	`05`	`3`	`FRE`	`@0 Vérification formelle @5 09`
C03	`05`	`3`	`ENG`	`@0 Formal verification @5 09`
C03	`06`	`X`	`FRE`	`@0 Méthode formelle @5 10`
C03	`06`	`X`	`ENG`	`@0 Formal method @5 10`
C03	`06`	`X`	`SPA`	`@0 Método formal @5 10`
C03	`07`	`X`	`FRE`	`@0 Vérification programme @5 11`
C03	`07`	`X`	`ENG`	`@0 Program verification @5 11`
C03	`07`	`X`	`SPA`	`@0 Verificación programa @5 11`
C03	`08`	`X`	`FRE`	`@0 Catégorisation @5 18`
C03	`08`	`X`	`ENG`	`@0 Categorization @5 18`
C03	`08`	`X`	`SPA`	`@0 Categorización @5 18`
C03	`09`	`X`	`FRE`	`@0 Exigence usager @5 19`
C03	`09`	`X`	`ENG`	`@0 User requirement @5 19`
C03	`09`	`X`	`SPA`	`@0 Exigencia usuario @5 19`
C03	`10`	`X`	`FRE`	`@0 Compatibilité @5 20`
C03	`10`	`X`	`ENG`	`@0 Compatibility @5 20`
C03	`10`	`X`	`SPA`	`@0 Compatibilidad @5 20`
C03	`11`	`X`	`FRE`	`@0 Réversibilité @5 21`
C03	`11`	`X`	`ENG`	`@0 Reversibility @5 21`
C03	`11`	`X`	`SPA`	`@0 Reversibilidad @5 21`
C03	`12`	`X`	`FRE`	`@0 Modélisation @5 23`
C03	`12`	`X`	`ENG`	`@0 Modeling @5 23`
C03	`12`	`X`	`SPA`	`@0 Modelización @5 23`
C03	`13`	`X`	`FRE`	`@0 . @4 INC @5 82`
N21				`@1 052`
N44	`01`			`@1 OTO`
N82				`@1 OTO`

Format Inist (serveur)

NO :	PASCAL 11-0081282 INIST
FT :	Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
ET :	(Categorisation and formalisation of interoperability requirements in collaborative processes)
AU :	MALLEK (Sihem); DACLIN (Nicolas); CHAPURLAT (Vincent); NURCAN (Selmin); BENALI (Khalid); PINGAUD (Hervé)
AF :	Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse/30035 Nîmes/France (1 aut., 2 aut., 3 aut.); CRI, Université Paris 1 Panthéon Sorbonne/France (1 aut.); LORIA, Nancy Université/France (2 aut.); Écoles des Mines/Albi/France (3 aut.)
DT :	Publication en série; Niveau analytique
SO :	Ingénierie des systèmes d'information : (2001); ISSN 1633-1311; France; Da. 2010; Vol. 15; No. 5; Pp. 37-61; Abs. anglais; Bibl. 1 p.3/4
LA :	Français
EA :	Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.
CC :	001D02B04; 001D02B02; 001D02B07D
FD :	Système information; Interopérabilité; Ingénierie simultanée; Entreprise; Vérification formelle; Méthode formelle; Vérification programme; Catégorisation; Exigence usager; Compatibilité; Réversibilité; Modélisation; .
ED :	Information system; Interoperability; Concurrent engineering; Firm; Formal verification; Formal method; Program verification; Categorization; User requirement; Compatibility; Reversibility; Modeling
SD :	Sistema información; Interoperabilidad; Ingeniería simultánea; Empresa; Método formal; Verificación programa; Categorización; Exigencia usuario; Compatibilidad; Reversibilidad; Modelización
LO :	INIST-26729.354000195013950020
ID :	11-0081282

Links to Exploration step

Pascal:11-0081282

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" level="a">Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs</title>
<author><name sortKey="Mallek, Sihem" sort="Mallek, Sihem" uniqKey="Mallek S" first="Sihem" last="Mallek">Sihem Mallek</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Daclin, Nicolas" sort="Daclin, Nicolas" uniqKey="Daclin N" first="Nicolas" last="Daclin">Nicolas Daclin</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Chapurlat, Vincent" sort="Chapurlat, Vincent" uniqKey="Chapurlat V" first="Vincent" last="Chapurlat">Vincent Chapurlat</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">11-0081282</idno>
<date when="2010">2010</date>
<idno type="stanalyst">PASCAL 11-0081282 INIST</idno>
<idno type="RBID">Pascal:11-0081282</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000164</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr" level="a">Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs</title>
<author><name sortKey="Mallek, Sihem" sort="Mallek, Sihem" uniqKey="Mallek S" first="Sihem" last="Mallek">Sihem Mallek</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Daclin, Nicolas" sort="Daclin, Nicolas" uniqKey="Daclin N" first="Nicolas" last="Daclin">Nicolas Daclin</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Chapurlat, Vincent" sort="Chapurlat, Vincent" uniqKey="Chapurlat V" first="Vincent" last="Chapurlat">Vincent Chapurlat</name>
<affiliation><inist:fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Ingénierie des systèmes d'information : (2001)</title>
<title level="j" type="abbreviated">Ing. syst. inf. : (2001)</title>
<idno type="ISSN">1633-1311</idno>
<imprint><date when="2010">2010</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Ingénierie des systèmes d'information : (2001)</title>
<title level="j" type="abbreviated">Ing. syst. inf. : (2001)</title>
<idno type="ISSN">1633-1311</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Categorization</term>
<term>Compatibility</term>
<term>Concurrent engineering</term>
<term>Firm</term>
<term>Formal method</term>
<term>Formal verification</term>
<term>Information system</term>
<term>Interoperability</term>
<term>Modeling</term>
<term>Program verification</term>
<term>Reversibility</term>
<term>User requirement</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Système information</term>
<term>Interopérabilité</term>
<term>Ingénierie simultanée</term>
<term>Entreprise</term>
<term>Vérification formelle</term>
<term>Méthode formelle</term>
<term>Vérification programme</term>
<term>Catégorisation</term>
<term>Exigence usager</term>
<term>Compatibilité</term>
<term>Réversibilité</term>
<term>Modélisation</term>
<term>.</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>1633-1311</s0>
</fA01>
<fA03 i2="1"><s0>Ing. syst. inf. : (2001)</s0>
</fA03>
<fA05><s2>15</s2>
</fA05>
<fA06><s2>5</s2>
</fA06>
<fA08 i1="01" i2="1" l="FRE"><s1>Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs</s1>
</fA08>
<fA09 i1="01" i2="1" l="FRE"><s1>MODÉLISATION D'ENTREPRISE ET INTEROPÉRABILITÉ</s1>
</fA09>
<fA11 i1="01" i2="1"><s1>MALLEK (Sihem)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>DACLIN (Nicolas)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>CHAPURLAT (Vincent)</s1>
</fA11>
<fA12 i1="01" i2="1"><s1>NURCAN (Selmin)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="02" i2="1"><s1>BENALI (Khalid)</s1>
<s9>ed.</s9>
</fA12>
<fA12 i1="03" i2="1"><s1>PINGAUD (Hervé)</s1>
<s9>ed.</s9>
</fA12>
<fA14 i1="01"><s1>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse</s1>
<s2>30035 Nîmes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>2 aut.</sZ>
<sZ>3 aut.</sZ>
</fA14>
<fA15 i1="01"><s1>CRI, Université Paris 1 Panthéon Sorbonne</s1>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</fA15>
<fA15 i1="02"><s1>LORIA, Nancy Université</s1>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA15>
<fA15 i1="03"><s1>Écoles des Mines</s1>
<s2>Albi</s2>
<s3>FRA</s3>
<sZ>3 aut.</sZ>
</fA15>
<fA20><s1>37-61</s1>
</fA20>
<fA21><s1>2010</s1>
</fA21>
<fA23 i1="01"><s0>FRE</s0>
</fA23>
<fA24 i1="01"><s0>eng</s0>
</fA24>
<fA43 i1="01"><s1>INIST</s1>
<s2>26729</s2>
<s5>354000195013950020</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2011 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>1 p.3/4</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>11-0081282</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Ingénierie des systèmes d'information : (2001)</s0>
</fA64>
<fA66 i1="01"><s0>FRA</s0>
</fA66>
<fA68 i1="01" i2="1" l="ENG"><s1>Categorisation and formalisation of interoperability requirements in collaborative processes</s1>
</fA68>
<fC01 i1="01" l="ENG"><s0>Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02B04</s0>
</fC02>
<fC02 i1="02" i2="X"><s0>001D02B02</s0>
</fC02>
<fC02 i1="03" i2="X"><s0>001D02B07D</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Système information</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>Information system</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Sistema información</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Interopérabilité</s0>
<s5>06</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Interoperability</s0>
<s5>06</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Interoperabilidad</s0>
<s5>06</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Ingénierie simultanée</s0>
<s5>07</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Concurrent engineering</s0>
<s5>07</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Ingeniería simultánea</s0>
<s5>07</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Entreprise</s0>
<s5>08</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Firm</s0>
<s5>08</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Empresa</s0>
<s5>08</s5>
</fC03>
<fC03 i1="05" i2="3" l="FRE"><s0>Vérification formelle</s0>
<s5>09</s5>
</fC03>
<fC03 i1="05" i2="3" l="ENG"><s0>Formal verification</s0>
<s5>09</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Méthode formelle</s0>
<s5>10</s5>
</fC03>
<fC03 i1="06" i2="X" l="ENG"><s0>Formal method</s0>
<s5>10</s5>
</fC03>
<fC03 i1="06" i2="X" l="SPA"><s0>Método formal</s0>
<s5>10</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Vérification programme</s0>
<s5>11</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Program verification</s0>
<s5>11</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Verificación programa</s0>
<s5>11</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Catégorisation</s0>
<s5>18</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Categorization</s0>
<s5>18</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Categorización</s0>
<s5>18</s5>
</fC03>
<fC03 i1="09" i2="X" l="FRE"><s0>Exigence usager</s0>
<s5>19</s5>
</fC03>
<fC03 i1="09" i2="X" l="ENG"><s0>User requirement</s0>
<s5>19</s5>
</fC03>
<fC03 i1="09" i2="X" l="SPA"><s0>Exigencia usuario</s0>
<s5>19</s5>
</fC03>
<fC03 i1="10" i2="X" l="FRE"><s0>Compatibilité</s0>
<s5>20</s5>
</fC03>
<fC03 i1="10" i2="X" l="ENG"><s0>Compatibility</s0>
<s5>20</s5>
</fC03>
<fC03 i1="10" i2="X" l="SPA"><s0>Compatibilidad</s0>
<s5>20</s5>
</fC03>
<fC03 i1="11" i2="X" l="FRE"><s0>Réversibilité</s0>
<s5>21</s5>
</fC03>
<fC03 i1="11" i2="X" l="ENG"><s0>Reversibility</s0>
<s5>21</s5>
</fC03>
<fC03 i1="11" i2="X" l="SPA"><s0>Reversibilidad</s0>
<s5>21</s5>
</fC03>
<fC03 i1="12" i2="X" l="FRE"><s0>Modélisation</s0>
<s5>23</s5>
</fC03>
<fC03 i1="12" i2="X" l="ENG"><s0>Modeling</s0>
<s5>23</s5>
</fC03>
<fC03 i1="12" i2="X" l="SPA"><s0>Modelización</s0>
<s5>23</s5>
</fC03>
<fC03 i1="13" i2="X" l="FRE"><s0>.</s0>
<s4>INC</s4>
<s5>82</s5>
</fC03>
<fN21><s1>052</s1>
</fN21>
<fN44 i1="01"><s1>OTO</s1>
</fN44>
<fN82><s1>OTO</s1>
</fN82>
</pA>
</standard>
<server><NO>PASCAL 11-0081282 INIST</NO>
<FT>Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs</FT>
<ET>(Categorisation and formalisation of interoperability requirements in collaborative processes)</ET>
<AU>MALLEK (Sihem); DACLIN (Nicolas); CHAPURLAT (Vincent); NURCAN (Selmin); BENALI (Khalid); PINGAUD (Hervé)</AU>
<AF>Laboratoire de Génie Informatique et d'Ingénierie de Production - LGI2P Site de Nîmes de l'Ecole des Mines d'Alès Parc Scientifique Georges Besse/30035 Nîmes/France (1 aut., 2 aut., 3 aut.); CRI, Université Paris 1 Panthéon Sorbonne/France (1 aut.); LORIA, Nancy Université/France (2 aut.); Écoles des Mines/Albi/France (3 aut.)</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>Ingénierie des systèmes d'information : (2001); ISSN 1633-1311; France; Da. 2010; Vol. 15; No. 5; Pp. 37-61; Abs. anglais; Bibl. 1 p.3/4</SO>
<LA>Français</LA>
<EA>Interoperability is becoming a crucial issue for industry and a lack of interoperability can be seen as an important barrier to a collaborative work. Indeed, interoperability characterises the ability of any enterprises to interact within a collaborative process. Prior to any effective collaboration, it is necessary to inform enterprises, that aim to work together, if they are able to interoperate. This research work proposes to use formal verification techniques to detect interoperability problems. On the one hand, this induces to be able to define the particular needs to consider. On the other hand, it requires to formalise these needs as a set of unambiguous and, as formal as possible, requirements. Finally, interoperability requirements must be checked thanks to target process model. This paper focuses on the definition and the formalisation of interoperability requirements into interoperability properties that can be formally checked.</EA>
<CC>001D02B04; 001D02B02; 001D02B07D</CC>
<FD>Système information; Interopérabilité; Ingénierie simultanée; Entreprise; Vérification formelle; Méthode formelle; Vérification programme; Catégorisation; Exigence usager; Compatibilité; Réversibilité; Modélisation; .</FD>
<ED>Information system; Interoperability; Concurrent engineering; Firm; Formal verification; Formal method; Program verification; Categorization; User requirement; Compatibility; Reversibility; Modeling</ED>
<SD>Sistema información; Interoperabilidad; Ingeniería simultánea; Empresa; Método formal; Verificación programa; Categorización; Exigencia usuario; Compatibilidad; Reversibilidad; Modelización</SD>
<LO>INIST-26729.354000195013950020</LO>
<ID>11-0081282</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 000164 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000164 | 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:11-0081282
   |texte=   Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
}}

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

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs

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