Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

MORAVCOVÁ VAŘEKOVÁ, Pavlína, Ivana VAŘEKOVÁ a Ivana ČERNÁ. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08). Málaga, Spain: Department of Computer Science, University of Málaga, 2008, s. 41-55. ISSN 1571-0661.

Základní údaje

Originální název

Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

Název česky

Automatizované počítání maximálního počtu obsluhovaných klientů v klient-server systémech

Autoři

MORAVCOVÁ VAŘEKOVÁ, Pavlína (203 Česká republika, garant), Ivana VAŘEKOVÁ (203 Česká republika) a Ivana ČERNÁ (203 Česká republika)

Vydání

Málaga, Spain, Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), od s. 41-55, 15 s. 2008

Nakladatel

Department of Computer Science, University of Málaga

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Španělsko

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/08:00024304

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

Client-Server systems; formal verification; infinite state systems; component-based system analysis

Štítky

Client-Server systems, component-based system analysis, formal verification, infinite state systems

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

In many real software systems like Client-Server systems, one can identify a stable part and a number of uniform components of the same type. When analysing performance and correctness of these systems we need to answer questions like "What is the maximal possible number of clients which can be handled simultaneously?" or more generally "What is the maximal possible number of clients which are in the some special situation when the control component is in a particular state?". In the paper we propose an automated technique solving such questions. For Client-Server systems we reduce the problem of finding the upper bound on the number of handled clients to the formal verification of reachability properties in infinite state transition systems. For the verification task we propose an efficient and fully automated algorithm which combines several techniques proposed in existing literature. Applying the algorithm we verify models of several previously published systems.

Česky

V článku prezentujeme algoritmus který pro klient-server systémy řeší otázky typu: "Jaký je maximální počet klientů, kteří můžou být zároveň v zadaných stavech?"

---

Návaznosti

1ET400300504, projekt VaV	Název: Realistická aplikace formálních metod v komponentových systémech Investor: Akademie věd ČR, Realistická aplikace formálních metod v komponentových systémech
1ET408050503, projekt VaV	Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky