In: Proceedings 1996 IEEE International Conference on Systems, Man and Cybernetics (SMC'96), Beijing, China, Oct. 14-17, 1996, Vol. 4, pages 3027-3032. IEEE, October 1996.
Abstract: As middleware and networking technologies improve, heterogenous distributed systems are expected to become commonplace. An Object-based approach to designing these systems has been adopted by ISO and ITU-T in their standardisation of the Reference Model for Open Distributed Processing (RM-ODP). An important infrastructure Object within these systems is the recently standardised Trader, which provides Objects with a dynamic resource location service. In order to engineer reliable Open Object-based Distriubted Systems, it is important to perform modelling and analysis as part of the design process. In this paper, we model the Trader using Coloured Petri Nets and the Design/CPN tool. The model is described, and verification of the model using simulation and Occurrence Graph Analysis is presented.
Keywords: Modelling; Simulation; Distributed Processing; Petri Nets.