From Object-Orientation to Formal Methods

Volume 2635 of the series Lecture Notes in Computer Science pp 83-95

Distributed Concurrent Object-Oriented Software

  • Manfred BroyAffiliated withInstitut für Informatik, Technische Universität München

* Final gross prices may vary according to local VAT.

Get Access


In software engineering object-oriented development is today the most popular programming and design approach. However, in contrast to Dahl’s original ideas object-orientation of today does not manage to address the needs of today’s software construction in such a radical and fundamental way as needed in highly distributed interoperating software applications. In the following, we extend object-orientation to asynchrony and distribution for engineering large distributed software systems. We show how object-oriented techniques can be extended to a programming methodology and software engineering for concurrent distributed systems. This is strictly in the spirit of Ole-Johan Dahl.