AbstractsComputer Science

Distributed systems, systems that interact with real-time devices, responsive GUI interfaces, systems that interact with hundreds of clients simultaneously have to function correctly even in a concurrent environment. Complex concurrent activities and interactions however make the development, i.e. understanding, analyzing, designing and implementing, of such systems extremely difficult. It is important to have a systematic approach to treat the many issues when developing concurrent systems. In this thesis, we describe an approach that addresses concurrency in all phases of object-oriented software development. We show how to identify inherent concurrency at early stages of the development, and we propose a way to systematically refine the resulting declarative specification into an object-oriented design, which controls concurrency and provides data consistency using transactions or monitors.