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

Результат исследований: Материалы для книги/типы отчетовМатериалы для конференции

Аннотация

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.

Язык оригиналаАнглийский
Название основной публикацииProceedings - KORUS 2000: 4th Korea-Russia International Symposium on Science and Technology
ИздательInstitute of Electrical and Electronics Engineers Inc.
Страницы75-79
Число страниц5
Том2
ISBN (печатное издание)0780364864, 9780780364868
DOI
СостояниеОпубликовано - 2000
Событие4th Korea-Russia International Symposium on Science and Technology, KORUS 2000 - Ulsan, Республика Корея
Продолжительность: 27 июн 20001 июл 2000

Другое

Другое4th Korea-Russia International Symposium on Science and Technology, KORUS 2000
СтранаРеспублика Корея
ГородUlsan
Период27.6.001.7.00

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

Fingerprint Подробные сведения о темах исследования «Using PS-nets for analysis of parallel processes interaction in application server». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать