Modeling selected real-time database concurrency control protocols in Uppaal

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F09%3A00021351" target="_blank" >RIV/61989100:27240/09:00021351 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Modeling selected real-time database concurrency control protocols 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 onsome variants of pessimistic and optimistic 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

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

IN - Informatics

OECD FORD branch

—

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)

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Innovations in Systems and Software Engineering

ISSN

1614-5046

e-ISSN

—

Volume of the periodical

5

Issue of the periodical within the volume

2

Country of publishing house

GB - UNITED KINGDOM

Number of pages

10

Pages from-to

—

UT code for WoS article

—

EID of the result in the Scopus database

—