Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 75-79 |
| Number of pages | 5 |
| Volume | 2 |
| ISBN (Print) | 0780364864, 9780780364868 |
| DOIs | |
| Publication status | Published - 2000 |
| Event | 4th Korea-Russia International Symposium on Science and Technology, KORUS 2000 - Ulsan, Korea, Republic of Duration: 27 Jun 2000 → 1 Jul 2000 |
Other
| Other | 4th Korea-Russia International Symposium on Science and Technology, KORUS 2000 |
|---|---|
| Country | Korea, Republic of |
| City | Ulsan |
| Period | 27.6.00 → 1.7.00 |
Fingerprint
Keywords
- application servers
- distributed systems
- geoinformation system
- modeling
- PS-nets
ASJC Scopus subject areas
- Clinical Biochemistry
- Computer Networks and Communications
- Biotechnology
- Civil and Structural Engineering
- Mechanics of Materials
- Electronic, Optical and Magnetic Materials
- Materials Chemistry
- Surfaces, Coatings and Films
Cite this
Using PS-nets for analysis of parallel processes interaction in application server. / Markov, N.; Miroshnichenko, Evgeniy Alexandrovich; Ostrast, P.; Sarajkin, A.
Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology. Vol. 2 Institute of Electrical and Electronics Engineers Inc., 2000. p. 75-79 865997.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Using PS-nets for analysis of parallel processes interaction in application server
AU - Markov, N.
AU - Miroshnichenko, Evgeniy Alexandrovich
AU - Ostrast, P.
AU - Sarajkin, A.
PY - 2000
Y1 - 2000
N2 - 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.
AB - 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.
KW - application servers
KW - distributed systems
KW - geoinformation system
KW - modeling
KW - PS-nets
UR - http://www.scopus.com/inward/record.url?scp=84960939787&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84960939787&partnerID=8YFLogxK
U2 - 10.1109/KORUS.2000.865997
DO - 10.1109/KORUS.2000.865997
M3 - Conference contribution
AN - SCOPUS:84960939787
SN - 0780364864
SN - 9780780364868
VL - 2
SP - 75
EP - 79
BT - Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology
PB - Institute of Electrical and Electronics Engineers Inc.
ER -