================================================================================
P9310   A.S. Klusener, S.F.M. van Vlijmen & A. van Waveren
        "Service independent building blocks-I; concepts, examples and
        formal specifications"


In this paper we present descriptions of some Service Independent Building
Blocks and related concepts like Global Service Logic, which form part of
the conceptual model for Intelligent Networks. These descriptions
correspond with the formal specifications that are given in the appendix,
however they differ slightly from the definitions in the CCITT
Recommendation. The differences occur at points at which the Recommendation
was not clear to us and  they are discussed in this paper as well.

A formal specification is useful for a thorough understanding of the
Service Independent Building Blocks. Furthermore, it enables simulation of
services and it can serve as a basis for studies of the correctness of
implementations.