Abstract
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.
Chapter PDF
Similar content being viewed by others
References
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.html
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.
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.
Billington, J. (1991) “FORSEEing Quality Telecommunications Software”, Proceedings of the First Australian Conference on Telecommunications Software, ( ACTS) April 1991.
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.
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.
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.htmI
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.html
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.
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.
Meta Software Corporation (1992) Design/CPN User’s Manual. Cambridge, Mass, U.S.A.
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.
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.
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.ps
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Tokmakoff, A., Billington, J. (1997). CPN Modelling of an Object Based System: The ODP Trader. In: Najm, E., Stefani, JB. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35082-0_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35082-0_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2875-9
Online ISBN: 978-0-387-35082-0
eBook Packages: Springer Book Archive