SDL with applications from protocol specification
著者
書誌事項
SDL with applications from protocol specification
（BCS practitioner series）
Prentice Hall International (UK) , Hanser Verlag, 1991
- : pbk
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Translated from German
Includes bibliographical references (p. 271-272) and index
内容説明・目次
内容説明
SDL is the Specification and Description Language recommended by CCITT (Comite Consultatif International Telegraphique) for the unambiguous specification and description of the behaviour of telecommunication systems. Besides serving as a textbook on SDL, this volume is an introduction to the area of protocol specification. By explaining SDL in a specific area of application, it is hoped that the reader will understand the practical value of the language. SDL is described at three levels: a general overview; a more detailed description of the basic functions; and an investigation of the advanced functions.
目次
- 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.
「Nielsen BookData」 より
