Modélisation d'agents OSI en SDL'92
Identifieur interne : 002591 ( Crin/Checkpoint ); précédent : 002590; suivant : 002592Modé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.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:tata97bLe 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>
</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>
<BibTex type="techreport"><ref>tata97b</ref>
<crinnumber>97-R-316</crinnumber>
<category>15</category>
<equipe>RESEDAS</equipe>
<author><e>Tata, Samir</e>
</author>
<title>Modélisation d'agents OSI en SDL'92</title>
<year>1997</year>
<type>Rapport de recherche</type>
<note>Mémoire de DEA, UHP Nancy I</note>
<keywords><e>GDMO</e>
<e>SDL</e>
<e>FDT</e>
<e>management agent</e>
<e>management system</e>
</keywords>
<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.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002591 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 002591 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:tata97b |texte= Modélisation d'agents OSI en SDL'92 }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |