CPN Modelling of an Object Based System: The ODP Trader
Advances in computing power and networking technologies are leading the way to a new generation of information systems, where heterogeneous computers share resources and cooperate in a distributed manner. Such systems are inherently complex due to concurrency and synchronisation of activities operating in parallel, making design and implementation much more challenging than yesterday’s stand-alone personal computers. In order to engineer these Open Distributed Systems, tools are required to aid in the design and analysis processes. In this paper, Coloured Petri Nets and the Design/CPN™ tool are used to model the ODP Trader which has been recently standardised by ISO and ITU-T. The Trader is presented in an electronic commerce environment, where interworking of Traders is demonstrated.
KeywordsColoured Petri Nets ODP Trader Electronic Commerce.
Unable to display preview. Download preview PDF.
- Bastide, R. (1995) “Approaches in unifying Petri nets and the Object-oriented Approach” Available at: http://www.dsi.unimi.it/Users/Labs/PetriLab/ws95/abstract/bastide.htmlGoogle Scholar
- Bietz, A., Berry, A., Lister, A. and Raymond, K.A. (1993) “Introduction to Open Distributed Processing”, Proceedings of the ACS Queensland Branch Conference–Overcoming Isolation: The Human-Computer Connection, Townsville, Australia, pp. 27–34.Google Scholar
- Billington, J., Wheeler, G. R. and Wilbur-Ham, M. C. (1988) “PROTEAN: A High-level Petri Net tool for the Specification and Verification of Communication Protocols”, IEEE Transactions on Software Engineering, Vol 14, No. 3.Google Scholar
- Billington, J. (1991) “FORSEEing Quality Telecommunications Software”, Proceedings of the First Australian Conference on Telecommunications Software, ( ACTS) April 1991.Google Scholar
- Dibold, H. (1992) “Hierarchical Coloured Petri Nets for the Description of Services in an Intelligent Network”, International Zurich Seminar on Digital Communications: IN and their Applications, 1992.Google Scholar
- ITU/ISO ODP (1994) ‘Reference Model of Open Distributed Processing-Part 1: Overview and Guide to Use’ Draft International Standard 10746–1, Draft ITU-T Recommendation X.901,1994.Google Scholar
- ITU/ISO Trading Tutorial (1995) “Reference Model of Open Distributed Processing — Trading Function Annex A: Tùtorial of the Trading Function”. Available at: http://www.dstc.edu.au/AU/research_news/odp/trader/tr tutoria1.htmIGoogle Scholar
- ITU/ISO Trading (1995) “Reference Model of Open Distributed Processing - Trading Function” ISO/IEC DIS 13235/Draft Recommendation. X.950, June 1995. Also available from: http://www.dstc.edu.au/AU/research news/odp/trader/standards.htmlGoogle Scholar
- Jensen, K. (1992) “Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume I: Basic Concepts”, EATCS Monographs on Theoretical Computer Science, Springer-Verlag.Google Scholar
- Jorgensen, J.B., Mortensen, K. H. and Sousa, A. V. (1994) “Modelling and Analysis of Distribution in BETA Using Coloured Petri Nets”, Technical Report, Computer Science Department, Aarhus University.Google Scholar
- Meta Software Corporation (1992) Design/CPN User’s Manual. Cambridge, Mass, U.S.A.Google Scholar
- Mortensen, K. H. and Pinci V. (1994) “Modelling the Workflow of a Nuclear Waste Management Program”, Application and Theory of Petri Nets 1994, LNCS 815, R. Valette ( Ed ), Springer-Verlag, pp. 376–395.Google Scholar
- Valmari, A. (1989) “Stubborn sets for reduced state space generation”. Advances in Petri Nets 1990, LNCS 483, Springer-Verlag 1990 pp. 491–515, originally appeared in Proceedings of 10th International Conference on Application and Theory of Petri Nets, Bonn, Vol II, pp. 1–22.Google Scholar
- Vogel, A., Bearman, M. and Beitz, A (1995) “Enabling Interworking of Traders”. Open Distributed Processing: Experiences with distributed environments, K. Raymond, L. Armstrong (Eds), Chapman and Hall, 185–196. Also available at: http://www.dstc.edu.au/AU/staff/andreas-vogel/papers/icodp95.psCrossRefGoogle Scholar
- Wheeler, G., Valmari, A. and Billington, J. (1990) “Baby TORAS Eats Philosophers but thinks about Solitaire”, Proceedings of the Australian Software Engineering Conference (ASWEC) 1990.Google Scholar