For the most recent entries see the Petri Nets Newsletter.

Reachability Analysis of the ODP Trader using Equivalence Classes.

Tokmakoff, A.; Billington, J.

In: Proc. Software Engineering Education & Practice Conference, Dunedin, New Zealand, 26-29 January, 1998, pages 16-23. IEEE Computer Society, 1998. ISBN: 0-8186-8828-9.

Abstract: As part of the ISO/IEC standardisation of the Reference Model for Open Distributed Processing (RM-ODP), a Trading Function has been identified. It is an important infrastructure service that allows clients to locate services using service types and associated parameters as selection criteria. This paper introduces the reader to the concept of Service trading and presents a Coloured Petri Net model of the trader's object interactions. The Model is Analysed using Occurrence Graphs with Equivalence Classes which results in a significantly reduced equivalent Occurrence Graph.

Keywords: Modelling, ODP Trader, Object-based Systems, Petri Nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography