Date of Award

Spring 1997

Document Type

Thesis

Degree Name

Master of Science in Electrical Engineering - (M.S.)

Department

Electrical and Computer Engineering

First Advisor

MengChu Zhou

Second Advisor

Edwin Hou

Third Advisor

John D. Carpinelli

Abstract

Z39.50 is an American Standard for information retrieval. The standard depicts a client-server model of computing. With reference to the Open System Interconnection (COSI)) model developed by International Standards Organization (ISO); Z39.50 is an application layer protocol. A Z39.50 client performs searching, querying and requesting functions and a Z39.50 server interfaces with the database in the remote system and responds to client requests by providing a set of records for the search query.

Z39.50 state tables describe a complex set of concurrent and serial events. A Petri net model is prepared for the entire system comprising the protocol. A Petri net methodology proves to be a very effective way of analyzing this client-server model. A Reachability Graph is applied to the Petri Net model to study the behavioral properties of the protocol. We have used a timed Petri net simulator to evaluate the performance of this protocol.

Share

COinS