An approach to the analysis of interworking traders

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1639, Issue , 1999, Pages 127-146

  Tokmakoff, A ^a   Billingtont, J ^b  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Coloured petri nets; Interworking; Odp trader; Scenario analysis

Indexed keywords

EQUIVALENCE CLASSES; PETRI NETS;

COLOURED PETRI NETS; INTERWORKING; MATCH MAKING; OCCURRENCE GRAPH; ODP TRADER; OPEN DISTRIBUTED SYSTEMS; SCENARIO ANALYSIS;

COMMERCE;

EID: 35048898274     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48745-X_9     Document Type: Conference Paper

References (11)

1. ISO/IEC Trading (1997) “Reference Model of Open Distributed Processing – Trading Function”, ISO/IEC IS 13235–1. ITU/T Draft Rec. X950–1, 1997. Also available at: http://www.dstc.edu.au/AU/research_news/odp/trader/standards.html
2. Jensen, K. (1992) “Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1: Basic Concepts”, EATCS Monographs on Theoretical Computer Science, Springer–Verlag.
3. ISO/IEC IS 10746–1 | ITU–T Recommendation X.901 (1996) “Reference Model of Open Distributed Processing – Part 1: Overview and Guide to Use”, Geneva, Switzerland.
4. The Object Management Group Inc (1995), “The Common Object Request Broker: Architecture and Specification Revision 2.0”, July, 1995.
5. CPN Group, University of Aarhus (1996), Online Design/CPN User’s Manual. http://www.daimi.aau.dk/designCPN/man/X_2.0/REF/Reference.All.pdf
6. ISO/IEC Trading Tutorial (1996) “Reference Model of Open Distributed Processing – Trading Function Annex A: Tutorial of the Draft Trading Function”. http://www.dstc.edu.au/AU/research_news/odp/trader/tr_tutorial.html
7. Tokmakoff, A. (1998) “Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java”, PhD Thesis, Faculty of Information Technology, University of South Australia, March 1998. http://www.itr.unisa.edu.au/~steven/thesis/aat.pdf
8. Tokmakoff, A. and Billington, J. (1996) “CPN Modelling of An Object Based System: The ODP Trader”, 1st International Workshop on Formal Methods for Open Object–based Distributed Systems, Paris, France, May 1996, pp. 245–260. http://www.itr.unisa.edu.au/people/andrew/papers/FMOODS96.ps.gz
9. Tokmakoff, A., Billington, J. (1998) “Reachability Analysis of the ODP Trader using Equivalence Classes”, Proc. International Conference on Software Engineering: Education and Practice, Dunedin, New Zealand, 26–29 January, 1998, IEEE Computer Society Press. http://www.irisa.fr/prive/Andrew.Tokmakoff/tsec/papers/SEEP98.pdf
10. Jensen, K. (1994) “Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 2: Analysis Methods”, EATCS Monographs on Theoretical Computer Science, Springer–Verlag.
11. Garland, S., J., (1986), “Introduction to Computer Science with applications in Pascal”, Addison–Wesley, 1986, ISBN 0–201–04398–X.