In: Saracco, R.; et al: SDL'87: State of the Art and Future Trends. Proceedings of the Third SDL Forum, 1987, The Hague, The Netherlands, pages 285-294. Amsterdam, The Netherlands: North-Holland, 1987.
Abstract: Rules for translating the CCITT Yellow Book SDL into predicate/transition nets are presented. Difficulties originating in conflicting requirements between the analysis method used and the SDL definition are discussed. Implications of practical solutions to overcome these difficulties are considered. An implementation for verification of SDL specifications is described. Its applicability as an aid for verifying concurrent systems in their specification and development phases is evaluated.
Keywords: predicate/transition net; reachability; CCITT Yellow Book SDL; conflicting requirements.