skip to content
SDL with applications from protocol specification Preview this item
ClosePreview this item
Checking...

SDL with applications from protocol specification

Author: Ferenc Belina; Dieter Hogrefe; Amardeo Sarma
Publisher: Hemel Hempstead, Herfordshire : Prentice Hall International (UK) ; Munich : Hanser Verlag, 1991.
Series: BCS practitioner series.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

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  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Belina, Ferenc.
SDL with applications from protocol specification.
Hemel Hempstead, Herfordshire : Prentice Hall International (UK) ; Munich : Hanser Verlag, 1991
(OCoLC)551315097
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ferenc Belina; Dieter Hogrefe; Amardeo Sarma
ISBN: 0137858906 9780137858903 3446165053 9783446165052
OCLC Number: 23971270
Notes: Translated from German.
Description: xi, 275 pages : illustrations ; 24 cm.
Contents: 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.
Series Title: BCS practitioner series.
Responsibility: Ferenc Belina, Dieter Hogrefe, and Amardeo Sarma.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/23971270> # SDL with applications from protocol specification
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/23971270#CreativeWork/unidentifiedOriginalWork> ;
   library:oclcnum "23971270" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/25176935#Place/hemel_hempstead_herfordshire> ; # Hemel Hempstead, Herfordshire
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/25176935#Place/munich> ; # Munich
   schema:about <http://id.worldcat.org/fast/1102791> ; # SDL (Computer program language)
   schema:about <http://id.worldcat.org/fast/872279> ; # Computer network protocols
   schema:about <http://experiment.worldcat.org/entity/work/data/25176935#Topic/sdl> ; # SDL
   schema:about <http://experiment.worldcat.org/entity/work/data/25176935#Thing/computer_communications_and_networking> ; # Computer communications and networking
   schema:about <http://dewey.info/class/005.133/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/25176935#Thing/specific_high_level_programming_languages> ; # Specific high level programming languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/282238212> ; # Amardeo Sarma
   schema:contributor <http://viaf.org/viaf/59686785> ; # Dieter Hogrefe
   schema:creator <http://viaf.org/viaf/33636330> ; # Ferenc Belina
   schema:datePublished "1991" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/25176935> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/25176935#Series/bcs_practitioner_series> ; # BCS practitioner series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/551315097> ;
   schema:name "SDL with applications from protocol specification"@en ;
   schema:productID "23971270" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/23971270#PublicationEvent/hemel_hempstead_herfordshire_prentice_hall_international_uk_munich_hanser_verlag_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/25176935#Agent/prentice_hall_international_uk> ; # Prentice Hall International (UK)
   schema:publisher <http://experiment.worldcat.org/entity/work/data/25176935#Agent/hanser_verlag> ; # Hanser Verlag
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=004216955&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://www.gbv.de/dms/ilmenau/toc/019499221.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9780137858903> ;
   schema:workExample <http://worldcat.org/isbn/9783446165052> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9193261> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/23971270> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/25176935#Agent/prentice_hall_international_uk> # Prentice Hall International (UK)
    a bgn:Agent ;
   schema:name "Prentice Hall International (UK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/25176935#Place/hemel_hempstead_herfordshire> # Hemel Hempstead, Herfordshire
    a schema:Place ;
   schema:name "Hemel Hempstead, Herfordshire" ;
    .

<http://experiment.worldcat.org/entity/work/data/25176935#Series/bcs_practitioner_series> # BCS practitioner series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/23971270> ; # SDL with applications from protocol specification
   schema:name "BCS practitioner series." ;
   schema:name "BCS practitioner series" ;
    .

<http://experiment.worldcat.org/entity/work/data/25176935#Thing/computer_communications_and_networking> # Computer communications and networking
    a schema:Thing ;
   schema:name "Computer communications and networking" ;
    .

<http://experiment.worldcat.org/entity/work/data/25176935#Thing/specific_high_level_programming_languages> # Specific high level programming languages
    a schema:Thing ;
   schema:name "Specific high level programming languages" ;
    .

<http://id.worldcat.org/fast/1102791> # SDL (Computer program language)
    a schema:Intangible ;
   schema:name "SDL (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/872279> # Computer network protocols
    a schema:Intangible ;
   schema:name "Computer network protocols"@en ;
    .

<http://viaf.org/viaf/282238212> # Amardeo Sarma
    a schema:Person ;
   schema:familyName "Sarma" ;
   schema:givenName "Amardeo" ;
   schema:name "Amardeo Sarma" ;
    .

<http://viaf.org/viaf/33636330> # Ferenc Belina
    a schema:Person ;
   schema:familyName "Belina" ;
   schema:givenName "Ferenc" ;
   schema:name "Ferenc Belina" ;
    .

<http://viaf.org/viaf/59686785> # Dieter Hogrefe
    a schema:Person ;
   schema:familyName "Hogrefe" ;
   schema:givenName "Dieter" ;
   schema:name "Dieter Hogrefe" ;
    .

<http://worldcat.org/isbn/9780137858903>
    a schema:ProductModel ;
   schema:isbn "0137858906" ;
   schema:isbn "9780137858903" ;
    .

<http://worldcat.org/isbn/9783446165052>
    a schema:ProductModel ;
   schema:isbn "3446165053" ;
   schema:isbn "9783446165052" ;
    .

<http://www.worldcat.org/oclc/551315097>
    a schema:CreativeWork ;
   rdfs:label "SDL with applications from protocol specification." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/23971270> ; # SDL with applications from protocol specification
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.