By Topic

Using PS-nets for analysis of parallel processes interaction in application server

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Markov, N. ; Dept. of Comput. Eng., Tomsk Polytech. Univ., Russia ; Miroshnichenko, E. ; Ostrast, P. ; Sarajkin, A.

Application servers (ASs) are actively used by various companies as a basis of distributed systems supporting remote user access to some application functions. Developing multi-user software seems a non-trivial problem for the necessity of providing parallel process interaction. The geoinformation AS (Markov and Ostrast, 1999) is of the following structure of process interaction. For each user connected, a session is created as a process. Each session has a time limit, after expiration of which the unused session is deleted. The main process carries out process creation/deletion and processing of the global session list. A lump of processes and the necessity of their synchronization have required modeling AS software for validating its correctness. The formalism of PS-nets has been used by the authors as the model of representing the parallel processes (Markov et al., 1997). With its help, the problems of validating AS software correctness have been analyzed

Published in:

Science and Technology, 2000. KORUS 2000. Proceedings. The 4th Korea-Russia International Symposium on  (Volume:2 )

Date of Conference: