Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F08%3A00018953" target="_blank" >RIV/61989100:27240/08:00018953 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
Original language description
Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as well. In this paper we show some possibilities of using a verification tool Uppaal on some variants of pessimistic concurrency control protocols used in real-time database management systems. We present some possible models of such protocols expressed as nets of timed automata, which are a modeling language of Uppaal.
Czech name
Modelování real-time databázového protokolu pro řízení souběžného přístupu two-phase-locking
Czech description
Real-time systémy řízení báze dat (RTSŘBD) jsou aktuálně předmětem intenzivního výzkumu. Algoritmy pro ověřování modelů a verifikační nástroje jsou taky předmětem zájmu. V tomto článku ukážeme některé možnosti použití verifikačního nástroje Uppaal na některé varianty pesimistického protokolu pro řízení souběžného přístupu k datům v real-time databázových řídicích systémech. Popíšeme některé možné modely takových protokolů vyjádřené jako sítě časovaných automatů, které jsou modelovacím jazykem Uppaalu.
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/1M0567" target="_blank" >1M0567: Centre for Applied Cybernetics</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
IEEE Proceedings of the International Multiconference on Computer Science and Information Technology
ISBN
978-83-60810-14-9
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
IEEE Computer Science
Place of publication
Washington, DC
Event location
Polish Inform. Processing Society, Polsko
Event date
Oct 20, 2008
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—