Using Projections for the Detection of Anomalous Behaviors
Identifieur interne : 002E37 ( Main/Merge ); précédent : 002E36; suivant : 002E38Using Projections for the Detection of Anomalous Behaviors
Auteurs : Jacqueline Floch [Norvège] ; Rolv Br K [Norvège]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2003.
Abstract
Abstract: A projection is a simplified system description or viewpoint that emphasizes some of the system properties while hiding others. In this paper, we describe a projection transformation that, when applied to SDL components, produces semantic interface descriptions. Contrary to traditional object interfaces that restrict the declaration of operation signatures, semantic interfaces describe dialogues and constraints between components, and can be exploited to build a system that behaves correctly. Using projections simplifies the validation analysis, and enables the designer to comprehend single interfaces. When following this approach, ambiguous and conflicting behaviors can be identified at design time.
Url:
DOI: 10.1007/3-540-45075-0_15
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 005660
- to stream Istex, to step Curation: 005660
- to stream Istex, to step Checkpoint: 002077
Links to Exploration step
ISTEX:2E9614902F269288D24F7273F05D704FE1EEC125Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Using Projections for the Detection of Anomalous Behaviors</title>
<author><name sortKey="Floch, Jacqueline" sort="Floch, Jacqueline" uniqKey="Floch J" first="Jacqueline" last="Floch">Jacqueline Floch</name>
</author>
<author><name sortKey="Br K, Rolv" sort="Br K, Rolv" uniqKey="Br K R" first="Rolv" last="Br K">Rolv Br K</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:2E9614902F269288D24F7273F05D704FE1EEC125</idno>
<date when="2003" year="2003">2003</date>
<idno type="doi">10.1007/3-540-45075-0_15</idno>
<idno type="url">https://api.istex.fr/document/2E9614902F269288D24F7273F05D704FE1EEC125/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">005660</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">005660</idno>
<idno type="wicri:Area/Istex/Curation">005660</idno>
<idno type="wicri:Area/Istex/Checkpoint">002077</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002077</idno>
<idno type="wicri:doubleKey">0302-9743:2003:Floch J:using:projections:for</idno>
<idno type="wicri:Area/Main/Merge">002E37</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Using Projections for the Detection of Anomalous Behaviors</title>
<author><name sortKey="Floch, Jacqueline" sort="Floch, Jacqueline" uniqKey="Floch J" first="Jacqueline" last="Floch">Jacqueline Floch</name>
<affiliation wicri:level="3"><country xml:lang="fr">Norvège</country>
<wicri:regionArea>SINTEF Telecom and Informatics, N-7465, Trondheim</wicri:regionArea>
<placeName><settlement type="city">Trondheim</settlement>
<region type="région" nuts="2">Trøndelag</region>
</placeName>
</affiliation>
<affiliation wicri:level="3"><country xml:lang="fr">Norvège</country>
<wicri:regionArea>Department of Telematics, Norwegian University of Science and Technology (NTNU), N-7491, Trondheim</wicri:regionArea>
<placeName><settlement type="city">Trondheim</settlement>
<region type="région" nuts="2">Trøndelag</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Norvège</country>
</affiliation>
</author>
<author><name sortKey="Br K, Rolv" sort="Br K, Rolv" uniqKey="Br K R" first="Rolv" last="Br K">Rolv Br K</name>
<affiliation wicri:level="3"><country xml:lang="fr">Norvège</country>
<wicri:regionArea>Department of Telematics, Norwegian University of Science and Technology (NTNU), N-7491, Trondheim</wicri:regionArea>
<placeName><settlement type="city">Trondheim</settlement>
<region type="région" nuts="2">Trøndelag</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Norvège</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2003</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">2E9614902F269288D24F7273F05D704FE1EEC125</idno>
<idno type="DOI">10.1007/3-540-45075-0_15</idno>
<idno type="ChapterID">15</idno>
<idno type="ChapterID">Chap15</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: A projection is a simplified system description or viewpoint that emphasizes some of the system properties while hiding others. In this paper, we describe a projection transformation that, when applied to SDL components, produces semantic interface descriptions. Contrary to traditional object interfaces that restrict the declaration of operation signatures, semantic interfaces describe dialogues and constraints between components, and can be exploited to build a system that behaves correctly. Using projections simplifies the validation analysis, and enables the designer to comprehend single interfaces. When following this approach, ambiguous and conflicting behaviors can be identified at design time.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002E37 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 002E37 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Ticri/CIDE |area= TelematiV1 |flux= Main |étape= Merge |type= RBID |clé= ISTEX:2E9614902F269288D24F7273F05D704FE1EEC125 |texte= Using Projections for the Detection of Anomalous Behaviors }}
![]() | This area was generated with Dilib version V0.6.31. | ![]() |