---

In the modern world, computers have penetrated ever deeply into our society, and in turn, society is becoming more dependent on computer systems. This increased reliance on computer systems brings the requirement for increased availability and reliability, assurance and dependability to the fore. However, the complexity of today´s systems, in particular distributed systems, makes these requirements difficult to achieve or even assess. In order to increase reliability of those systems and to deal with the availability issues arising from contemporary partitioned (i.e. degraded) networks, their management is moving towards automated paradigms off the programmer´s responsibility. This book deals with the analysis, i.e. detection and resolution, and subsequent trading of potential consistency threats in the scope of an application server. The thesis makes a novel contribution towards both detection and resolution of constraint inconsistencies in an application server´s context.

---

Markus Horehled was born in 1969 in Vienna, Austria. He attended the Technical University of Applied Sciences at the Technikum Vienna. Since 1994 he has worked with companies such as IBM and Algorithmics, advancing from the mainframe environment to a JAVA senior software engineer. He currently resides in Vienna and works as a software architect.

---