Completed on 2 March 2009 by Matthias Davidek.

• Prof. Dr.-Ing. Oliver Theel
• Dipl.-Inform. Christian Storm

• Replication

Data replication is used to minimise the possibility of access failures to urgently required critical data (high access availability), but also to reduce access times to this data (load balancing).

A prototype for consistent data replication was created in the department. This prototype includes a component that allows any so-called Coterie-based replication procedure to be specified. The prototype is able to process both static and dynamic replication strategies. Dynamic replication strategies are generally characterised by higher access costs on the one hand and higher access availability of the replicated document on the other. In principle, the replication strategy used can be adapted to changing requirements at runtime, e.g. by adding and removing computers participating in the replication process or by changing the replication strategy.

In addition to the simulation, the analytical determination of the properties of a selected strategy, such as its operating costs and operating availability, is also desirable. For this purpose, a system model of the framework has been created using generalised stochastic Petri nets (GSPN).

The task to be solved in this thesis is the conception and implementation of an analysis tool for the system model of the adaptive-dynamic replication framework adGSV. In contrast to the use of a general analysis tool, the use of a specialised analysis tool allows specific optimisations, e.g. with regard to the size of the induced state space or the required runtime for an analysis run, which are to be realised within the scope of the work. Existing frameworks such as the Petri Net Kernel framework can be used as a basis.

• Python
• Petri nets