SDL illustrated: visually design executable models ; covers SDL-92, SDL-96 and SDL-2000
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Toulouse
Doldi
2001
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 269 S. zahlr. graph. Darst. |
| ISBN: | 2951660006 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013823180 | ||
| 003 | DE-604 | ||
| 005 | 20050928 | ||
| 007 | t | ||
| 008 | 010718s2001 d||| |||| 00||| eng d | ||
| 020 | |a 2951660006 |9 2-9516600-0-6 | ||
| 035 | |a (OCoLC)633489834 | ||
| 035 | |a (DE-599)BVBBV013823180 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G |a DE-706 |a DE-11 | ||
| 084 | |a ST 250 |0 (DE-625)143626: |2 rvk | ||
| 084 | |a DAT 368f |2 stub | ||
| 100 | 1 | |a Doldi, Laurent |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a SDL illustrated |b visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 |c [Laurent Doldi] |
| 264 | 1 | |a Toulouse |b Doldi |c 2001 | |
| 300 | |a 269 S. |b zahlr. graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a SDL |0 (DE-588)4180587-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a SDL |0 (DE-588)4180587-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009453486&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009453486 | ||
Record in the Search Index
| _version_ | 1804128652340756480 |
|---|---|
| adam_text | Titel: SDL illustrated
Autor: Doldi, Laurent
Jahr: 2001
SDL Illustrated 9
TABLE OF CONTENTS
CHAPTER 1 INTRODUCTION 13
1.1 SDL, LANGUAGE TO MASTER COMPLEX SYSTEMS DEVELOPMENT 13
1.1.1 Overview of SDL 13
1.1.2 Benefits provided by SDL 14
1.1.3 SDL and UML 15
1.2 CONTENTS OF THE BOOK 16
1.3 VERSIONS OF SDL USED 17
1.4 A FIRST SDL MODEL 18
CHAPTER 2 SDL-92 19
2.1 INTRODUCTION 19
2.1.1 Evolution of SDL 19
2.1.2 Textual and graphical SDL 20
2.1.3 The Common Interchange Format (CIF) 21
2.1.4 Where and how is SDL stored 21
2.1.5 Lexical rules 21
2.1.6 Comments and text extension 22
2.1.7 Pages n umbering 24
2.2 SYSTEM STRUCTURE 25
2.2.1 Using system, block and process 25
2.2.2 Scope of declarations 29
2.2.3 Process 30
2.2.4 Service 32
2.2.5 Procedure 32
2.2.6 Remote procedure 36
2.2.7 External procedure 38
2.2.8 Macro 39
2.2.9 Block partitioning 39
2.2.10 Channel partitioning 39
2.2.11 Optional definition 39
SDL Illustrated
40
2.2.12 Optional transition string
2.3 Communication 41
2.3.1 Signals ^
2.3.2 Channel 4^
44
2.3.3 Signal route
45
2.3.4 Connection
2.4 BEHAVIOUR 47
2.4.1 Execution of transitions 4^
2.4.2 Structure of a transition 48
2.4.3 Start 49
2.4.4 States $0
2.4.5 Input 54
2.4.6 Save 56
2.4.7 Spontaneous transition 59
2.4.8 Continuous signal 59
2.4.9 Enabling condition 60
2.4.10 Priority input 61
2.4.11 Variables 61
2.4.12 Imported and exported value 64
2.4.13 View-revealed 65
2.4.14 Join and label 66
2.4.15 Stop 67
2.4.16 Task 68
2.4.17 Create 68
2.4.18 Output _ 70
2.4.19 Decision 75
2.4.20 Conditional expression 76
2.4.21 Time and timers 76
2.4.22 Internal input and internal output 79
2.5 DATATYPES 80
2.5.1 Predefined data
2.5.2 Synonym gy
2.5.3 Syntype gg
2.5.4 Newtype gg
2.5.5 Generators gg
2.5.6 Inheritance in newtype 96
2.5.7 External data 97
SDL Illustrated 1
2.6 CONSTRUCTS FOR BETTER MODULARITY AND GENERICITY 97
2.6.1 Package 97
2.6.2 Types, instances and gates 99
2.6.3 Specialization 104
2.6.4 Context parameters ] JO
CHAPTER 3 MODELING A PROTOCOL STEP BY STEP 117
3.1 TEXTUAL SPECIFICATION OF THE V.76 PROTOCOL 118
3.1.1 Abbreviations used 118
3.1.2 Exchange identification procedures (X1D) 119
3.1.3 Establishment of a data-link connection 119
3.1.4 Information transfer modes 119
3.1.5 Release of a DEC 120
3.2 ANALYSIS MSCS FOR THE V.76 PROTOCOL 120
3.3 STEP 1: BUILDING THE SDL ARCHITECTURE 123
3.4 STEP 2: PEER TO PEER V.76 ARCHITECTURE 125
3.5 STEP 3: ADDING SDL BEHAVIOUR 128
3.6 STEP 4: ADDING PARAMETERS TO SIGNALS 130
3.7 STEP 5: ADDING A PROCEDURE AND AN OPERATOR 133
3.8 STEP 6: USING CHOICE TYPE TO SIMPLIFY SIGNALS 135
3.9 STEP 7: ADDING DYNAMIC PROCESS CREATION 139
3.10 STEP 8: ADDING PACKAGE AND STRUCTURAL TYPES 147
3.11 STEP 9: ADDING SAVE, PRIORITY INPUT, TIMER, FAULTS IN MEDIUM 151
3.12 STEP 10: ADDING INHERITANCE AND REDEFINITION 156
3.13 STEP 11: ADDING A REMOTE PROCEDURE 162
3.14 STEP 12: ADDING FRAMES ENCODING AND SEGMENTATION 165
3.15 MSCS SHOWING SIMULATION TRACES OF V.76 182
3.16 CONCLUSION 187
CHAPTER 4 SDL-2000 189
4.1 DIFFERENCES BETWEEN SDL-92 AND SDL-2000 189
4.1.1 The notion of type in SDL-2000 96
4.1.2 System, block and process are based on agent 9/
4.1.3 UML view of SDL diagrams 196
199
4.1.4 New model for data
4.1.5 Textual notation for algorithms (statement list) 207
4.1.6 Exception handling
12
SDL Illustrated
4 I 7 Composite states and state aggregation 11
223
4.1.8 Interface descriptions
224
4.1.9 Syntactical changes -
775
4.1.10 Implicit gates and channels
4.1.11 Create request based on agent type definition 222
4.1.12 Constructs for direct support of ASN. 1 with SDL 222
4.1.13 Merging the concept of signal route into the channel concept 22^
4.1.14 Removed constructs
4.1.15 Other differences 22^
4.2 MIGRATION FROM SDL-92 TO SDL-2000 232
4.2.1 Correct spelling 222
4.2.2 Replace national characters in identifiers 222
4.2.3 Replace . in identifiers 222
4.2.4 Correct conflicts 222
4.2.5 Add « » around qualifiers 222
4.2.6 Replace FPAR and RETURNS 222
4.2.7 Remove import declaration of remote variables and remote procedures 234
4.2.8 Replace signal routes by channels 234
4.2.9 Add gates for implicit channels 235
4.2.10 Remove block substructures 235
4.2.11 Remove all in output via 235
4.2.12 Replace services 236
4.2.13 Transform NEWTYPE into VALUE TYPE 236
4.2.14 Replace generators with parameterized types 237
4.2.15 Other modifications 237
SOURCES OF INFORMATION ABOUT SDL 239
SDL/PR CORRESPONDING TO V.76 STEP 12 243
TABLE OF FIGURES 257
|
| any_adam_object | 1 |
| author | Doldi, Laurent |
| author_facet | Doldi, Laurent |
| author_role | aut |
| author_sort | Doldi, Laurent |
| author_variant | l d ld |
| building | Verbundindex |
| bvnumber | BV013823180 |
| classification_rvk | ST 250 |
| classification_tum | DAT 368f |
| ctrlnum | (OCoLC)633489834 (DE-599)BVBBV013823180 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01215nam a2200325 c 4500</leader><controlfield tag="001">BV013823180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20050928 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">010718s2001 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">2951660006</subfield><subfield code="9">2-9516600-0-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633489834</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013823180</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 250</subfield><subfield code="0">(DE-625)143626:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 368f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Doldi, Laurent</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SDL illustrated</subfield><subfield code="b">visually design executable models ; covers SDL-92, SDL-96 and SDL-2000</subfield><subfield code="c">[Laurent Doldi]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Toulouse</subfield><subfield code="b">Doldi</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">269 S.</subfield><subfield code="b">zahlr. graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">SDL</subfield><subfield code="0">(DE-588)4180587-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009453486&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009453486</subfield></datafield></record></collection> |
| id | DE-604.BV013823180 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:52:39Z |
| institution | BVB |
| isbn | 2951660006 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009453486 |
| oclc_num | 633489834 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM DE-706 DE-11 |
| owner_facet | DE-29T DE-91G DE-BY-TUM DE-706 DE-11 |
| physical | 269 S. zahlr. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Doldi |
| record_format | marc |
| spelling | Doldi, Laurent Verfasser aut SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 [Laurent Doldi] Toulouse Doldi 2001 269 S. zahlr. graph. Darst. txt rdacontent n rdamedia nc rdacarrier SDL (DE-588)4180587-2 gnd rswk-swf SDL (DE-588)4180587-2 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009453486&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Doldi, Laurent SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 SDL (DE-588)4180587-2 gnd |
| subject_GND | (DE-588)4180587-2 |
| title | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 |
| title_auth | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 |
| title_exact_search | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 |
| title_full | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 [Laurent Doldi] |
| title_fullStr | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 [Laurent Doldi] |
| title_full_unstemmed | SDL illustrated visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 [Laurent Doldi] |
| title_short | SDL illustrated |
| title_sort | sdl illustrated visually design executable models covers sdl 92 sdl 96 and sdl 2000 |
| title_sub | visually design executable models ; covers SDL-92, SDL-96 and SDL-2000 |
| topic | SDL (DE-588)4180587-2 gnd |
| topic_facet | SDL |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009453486&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT doldilaurent sdlillustratedvisuallydesignexecutablemodelscoverssdl92sdl96andsdl2000 |