No abstract

No abstract

No abstract

ISO and IEC have jointly developed two Formal Description Techniques (FDTs) for specifying distributed real time systems such as computer/telecommunications protocols. These are Lotos and Estelle. In this paper, a formal method for automated transformation of a Lotos specification to an Estelle specification is presented. The method is applicable to various Lotos specification styles and to various communications protocols of ISO OSI layers.Our method has applications in conformance testing of such systems and building common semantic model for the various FDTs. In this paper, we develop an algorithm for constructing a 'Data Oriented'-Restricted Behavior Tree T that represent both the control flow aspects and the data flow aspects of the system. Then, we develop an algorithm for constructing the Estelle specifications from T. A minimization rule is also developed to optimize the size of the Estelle specification by reducing both the number of states and the number of transitions.

An IN (Intelligent Networks) management scheme for ISO Interface is presented in this paper. The interface is for interactions, via services called Input/Output Services, between desktop applications and voice terminals. These services allow computer applications to provide users with enhanced services by exploitation of the characteristics of a variety of telephony device types. This is by interacting with a switch-based software object, called Information-Path, associated with the device that allows input to be received from the device and output to be sent to the device. The management scheme is suitable for multimedia interactive telecommunications. It covers applications that involve only voice calls (ISDN B channel), only data calls (ISDN D channel), and both voice calls and data calls (both ISDN B channel and ISDN D channel). So, it is suitable for multimedia communications that involve voice, data, and graphics. The applicability is demonstrated by applications scenarios that involve multimedia mail.