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.

A component based approach for modeling and validation of an automated manufacturing system

Identifieur interne : 009379 ( Main/Merge ); précédent : 009378; suivant : 009380

A component based approach for modeling and validation of an automated manufacturing system

Auteurs : Raphael Cavaliere ; Françoise Simonot-Lion ; Ye-Qiong Song ; O. Hembert

Source :

RBID : CRIN:cavaliere01b

English descriptors

Abstract

In this paper we present a method in order to model and validate information systems used for the control of automated manufacturing applications. > The validation technique is relevant to performance evaluation by model simulation. That is OPNET tool that supports the simulation activity. We propose an object oriented approach for the modelling of these kinds of application and we identify several classes of software and hardware component that can be presented in a such application. These classes are used for the specification of a software tool providing two specific editors : an Expert Editor for the specification of new classes and an Architecture Editor for the modelling of an information system. The Architecture Editor verifies that the edited model is correct (at component level and at architecture level). As the simulation support is OPNET, the tool integrates an OPNET model generator. Specification and development of the tool is based on UML Profile concept.

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


Links to Exploration step

CRIN:cavaliere01b

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="627">A component based approach for modeling and validation of an automated manufacturing system</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:cavaliere01b</idno>
<date when="2001" year="2001">2001</date>
<idno type="wicri:Area/Crin/Corpus">003057</idno>
<idno type="wicri:Area/Crin/Curation">003057</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003057</idno>
<idno type="wicri:Area/Crin/Checkpoint">001474</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">001474</idno>
<idno type="wicri:Area/Main/Merge">009379</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">A component based approach for modeling and validation of an automated manufacturing system</title>
<author>
<name sortKey="Cavaliere, Raphael" sort="Cavaliere, Raphael" uniqKey="Cavaliere R" first="Raphael" last="Cavaliere">Raphael Cavaliere</name>
</author>
<author>
<name sortKey="Simonot Lion, Francoise" sort="Simonot Lion, Francoise" uniqKey="Simonot Lion F" first="Françoise" last="Simonot-Lion">Françoise Simonot-Lion</name>
</author>
<author>
<name sortKey="Song, Ye Qiong" sort="Song, Ye Qiong" uniqKey="Song Y" first="Ye-Qiong" last="Song">Ye-Qiong Song</name>
</author>
<author>
<name sortKey="Hembert, O" sort="Hembert, O" uniqKey="Hembert O" first="O." last="Hembert">O. Hembert</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>architecture description language</term>
<term>object-oriented method</term>
<term>simulation model</term>
<term>uml</term>
<term>validation technique</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en" wicri:score="3231">In this paper we present a method in order to model and validate information systems used for the control of automated manufacturing applications. > The validation technique is relevant to performance evaluation by model simulation. That is OPNET tool that supports the simulation activity. We propose an object oriented approach for the modelling of these kinds of application and we identify several classes of software and hardware component that can be presented in a such application. These classes are used for the specification of a software tool providing two specific editors : an Expert Editor for the specification of new classes and an Architecture Editor for the modelling of an information system. The Architecture Editor verifies that the edited model is correct (at component level and at architecture level). As the simulation support is OPNET, the tool integrates an OPNET model generator. Specification and development of the tool is based on UML Profile concept.</div>
</front>
</TEI>
</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 009379 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 009379 | 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é=     CRIN:cavaliere01b
   |texte=   A component based approach for modeling and validation of an automated manufacturing system
}}

Wicri

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