Intelligent Networks: Computer Aided Analysis for SLP Specification

Citation

Magill E (1992) Intelligent Networks: Computer Aided Analysis for SLP Specification. In: Eighth International Conference on Software Engineering for Telecommunication Systems and Services, 1992. Eighth International Conference on Software Engineering for Telecommunications Systems and Services, April 1992, Florence, Italy. Piscataway, NJ, USA: IEEE, pp. 112-116. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=145607&abstractAccess=no&userType=inst

Abstract
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