Some Formal Approaches for Dynamic Life Session Management

published in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007.

Cite as

F. Boian et al., "Some Formal Approaches for Dynamic Life Session Management", in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007

1	F. Boian et al., "Some Formal Approaches for Dynamic Life Session Management", in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007

Full paper

Some Formal Approaches for Dynamic Life Session Management

Authors

Florian Boian, Darius Bufnea, Alexandru Vancea, Adrian Sterca, Dan Cojocar, Rares Boian,
Department of Computer Science, Faculty of Mathematics and Computer Science,
Babeş-Bolyai University of Cluj-Napoca

Abstract

At this moment, the lifetime of a Web session is rigidly established at the level of the Web application and certain implicit constant values are suggested for this duration in the same stiffly manner by most of the Web technologies. This paper introduces some formal models for determining, establishing and dynamic maintaining the lifetime of a HTTP session. To achieve these goals we took into account also the personalized type of work every user does and the particular way in which he or she interacts with the Web application/server. In the following, three different formal approaches will be presented regarding the lifetime management of a Web session.

Key words

dynamic HTTP session management

BibTeX bib file

boian-bufnea-2007.bib

@inproceedings{boian2007,
  title={Some Formal Approaches for Dynamic Life Session Management},
  author={Boian, Florian and Bufnea, Darius and Vancea, Alexandru and Sterca, Adrian and Cojocar, Dan and Boian, Rares},
  booktitle={Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques - KEPT2007, Cluj-Napoca (Romania), June 6-8, 2007},
  pages={227--235},
  year={2007}
}

@inproceedings{boian2007,

title={Some Formal Approaches for Dynamic Life Session Management},

author={Boian, Florian and Bufnea, Darius and Vancea, Alexandru and Sterca, Adrian and Cojocar, Dan and Boian, Rares},

booktitle={Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques - KEPT2007, Cluj-Napoca (Romania), June 6-8, 2007},

pages={227--235},

year={2007}

}

References

F.M. Boian, D. Bufnea, A. Vancea, A. Sterca, D. Cojocar, R. Boian, A Model for Efficient Session Object Management in Web Applications, Proceedings of the Symposium “Colocviul Academic Clujean de Informatica”, Cluj-Napoca, 2006, pp. 131-136.
F.M. Boian, R. Boian, A. Vancea, AMS: An Assignment Management System for Professors and Students, Proceedings of the Symposium “Colocviul Academic Clujean de Informatica”, Cluj-Napoca, 2006, pp. 137-142.
R. Fielding, R. J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, T. Berners-Lee, Hypertext Transfer Protocol — HTTP/1.1, RFC 2616, June 1999.
D. Allen, Improved Session Tracking, http://www.mojavelinux.com/blog/archives/2006/09/improved_session_tracking/, September 2006.
V. Paxson, M. Allman, Computing TCP’s Retransmission Timer, IETF RFC 2988, November 2000.
Charles M. Grinstead, J. Laurie Snell, Introduction to Probability, American Mathematical Society, July 1997.
F. Boian, Al. Vancea, D. Bufnea, C. Cobarzan, A. Sterca, D. Cojocar, Sisteme de operare, Editura Risoprint 2006, ISBN 973-751-220-0, 978-973-751-220-8.