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 practical experience on validating GDMO-based Information Models with SDL'88 and '92

Identifieur interne : 002017 ( Crin/Curation ); précédent : 002016; suivant : 002018

A practical experience on validating GDMO-based Information Models with SDL'88 and '92

Auteurs : Samir Tata ; Laurent Andrey ; Olivier Festor

Source :

RBID : CRIN:tata97a

English descriptors

Abstract

This article presents the results obtained in several activities within which we have used SDL for the validation and interactive simultation of OSI-based Management Information Models. In this paper we present a result from a field trial in the area of Information Model validation using SDL'88. We also present a consequent work : an experience in developing a tool called MODERES for the automated generation of SDL'92 specifications from a GDMO/GRM-based specification for the purpose of Management Agent simulation.

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


Links to Exploration step

CRIN:tata97a

Le document en format XML

<record>
<TEI>
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en" wicri:score="413">A practical experience on validating GDMO-based Information Models with SDL'88 and '92</title>
</titleStmt>
<publicationStmt>
<idno type="RBID">CRIN:tata97a</idno>
<date when="1997" year="1997">1997</date>
<idno type="wicri:Area/Crin/Corpus">002017</idno>
<idno type="wicri:Area/Crin/Curation">002017</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">002017</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title xml:lang="en">A practical experience on validating GDMO-based Information Models with SDL'88 and '92</title>
<author>
<name sortKey="Tata, Samir" sort="Tata, Samir" uniqKey="Tata S" first="Samir" last="Tata">Samir Tata</name>
</author>
<author>
<name sortKey="Andrey, Laurent" sort="Andrey, Laurent" uniqKey="Andrey L" first="Laurent" last="Andrey">Laurent Andrey</name>
</author>
<author>
<name sortKey="Festor, Olivier" sort="Festor, Olivier" uniqKey="Festor O" first="Olivier" last="Festor">Olivier Festor</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="KwdEn" xml:lang="en">
<term>GDMO</term>
<term>GRM</term>
<term>Information Model</term>
<term>MODERES</term>
<term>OSI</term>
<term>SDL</term>
<term>SDL'88</term>
<term>SDL'92</term>
<term>Specification</term>
<term>TMN</term>
<term>Validation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front>
<div type="abstract" xml:lang="en" wicri:score="2000">This article presents the results obtained in several activities within which we have used SDL for the validation and interactive simultation of OSI-based Management Information Models. In this paper we present a result from a field trial in the area of Information Model validation using SDL'88. We also present a consequent work : an experience in developing a tool called MODERES for the automated generation of SDL'92 specifications from a GDMO/GRM-based specification for the purpose of Management Agent simulation.</div>
</front>
</TEI>
<BibTex type="inproceedings">
<ref>tata97a</ref>
<crinnumber>97-R-315</crinnumber>
<category>3</category>
<equipe>RESEDAS</equipe>
<author>
<e>Tata, Samir</e>
<e>Andrey, Laurent</e>
<e>Festor, Olivier</e>
</author>
<title>A practical experience on validating GDMO-based Information Models with SDL'88 and '92</title>
<booktitle>{9th SDL Forum, Evry, France}</booktitle>
<year>1997</year>
<month>sep</month>
<publisher>Elsiever</publisher>
<keywords>
<e>Specification</e>
<e>GDMO</e>
<e>GRM</e>
<e>SDL</e>
<e>Information Model</e>
<e>MODERES</e>
<e>OSI</e>
<e>SDL'88</e>
<e>SDL'92</e>
<e>TMN</e>
<e>Validation</e>
</keywords>
<abstract>This article presents the results obtained in several activities within which we have used SDL for the validation and interactive simultation of OSI-based Management Information Models. In this paper we present a result from a field trial in the area of Information Model validation using SDL'88. We also present a consequent work : an experience in developing a tool called MODERES for the automated generation of SDL'92 specifications from a GDMO/GRM-based specification for the purpose of Management Agent simulation.</abstract>
</BibTex>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002017 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 002017 | SxmlIndent | more

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Curation
   |type=    RBID
   |clé=     CRIN:tata97a
   |texte=   A practical experience on validating GDMO-based Information Models with SDL'88 and '92
}}

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