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

fYear

1998

fDate

26-29 Jan 1998

Firstpage

16

Lastpage

23

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering: Education & Practice, 1998. Proceedings. 1998 International Conference

Conference_Location

Dunedin

Print_ISBN

0-8186-8828-9

Type

conf

DOI

10.1109/SEEP.1998.707629

Filename

707629