Sdl with Applications from Protocol Specification
Ferenc Belina, Dieter Hogrefe, Amardeo C. Sarma · 1991
Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this book. Part 2 Overview of the language: specification, type and instance system instance behaviour system instance structure system specification structure abstract data type representation forms. Part 3 Basic SDL: hierarchical specifications system specification block specification process specification extended processes (using data) process communication creating and terminating processes other SDL process concepts comment shorthands a complete SDL example. Part 4 Structural concepts: channel partitioning procedure service signal refinement. Part 5 Additional concepts: macro option signal list declaration label and join continuous signal enabling condition import/export viewing variables nondeterminism. Part 6 General lexical and syntax rules: lexical rules visibility and naming rules. Part 7 Abstract data types: partial type specifications conditional equations error inheritance generators infix operators ordering name class literal default assignment predefined sorts predefined generators. Part 8 Interpretation model: interpretation of a system specification interaction with the environment dynamic semantics. Part 9 Protocol specification with SDL: the OSI basic reference model basic approach - the vertical view of protocols alternative approach - the horizontal view of protocols the inres system generic OSI specifications.