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.