GMD-Studien Nr. 192, pages 1-68 pp.. St. Augustin, Germany: Gesellschaft für Mathematik und Datenverarbeitung mbH, May 1991.
Abstract: Die Studie enhält einen Beitrag für DIN 21.1.1 (Formale Beschreibungstechniken für OSI-Dienste und Protokolle). Sie führt in grundsätzliche Probleme ein, die mit der Formalisierung räumlicher und zeitlicher Beziehungen in Beschreibungsmitteln zusammenhängen. Nach einer Einleitung werden im Kapitel 2 die Produktnetze im benötigten Umfang beschrieben. Kapitel 3 führt in die Probleme beim EntwurfsprozeÑ räumlich und zeitlich verteilter Systeme ein und zeigt, wie in Produktnetze integrierte formale Konzepte der räumlichen Verteilung definiert und eingestetzt werden können. Kapitel 4 behandelt Aspekte von Tests.
Keywords: distributed system design (using) product net(s); open system interconnection service, protocol.