Objektorientierte Programmierung und SoftwareentwicklungEine kritische Einschätzung

In der Softwaretechnik ist die Objektorientierung inzwischen wohl der popul?rste Ansatz für Programmierung, Entwurf und Analyse. Allerdings hat es die Objektorientierung in ihren bisherigen Auspr?gungen nicht geschafft, den Bedürfnissen der heutigen hochverteilten, interoperativen Softwareanwendungen gerecht zu werden.     

Partial abstract types

Summary Hierarchical abstract types, where particular sorts, operations, and axioms are designated as primitive, with conditional equational formulas are studied. Introducing notions of different homomorphisms particular models of this class can be distinguished as initial or (weakly) terminal. Sufficient conditions for the existence of such models are given and their relationship to the principle of fully abstract semantics is investigated. By this the concept of algebraic specification is extended to specify the semantics of programming languages in a completely abstract algebraic way as it is demonstrated for two toy languages.This research has been partially sponsored by the Sonderforschungsbereich 49 — Programmiertechnik, München     

Denotational semantics of communicating processes based on a language for applicative multiprogramming

The denotational semantics of a simple language for describing tightly coupled ‘synchronous’ systems is defined by translating it into a language for applicative multiprogramming. The applicative language has originally been developed for describing nondeterministic stream-processing functions and loosely-coupled systems of communicating processes. Nevertheless, it can be used after very slight generalizations as a semantic target language for defining the meaning of programs representing tightly-coupled, synchronous systems.     

A systematic approach to language constructs for concurrent programs

Several styles and notations for representing concurrent programs are shortly explained and related to each other. It is basically demonstrated how the different language concepts found in concurrent programming conceptually evolve from classical styles of functional and applicative programming.