An approach to the analysis of interworking traders
Identifieur interne : 00D861 ( Main/Merge ); précédent : 00D860; suivant : 00D862An approach to the analysis of interworking traders
Auteurs : A. Tokmakoff [France] ; J. Billington [Australie]Source :
- Lecture notes in computer science [ 0302-9743 ] ; 1999.
Descripteurs français
- Pascal (Inist)
English descriptors
- KwdEn :
Abstract
The ODP Trader provides a match-making service for Objects in an Open Distributed System. In previous work, a model of the Trader was created using Coloured Petri Nets, incorporating its capacity for standalone and co-operative Interworking amongst multiple Trader instances. In this paper, the CPN model of the Trader is analysed using Equivalence Classes (forOccurrence Graph reduction) when the Trader is configured as a standalone entity servicing multiple requests concurrently. The Trader is also analysed in a number of interworking scenarios which are, in turn, used for reasoning about complex Trader interworking topologies.
Links toward previous steps (curation, corpus...)
- to stream PascalFrancis, to step Corpus: 006282
- to stream PascalFrancis, to step Curation: 006D72
- to stream PascalFrancis, to step Checkpoint: 006148
Links to Exploration step
Pascal:99-0409816Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">An approach to the analysis of interworking traders</title>
<author><name sortKey="Tokmakoff, A" sort="Tokmakoff, A" uniqKey="Tokmakoff A" first="A." last="Tokmakoff">A. Tokmakoff</name>
<affiliation wicri:level="1"><inist:fA14 i1="01"><s1>IRISA/INRIA, Campus de Beaulieu</s1>
<s2>35042 Rennes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<wicri:noRegion>35042 Rennes</wicri:noRegion>
<wicri:noRegion>Campus de Beaulieu</wicri:noRegion>
<wicri:noRegion>35042 Rennes</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Billington, J" sort="Billington, J" uniqKey="Billington J" first="J." last="Billington">J. Billington</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>ITR, University of South Australia</s1>
<s2>Mawson Lakes, 5095</s2>
<s3>AUS</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<wicri:noRegion>Mawson Lakes, 5095</wicri:noRegion>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">99-0409816</idno>
<date when="1999">1999</date>
<idno type="stanalyst">PASCAL 99-0409816 INIST</idno>
<idno type="RBID">Pascal:99-0409816</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">006282</idno>
<idno type="wicri:Area/PascalFrancis/Curation">006D72</idno>
<idno type="wicri:Area/PascalFrancis/Checkpoint">006148</idno>
<idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">006148</idno>
<idno type="wicri:doubleKey">0302-9743:1999:Tokmakoff A:an:approach:to</idno>
<idno type="wicri:Area/Main/Merge">00D861</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">An approach to the analysis of interworking traders</title>
<author><name sortKey="Tokmakoff, A" sort="Tokmakoff, A" uniqKey="Tokmakoff A" first="A." last="Tokmakoff">A. Tokmakoff</name>
<affiliation wicri:level="3"><inist:fA14 i1="01"><s1>IRISA/INRIA, Campus de Beaulieu</s1>
<s2>35042 Rennes</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
</inist:fA14>
<country>France</country>
<placeName><region type="region" nuts="2">Région Bretagne</region>
<settlement type="city">Rennes</settlement>
</placeName>
</affiliation>
</author>
<author><name sortKey="Billington, J" sort="Billington, J" uniqKey="Billington J" first="J." last="Billington">J. Billington</name>
<affiliation wicri:level="1"><inist:fA14 i1="02"><s1>ITR, University of South Australia</s1>
<s2>Mawson Lakes, 5095</s2>
<s3>AUS</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
<country>Australie</country>
<wicri:noRegion>Mawson Lakes, 5095</wicri:noRegion>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
<imprint><date when="1999">1999</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Lecture notes in computer science</title>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Analysis</term>
<term>Colored Petri net</term>
<term>Dealer</term>
<term>Distributed processing</term>
<term>Distributed system</term>
<term>Interworking</term>
<term>Open systems</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Système réparti</term>
<term>Réseau Pétri coloré</term>
<term>Analyse</term>
<term>Commerçant</term>
<term>Système ouvert</term>
<term>Traitement réparti</term>
<term>Travail ensemble</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">The ODP Trader provides a match-making service for Objects in an Open Distributed System. In previous work, a model of the Trader was created using Coloured Petri Nets, incorporating its capacity for standalone and co-operative Interworking amongst multiple Trader instances. In this paper, the CPN model of the Trader is analysed using Equivalence Classes (forOccurrence Graph reduction) when the Trader is configured as a standalone entity servicing multiple requests concurrently. The Trader is also analysed in a number of interworking scenarios which are, in turn, used for reasoning about complex Trader interworking topologies.</div>
</front>
</TEI>
<affiliations><list><country><li>Australie</li>
<li>France</li>
</country>
<region><li>Région Bretagne</li>
</region>
<settlement><li>Rennes</li>
</settlement>
</list>
<tree><country name="France"><region name="Région Bretagne"><name sortKey="Tokmakoff, A" sort="Tokmakoff, A" uniqKey="Tokmakoff A" first="A." last="Tokmakoff">A. Tokmakoff</name>
</region>
</country>
<country name="Australie"><noRegion><name sortKey="Billington, J" sort="Billington, J" uniqKey="Billington J" first="J." last="Billington">J. Billington</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00D861 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00D861 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Asie |area= AustralieFrV1 |flux= Main |étape= Merge |type= RBID |clé= Pascal:99-0409816 |texte= An approach to the analysis of interworking traders }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |