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

N. Markov, Evgeniy Alexandrovich Miroshnichenko, P. Ostrast, A. Sarajkin

Division for Information Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.1109/KORUS.2000.865997
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

Markov, N., Miroshnichenko, E. A., Ostrast, P., & Sarajkin, A. (2000). Using PS-nets for analysis of parallel processes interaction in application server. In Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology (Vol. 2, pp. 75-79). [865997] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/KORUS.2000.865997

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

Markov, N , Miroshnichenko, EA, Ostrast, P & Sarajkin, A 2000, Using PS-nets for analysis of parallel processes interaction in application server. in Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology. vol. 2, 865997, Institute of Electrical and Electronics Engineers Inc., pp. 75-79, 4th Korea-Russia International Symposium on Science and Technology, KORUS 2000, Ulsan, Korea, Republic of, 27.6.00. https://doi.org/10.1109/KORUS.2000.865997

@inproceedings{1c96aff23c144c3cade3c2ded630294e,

title = "Using PS-nets for analysis of parallel processes interaction in application server",

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.",

keywords = "application servers, distributed systems, geoinformation system, modeling, PS-nets",

author = "N. Markov and Miroshnichenko, {Evgeniy Alexandrovich} and P. Ostrast and A. Sarajkin",

year = "2000",

doi = "10.1109/KORUS.2000.865997",

language = "English",

isbn = "0780364864",

volume = "2",

pages = "75--79",

booktitle = "Proceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "4th Korea-Russia International Symposium on Science and Technology, KORUS 2000 ; Conference date: 27-06-2000 Through 01-07-2000",

}

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.

T2 - 4th Korea-Russia International Symposium on Science and Technology, KORUS 2000

Y2 - 27 June 2000 through 1 July 2000

ER -

Access to Document

10.1109/KORUS.2000.865997