Systems Engineering Using SDL-92

1st Edition

Editors: O. Færgemand B. Møller-Pedersen J.R.W. Smith R. Reed
Authors: A. Olsen
Hardcover ISBN: 9780444898722
eBook ISBN: 9780444598905
Imprint: North Holland
Published Date: 14th September 1994
72.95 + applicable tax
43.99 + applicable tax
54.95 + applicable tax
270.91 + applicable tax
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Description

CCITT (now ITU-T) Specification and Description Language (SDL) and systems engineering (formal and informal) in SDL are considered in this publication. The latest version of the language, SDL-92 [ITU Z.100 SDL-92] is introduced.

The book has been written for existing and potential users of SDL - technologists involved in the specification and engineering of systems. It offers easier learning, through examples and application, than the Z.100 Recommendation of March 1993, which gives precise technical definitions and concepts. The book has sufficient coverage of the language so that for normal use it should not be necessary to consult Z.100. For this reason, the grammars, both textual and graphical, are included, and the index makes it possible to find text on most of the language mechanisms.

Chapter 1 provides an overview of specification and design of telecommunication systems. It considers the usage and scope of SDL. Chapter 2 gives an overview of the language, with an introduction of the major language elements. Chapter 3 focuses on the specification of behaviour and the information interchange between processes. Chapter 4 covers the structuring of systems in terms of instances, how these may be defined by types and how types may be organised in type/subtype hierarchies by inheritance. Parameterised types and packages of type definitions are also covered. Chapter 5 presents the part of the language that provides data types, with emphasis placed on how to use predefined data types. Chapter 6 presents the use of SDL for system engineering, with a discussion of general systems engineering principles followed by an introduction to methodologies which use SDL. The use of other languages in combination with SDL, documentation issues, naming and other lexical rules, errors and language support are considered, since they are more relevant to the use of language in engineering than when initially learning the language.

Table of Contents

Acknowledgements. Introduction. Intended usage. Overview of the book. Conventions of notation used in the book. 1. Specification of Telecommunications Systems. When to use SDL. What to describe in SDL. Limitations. Availability of SDL. 2. Overview of SDL. Introduction. Processes and process types. Specifying properties of variables. Specifying behaviour: states and transitions. Procedure attributes. Grouping objects: blocks of processes. Specifying systems: set of blocks connected by channels. Specialisation by adding attributes, states and transitions. Specialisation by redefining virtual transitions. Specialisation by redefining virtual procedures. Specialisation of signals. Classifying blocks: block types and specialisation of these. From partial to complete behaviour: composition of services. Diagrams and scope/visibility rules. Organising sets of related types: packages of type definitions. Summary. 3. Behaviour. Extended finite state machines. Processes. Communication. Contents of a process. Lifetime. The basics of a process. Other state triggers. Other actions. Procedure. Additional communication schemes. Modelling time. Examples. 4. Structure. Introduction. Structuring of systems. Parameterised types. Specialisation of types. Structuring of specifications. 5. Data. Introduction. General data concepts. The SDL data model. Structure of a data type definition. Use of literals and operators. Generators. Using built-in features. Use of data. Defining operators. Examples. 6. System Engineering. Engineering of systems. SDL use in methodologies. Creating SDL (using SPECS methodology). Integrating SDL into a complete methodology. Lexical rules: use of characters. Informal text. Errors and undesirable specifications. Support for SDL. Building on experience. A. Combining SDL and ASN.1 Principles for combining SDL and ASN.1. Summaries.

Details

Language:
English
Copyright:
© North Holland 1994
Published:
Imprint:
North Holland
eBook ISBN:
9780444598905
Hardcover ISBN:
9780444898722

About the Editor

O. Færgemand

Affiliations and Expertise

Tele Danmark Research, Hørsholm, Denmark

B. Møller-Pedersen

Affiliations and Expertise

Norwegian Computing Center, Oslo, Norway

J.R.W. Smith

Affiliations and Expertise

Maidenhead, Surrey, UK

R. Reed

Affiliations and Expertise

TSE Ltd, Lutterworth, Leicestershire, UK

About the Author

A. Olsen

Affiliations and Expertise

Tele Danmark Research, Hørsholm, Denmark