%0 Conference Proceedings
%T Performance Analysis of Interactive Internet Systems for a Class of Systems with Dynamically Changing Offers
%+ Department of Computer and Control Engineering [Rzeszow]
%A Rak, Tomasz
%A Werewka, Jan
%Z Part 2: Modelling and Formal Methods in Software Development
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th Central and East European Conference on Software Engineering Techniques (CEESET)
%C Krakow, Poland
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Tomasz Szmuc
%Y Marcin Szpyrka
%Y Jaroslav Zendulka
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Advances in Software Engineering Techniques
%V LNCS-7054
%P 109-123
%8 2009-10-12
%D 2009
%R 10.1007/978-3-642-28038-2_9
%Z Computer Science [cs]Conference papers
%X This paper presents the performance analysis of interactive Internet systems, for which the time rate of system offer change is comparable to the users interaction time with the system. In this paper such systems class is called Interactive Internet Systems with Dynamically Changing Offers (IISDCO). In IISDCO systems an offer change may cause cancellation of the started but incomplete transactions. The necessity of cancellation can result from the sale of a set of resources (goods sold) which is getting exhausted or whose price has changed.This paper includes a performance analysis of an on-line stock exchange system (sample of IISDCO). For the analysis we used models in the form of Time Coloured Petri Nets (TCPNs). We also reviewed the proposed models on the example of the Internet on-line stock exchange system.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01527382/document
%2 https://inria.hal.science/hal-01527382/file/978-3-642-28038-2_9_Chapter.pdf
%L hal-01527382
%U https://inria.hal.science/hal-01527382
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-7054
%~ IFIP-CEESET