An Approach to the Analysis of Interworking Traders

  • Authors:
  • A. Tokmakoff;Jonathan Billington

  • Affiliations:
  • -;-

  • Venue:
  • Proceedings of the 20th International Conference on Application and Theory of Petri Nets
  • Year:
  • 1999

Quantified Score

Hi-index 0.01

Visualization

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 (for Occurrence 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.