Configuration in the framework of open distributed processing

Open distributed processing (ODP) is an ongoing standardization activity by both ISO and CCITT providing an object oriented reference model (RM ODP) for open distributed systems. Certain abstraction levels called viewpoints are introduced by the RM ODP. The formal description technique LOTOS is used to define formal models for the computation and engineering viewpoint by sublanguages LOTOScomp and LOTOSeng. The use of these sublanguages as configuration languages on different abstraction levels is shown and illustrated by an example. The mappability of LOTOS specification in particular from the engineering viewpoint into implementations is outlined for the object space