MORAVCOVÁ VAŘEKOVÁ, Pavlína, Ivana VAŘEKOVÁ and 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, p. 41-55. ISSN 1571-0661. |
Other formats:
BibTeX
LaTeX
RIS
@inproceedings{788377, author = {Moravcová Vařeková, Pavlína and Vařeková, Ivana and Černá, Ivana}, address = {Málaga, Spain}, booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08)}, keywords = {Client-Server systems; formal verification; infinite state systems; component-based system analysis}, language = {eng}, location = {Málaga, Spain}, pages = {41-55}, publisher = {Department of Computer Science, University of Málaga}, title = {Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems}, year = {2008} }
TY - JOUR ID - 788377 AU - Moravcová Vařeková, Pavlína - Vařeková, Ivana - Černá, Ivana PY - 2008 TI - Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems PB - Department of Computer Science, University of Málaga CY - Málaga, Spain KW - Client-Server systems KW - formal verification KW - infinite state systems KW - component-based system analysis N2 - 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. ER -
MORAVCOVÁ VAŘEKOVÁ, Pavlína, Ivana VAŘEKOVÁ and Ivana ČERNÁ. Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. In \textit{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, p.~41-55. ISSN~1571-0661.
|