Reinhard Gotzhein

Learn More
The service concept has acquired an increasing level of recognition by protocol designers. Being an architectural concept, the service concept influences the methodology applied to service and protocol definition. Since the protocol is seen as the logical implementation of the service, one can ask the question whether it is possible to formally derive the(More)
The service specification concept has acquired an increasing level of recognition by protocol designers. This architectural concept influences the methodology applied to service and protocol definition. Since the protocol is seen as the logical implementation of the service, one can ask whether it is possible to formally derive the specification of a(More)
SDL is a system design language that is being promoted for the development of reliable systems. In this paper, we apply SDL to capture design solutions to well-known mechanisms found in reliable systems a watchdog and a heartbeat for reuse. In particular, we present a methodology to augment system reliability step-by-step, and define and apply generic(More)
Gotzhein, R., Temporal logic and applications--a tutorial, Computer Networks and ISDN Systems 24 (1992) 203-218. Temporal logic is a branch of formal logic which is of particular interest for the specification and verification of concurrent systems including communication services and protocols. This tutorial presents the principles of temporal logic and(More)
In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL2000 was officially approved to become part of the SDL language definition. It covers both the static and the dynamic semantics, and is based on the formalism of abstract(More)