Modélisation d'agents OSI en SDL'92
Identifieur interne : 00B868 ( Main/Exploration ); précédent : 00B867; suivant : 00B869Modélisation d'agents OSI en SDL'92
Auteurs : Samir TataSource :
English descriptors
- KwdEn :
Abstract
Dans le cadre de la formalisation des spécifications de gestion de réseaux, nous soutenons la proposition du langage formel SDL'92. Nous avons contribué à son adéquation pour la modélisation de comportement des systèmes de gestion. Nous proposons également dans ce mémoire une description complète et détaillée d'un agent de gestion en utilisant ce langage. La description formelle d'un agent favorise le prototypage rapide et permet sa réutilisation en cas de changement de modèle d'information. Dans cet objectif, nous avons divisé notre travail en trois parties. L'objet de la première partie est de générer la partie spécifique d'un agent de gestion. cette partie est fortement dépendante de l'application considérée. Elle consiste à générer le code SDL'92 équivalent aux spécifications d'objets gérés donnés au départ. L'objet de la deuxième partie est de générer la partie générique d'un agent de gestion. La troisième partie de ce stage comporte l'intégration de ce travail dans l'outil MODERES pour faire des simulations et des tests sur des cas d'études réels.
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 002016
- to stream Crin, to step Curation: 002016
- to stream Crin, to step Checkpoint: 002591
- to stream Main, to step Merge: 00C045
- to stream Main, to step Curation: 00B868
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="71">Modélisation d'agents OSI en SDL'92</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:tata97b</idno>
<date when="1997" year="1997">1997</date>
<idno type="wicri:Area/Crin/Corpus">002016</idno>
<idno type="wicri:Area/Crin/Curation">002016</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002016</idno>
<idno type="wicri:Area/Crin/Checkpoint">002591</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002591</idno>
<idno type="wicri:Area/Main/Merge">00C045</idno>
<idno type="wicri:Area/Main/Curation">00B868</idno>
<idno type="wicri:Area/Main/Exploration">00B868</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Modélisation d'agents OSI en SDL'92</title>
<author><name sortKey="Tata, Samir" sort="Tata, Samir" uniqKey="Tata S" first="Samir" last="Tata">Samir Tata</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>FDT</term>
<term>GDMO</term>
<term>SDL</term>
<term>management agent</term>
<term>management system</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-1194">Dans le cadre de la formalisation des spécifications de gestion de réseaux, nous soutenons la proposition du langage formel SDL'92. Nous avons contribué à son adéquation pour la modélisation de comportement des systèmes de gestion. Nous proposons également dans ce mémoire une description complète et détaillée d'un agent de gestion en utilisant ce langage. La description formelle d'un agent favorise le prototypage rapide et permet sa réutilisation en cas de changement de modèle d'information. Dans cet objectif, nous avons divisé notre travail en trois parties. L'objet de la première partie est de générer la partie spécifique d'un agent de gestion. cette partie est fortement dépendante de l'application considérée. Elle consiste à générer le code SDL'92 équivalent aux spécifications d'objets gérés donnés au départ. L'objet de la deuxième partie est de générer la partie générique d'un agent de gestion. La troisième partie de ce stage comporte l'intégration de ce travail dans l'outil MODERES pour faire des simulations et des tests sur des cas d'études réels.</div>
</front>
</TEI>
<affiliations><list></list>
<tree><noCountry><name sortKey="Tata, Samir" sort="Tata, Samir" uniqKey="Tata S" first="Samir" last="Tata">Samir Tata</name>
</noCountry>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00B868 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00B868 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= CRIN:tata97b |texte= Modélisation d'agents OSI en SDL'92 }}
This area was generated with Dilib version V0.6.33. |