A possible approach is to adopt concepts from process algebras which provide compositional system descriptions and formalize dynamic behavior. However, many conceptional and theoretical questions then arise. On the other hand, the developed concepts need to be investigated and evaluated in the light of concrete applications. Both these aspects will be the central concern of this seminar. In particular, we would like the following topics to be addressed Modelling and design methods.
Information systems involve data, objects and global processes.
Uml would give a more clear picture of the underlying system model. Semantics of object-oriented specification languages. Describing the semantics of a formal language amounts to giving a map from syntactic constructs into a suitable semantic domain. For object-oriented specification languages, possible domains are process algebras, Petri nets, event structures, the actor model, type algebra, and others. Studies on relating and evaluating such domains are necessary.