دانلود مقاله Modeling Basic Two Phase Locking Distributed Database Concurrency Control Algorithm Using Rebeca
سال انتشار: ۱۳۸۵
محل انتشار: چهاردهمین کنفرانس مهندسی برق ایران
تعداد صفحات: ۶
Reza Basseda – Database Research Group Faculty of Electrical and Computer Eng. School of Engineering, University of Tehran
Maseud Rahgozar – Control and Intelligent Processing Center of Excellence Faculty of Electrical and Computer Eng. School of Engineering, University of Tehran
In this paper, we are going to model one of the most important concurrency control algorithms called Basic Two Phase locking algorithm with Rebeca modeling language to validate its properties. We also show that Rebeca is suitable for modeling a concurrency control algorithm and it is not as complicated as proof theory approach. Through this work, we do model checking by abstracting from some of design points that in our opinion doesn’t affect final results. This way, we recognize visible variables as output of system. Model checking will show system’s reduced behavior.