In: Proc. 1997 International Conference on Information, Communications and Signal Processing: Trends in Information Systems Engineering and Wireless Multimedia Communications (ICICS97), Vol. 1, 9-12 September 1997, pages 417-421. IEEE Singapore, 1997. ISBN: 0-7803-3676-3.
Abstract: One of the most important considerations for applications operating in a mobile environment is the ability to dynamically adjust to changing resource availability. With a dynamic resource location service as part of the infrastructure, mobile applications are able to re-bind to service providers as they move within the mobile environment and as available services change. As part of the ISO/IEC and ITU-T standardisation of the Reference Model for Open Distributed Processing (RM-ODP), a Trading function has been identified. It is an important infrastucture service that allows clients to locate services using service types and associated parameters as selection criteria. In order to engineer reliable Open Object-based Distributed Systems, it is important to perform modelling and analysis as part of the design process. This paper introduces how it may be utilised by applications in a mobile environment. In addition, Coloured Petri Nets are shown to be useful for the modelling and verification of distributed mobile applications.
Keywords: Modelling; Object-based Mobile Systems; Petri Nets.
Back to the Petri Nets Bibliography