Intelligent networks: computer aided analysis for SLP specification

The author describes the environment within which an SLP (service logic program) operates, and in particular describes the relationship between SLPs and FCs (functional components). This is followed by a discussion of how the specification of SLPs can be expressed in SDL, which in turn is followed by a brief review of how SLP specifications can be analysed for logical errors based upon SDL dynamic semantics. Then follows a discussion of how specification written in SDL can be analysed for logical errors within an SLP environment, where the errors themselves are defined in SDL. And finally advantages and limitations of the technique are discussed