Title :
Reachability analysis of the ODP Trader using equivalence classes
Author :
Tokmakoff, Andrew ; Billington, Jonathan
Author_Institution :
Telecommun. Syst. Eng. Centre, Univ. of South Australia, The Levels, SA, Australia
Abstract :
As part of the ISO/IEC standardisation of the reference model for open distributed processing (RM-ODP), a trading function has been identified. It is an important infrastructure service that allows clients to locate services using service types and associated parameters as selection criteria. The paper introduces the concept of service trading and presents a coloured Petri net model of the trader´s object interactions. The model is analysed using occurrence graphs with equivalence classes which results in a significantly reduced equivalent occurrence graph
Keywords :
ISO standards; Petri nets; client-server systems; equivalence classes; object-oriented programming; open systems; reachability analysis; standardisation; ISO/IEC standardisation; ODP Trader; client service location; coloured Petri net model; equivalence classes; infrastructure service; object interaction; occurrence graphs; open distributed processing; reachability analysis; reference model; selection criteria; service trading; service types; trading function; Australia; Computer architecture; Distributed processing; Hardware; IEC standards; ISO standards; Petri nets; Reachability analysis; Software systems; Systems engineering and theory;
Conference_Titel :
Software Engineering: Education & Practice, 1998. Proceedings. 1998 International Conference
Conference_Location :
Dunedin
Print_ISBN :
0-8186-8828-9
DOI :
10.1109/SEEP.1998.707629
