  *******************************************************************

  Using Formal Description Techniques - An Introduction to Estelle,
  LOTOS and SDL
  
  Copyright 1992 John Wiley and Sons Ltd.

  *******************************************************************

  Index - machine-processible index
  
  Appendixes B and C
  
  K. J. Turner
  
  *******************************************************************

  The following is a machine-processible form of the indexes to the
  book. The format of each entry is:

    <item> [ - <sub-item> [ - <sub-sub-item> ] ] <tabs> <pages>

  The intention is that this file be used for pattern searches with a
  utility like "find" (MS-DOS) or "grep" (UNIX), for example:
  
    find "signal" INDEX
    
    grep 'Abracadabra.*description' INDEX
  
  *******************************************************************

!							72, 119
'							116
''							118
(							91
)							91
(.							120
.)							120
*							100, 101
-							108
.							88
...							40, 334
/*							90
*/							90
//							116, 117
/=							117
:							75
:=							104
;							51, 59
=							68
=							117
==							117
==>							118
>>							57, 76
?							72
[							91
[>							58
[]							51, 59
]							91
_							88
|[...]|							55
||							56, 61
|||							55, 61

Abracadabra Protocol					125, 267-327
Abracadabra Protocol - conclusions			327
Abracadabra Protocol - errors in informal description	271-272
Abracadabra Protocol - in Estelle			272-290
Abracadabra Protocol - in Estelle - AbraProtocol	276
Abracadabra Protocol - in Estelle - AbraProtocolBody	276
Abracadabra Protocol - in Estelle - BuildAK		286
Abracadabra Protocol - in Estelle - BuildCC		286
Abracadabra Protocol - in Estelle - BuildCR		285
Abracadabra Protocol - in Estelle - BuildDC		286
Abracadabra Protocol - in Estelle - BuildDR		286
Abracadabra Protocol - in Estelle - BuildDT		286
Abracadabra Protocol - in Estelle - InitVar		277
Abracadabra Protocol - in Estelle - MediumBlocked	289
Abracadabra Protocol - in Estelle - MSAP		276
Abracadabra Protocol - in Estelle - PeerCode		276
Abracadabra Protocol - in Estelle - ReceiverBlocked	289
Abracadabra Protocol - in Estelle - SSAP		275
Abracadabra Protocol - in Estelle - Station		276
Abracadabra Protocol - in Estelle - StationBody		277
Abracadabra Protocol - in Estelle - TransCode		285
Abracadabra Protocol - in Estelle - TransCodeBody	285
Abracadabra Protocol - in Estelle - UnreliableMedium	276
Abracadabra Protocol - in Estelle - UnreliableMediumBody	276
Abracadabra Protocol - in Estelle - User		276
Abracadabra Protocol - in Estelle - UserBody		276
Abracadabra Protocol - in LOTOS				290-315
Abracadabra Protocol - in LOTOS - AnyMSP		312
Abracadabra Protocol - in LOTOS - ASAP			292
Abracadabra Protocol - in LOTOS - ASDU			292
Abracadabra Protocol - in LOTOS - ASP			293
Abracadabra Protocol - in LOTOS - Connection		303
Abracadabra Protocol - in LOTOS - Coordination		302
Abracadabra Protocol - in LOTOS - Count			298
Abracadabra Protocol - in LOTOS - DiscConditions	311
Abracadabra Protocol - in LOTOS - Disconnection		309
Abracadabra Protocol - in LOTOS - Error			310
Abracadabra Protocol - in LOTOS - FIFO			305
Abracadabra Protocol - in LOTOS - LowerAssociation	299
Abracadabra Protocol - in LOTOS - MSAPs			295
Abracadabra Protocol - in LOTOS - MSPs			295
Abracadabra Protocol - in LOTOS - Noticer		302
Abracadabra Protocol - in LOTOS - OneConnection		298
Abracadabra Protocol - in LOTOS - PDUs			295
Abracadabra Protocol - in LOTOS - Protocol		298
Abracadabra Protocol - in LOTOS - Receiver		308
Abracadabra Protocol - in LOTOS - Sender		305
Abracadabra Protocol - in LOTOS - SeqNo			295
Abracadabra Protocol - in LOTOS - Stick			299
Abracadabra Protocol - in LOTOS - Timer			297
Abracadabra Protocol - in LOTOS - TimerEvent		297
Abracadabra Protocol - in LOTOS - Transfer		304
Abracadabra Protocol - in LOTOS - TryConnect		304
Abracadabra Protocol - in LOTOS - TryDisconnect		309
Abracadabra Protocol - in LOTOS - TrySend		306
Abracadabra Protocol - in LOTOS - UpperAssociation	299
Abracadabra Protocol - in SDL				315-327
Abracadabra Protocol - in SDL - Abracadabra		316
Abracadabra Protocol - in SDL - Bit			316
Abracadabra Protocol - in SDL - PduType			316
Abracadabra Protocol - in SDL - SenderReceiver		318-323
Abracadabra Protocol - in SDL - Station			317
Abracadabra Protocol - in SDL - Transcode		324-325
Abracadabra Protocol - in SDL - UnitDataType		316
Abracadabra Protocol - in SDL - UserDataType		316
Abracadabra Protocol - informal description		267-271
Abracadabra Service					125, 231-266
Abracadabra Service - conclusions			265-266
Abracadabra Service - errors in informal description	233-234
Abracadabra Service - in Estelle			234-242
Abracadabra Service - in Estelle - AbraService		236
Abracadabra Service - in Estelle - AbraServiceBody	236
Abracadabra Service - in Estelle - Internal		235
Abracadabra Service - in Estelle - SAPManagerA		236
Abracadabra Service - in Estelle - SAPManagerB		239
Abracadabra Service - in Estelle - SAPManagerBodyA	236
Abracadabra Service - in Estelle - SAPManagerBodyB	239
Abracadabra Service - in Estelle - SSAP			235
Abracadabra Service - in Estelle - User			236
Abracadabra Service - in Estelle - UserBody		236
Abracadabra Service - in LOTOS				242-257
Abracadabra Service - in LOTOS - Addressing		251
Abracadabra Service - in LOTOS - ASAP			244
Abracadabra Service - in LOTOS - ASDU			245
Abracadabra Service - in LOTOS - ASP			246
Abracadabra Service - in LOTOS - Assoc			255
Abracadabra Service - in LOTOS - Association		251
Abracadabra Service - in LOTOS - BackPressure		257
Abracadabra Service - in LOTOS - BasicMedium		252
Abracadabra Service - in LOTOS - CEP			249
Abracadabra Service - in LOTOS - CEPs			249
Abracadabra Service - in LOTOS - Connection		249
Abracadabra Service - in LOTOS - DataTransfer		250
Abracadabra Service - in LOTOS - Disconnect		250
Abracadabra Service - in LOTOS - DisconnectedMedium	253
Abracadabra Service - in LOTOS - Medium			254
Abracadabra Service - in LOTOS - Object			247
Abracadabra Service - in LOTOS - PrimitiveOrdering	250
Abracadabra Service - in LOTOS - SetOfASAP		245
Abracadabra Service - in LOTOS - TransferIn		256
Abracadabra Service - in LOTOS - TransferOut		256
Abracadabra Service - in SDL				257-265
Abracadabra Service - in SDL - AbraService		258
Abracadabra Service - in SDL - Bit			258
Abracadabra Service - in SDL - SAPManagerA		260
Abracadabra Service - in SDL - SAPManagerB		260
Abracadabra Service - in SDL - SAPManagerDef		261-264
Abracadabra Service - in SDL - Serv			259
Abracadabra Service - in SDL - UserDataType		258
Abracadabra Service - informal description		231-233
Abstract Data Type					see ADT
Abstract Syntax Notation 1				see ASN.1
accept							76
acceptance test						359, 370
action - denotation					73
action - prefix						51, 59
active							111, 116
Act One							47, 63
actual parameter					74, 99
actualisation						71
Ada							365
ADT (Abstract Data Type)				6, 47, 63, see also type
aggregator						357
all							43, 103, 104
alphabet						382
analyser						400
ancestor module						24
annotation						373
answer							104, 106
any							33-35, 41, 75, 116, 121, 333
architectural phase					345
Array							118
ASN.1 (Abstract Syntax Notation 1)			124, 334
assessment						346, 362, 363, 366
assignment statement					104
attach							23, 41, 42
auxiliary operation					357
axiom							104, 114, 117
axiomatic variable					117

back-end tool						13
Basic LOTOS						50
behaviour - conditional					73
behaviour - expression					49, 50
behaviour - non-deterministic				52
behaviour - observable					47, 49
behaviour - tree					50
binding							23
black box						48
block							91, 379
block - components					381
block - diagram						91
block - partitioning					381
block - reference					91
block - substructure diagram				91
book-keeping tool					13
Boolean							66, 115, 116, 355
branch							106

C							342, 365, 373
Calculus of Communicating Systems			see CCS
call							103
canonical form						64
case							39
CCITT (Comite Consultatif International de Telegraphe et Telephone)	xx, 4
CCS (Calculus of Communicating Systems)			47
channel							19, 22, 91, 380
channel - declaration					30
channel - substructure					94
channel - substructure reference			94
Char							116
character string					104
Charstring						116, 118
child module						24
choice							51, 59
choice - generalised					77
class							26
code generator						403
combination						67
Comite Consultatif International de Telegraphe et Telephone	see CCITT
comment symbol						89
Communicating Sequential Processes			see CSP
compiler						367
complete process specification				387
conceptual definition					347, 349, 365
conditional - behaviour					73
conditional - equation					68, 118
conformance						362
conformance - testing					401-403
connect							23, 41
connection point					92
connector						108
constant						118, 357
constraint-oriented style				61, 352, 354
constructor						355, 357, 388
continuous signal					100, 102
correctness-preserving transformation			350
CRC (Cyclic Redundancy Check)				182, 218
create							103
create - body						106
create - symbol						106
CSP (Communicating Sequential Processes)		47
Cyclic Redundancy Check					see CRC

delta							54, 358
Daemon Game						28, 125, 127-165
Daemon Game - conclusions				164-165
Daemon Game - development using Estelle			333-341
Daemon Game - errors in informal description		128-129
Daemon Game - informal description			127
Daemon Game - no daemon in Estelle			136-140
Daemon Game - no daemon in Estelle - Game		137
Daemon Game - no daemon in Estelle - GameBody		137
Daemon Game - no daemon in Estelle - GameServer		137
Daemon Game - no daemon in Estelle - Manager		137
Daemon Game - no daemon in Estelle - ManagerBody	137
Daemon Game - no daemon in Estelle - Player		137
Daemon Game - no daemon in LOTOS			145-147
Daemon Game - no daemon in LOTOS - Game			147
Daemon Game - no daemon in LOTOS - Identifier		146
Daemon Game - no daemon in LOTOS - IdentifierSet	146
Daemon Game - no daemon in LOTOS - Integer		146
Daemon Game - no daemon in LOTOS - NoGame		146
Daemon Game - no daemon in LOTOS - Signal		146
Daemon Game - no daemon in LOTOS - System		146
Daemon Game - no daemon in SDL				157-164
Daemon Game - no daemon in SDL - DaemonGame		158, 162
Daemon Game - no daemon in SDL - Game			159, 161-163
Daemon Game - no daemon in SDL - GameServer.in		158, 162
Daemon Game - no daemon in SDL - GameServer.out		158, 162
Daemon Game - no daemon in SDL - Monitor		160, 163
Daemon Game - no daemon in SDL - Pidset			160, 163
Daemon Game - with daemon in Estelle			129-136
Daemon Game - with daemon in Estelle - Daemon		132
Daemon Game - with daemon in Estelle - DaemonServer	131
Daemon Game - with daemon in Estelle - Distributor	132
Daemon Game - with daemon in Estelle - DistributorBody	132
Daemon Game - with daemon in Estelle - Game		133
Daemon Game - with daemon in Estelle - GameBody		133
Daemon Game - with daemon in Estelle - GameServer	131
Daemon Game - with daemon in Estelle - Manager		132
Daemon Game - with daemon in Estelle - ManagerBody	132
Daemon Game - with daemon in Estelle - Player		132
Daemon Game - with daemon in LOTOS			140-145
Daemon Game - with daemon in LOTOS - Daemon		145
Daemon Game - with daemon in LOTOS - Game		144
Daemon Game - with daemon in LOTOS - Identifier		142
Daemon Game - with daemon in LOTOS - IdentifierSet	142
Daemon Game - with daemon in LOTOS - Integer		142
Daemon Game - with daemon in LOTOS - NoGame		144
Daemon Game - with daemon in LOTOS - Signal		143
Daemon Game - with daemon in LOTOS - System		143
Daemon Game - with daemon in SDL			148-157
Daemon Game - with daemon in SDL - DaemonGame		149, 150
Daemon Game - with daemon in SDL - DaemonServer		154
Daemon Game - with daemon in SDL - Game			151, 153, 154, 156
Daemon Game - with daemon in SDL - GameServer.in	150, 154
Daemon Game - with daemon in SDL - GameServer.out	150, 154
Daemon Game - with daemon in SDL - Monitor		152, 155
Daemon Game - with daemon in SDL - Pidset		152, 155
data type						see type
debugger						351
decision						103, 104, 386
decision - symbol					106
delay							22, 33, 35
descendant module					24
design - phase						345
design - step						10, 345, 346
design - using FDTs					9
detach							23, 41
development						9, 331-404
disabling						58
disconnect						23, 41
disruption						58
distributed system					399
document generator					403
Duration						109, 116, 119
dynamic analyser					403

EDB (Estelle Debugger)					343
editor							351
enabling						57, 59, 76
enabling - condition					100, 102
end							44
endnewtype						119
endproc							49
endspec							79
endsyntype						118
endtype							65
env							95
environment						48, 95
eqns							65
equation						64, 117, 389
equation - conditional					68, 118
equation - model					63
equation - quantified					117
equation - unquantified					118
ERS (Existential Refusal Set)				361
Estelle (Extended Finite State Machine Language)	4
Estelle - and Pascal					39
Estelle - automaton basis				18
Estelle - case						39
Estelle - code generation				334
Estelle - development					331-344
Estelle - implementation				339
Estelle - in brief					6
Estelle - origins					17
Estelle - philosophy					17
Estelle - refinement					333
Estelle - testing					341
Estelle - tools						45, 341
Estelle - tutorial					17-45
Estelle - tutorials					45
Estelle - validation					334
Estelle Debugger					see EDB
Estelle Work Station					see EWS
Estim							343
event							49
event - gate						48
event - internal					52
event - structured					72, 81
event - unobservable					57
EWS (Estelle Work Station)				331
examples - Abracadabra Protocol				267-327
examples - Abracadabra Service				231-266
examples - Daemon Game					127-165
examples - how to read					125
examples - index to formal descriptions			126, 417
examples - informal descriptions			126
examples - Lift Controller				390-397
examples - Sliding Window Protocol			185-229
examples - structure					125
examples - Two-Key System				58-63
examples - Unreliable Medium				167-183
exist							44
existential refusal set test				361
Existential Refusal Set					see ERS
exit							54, 59, 76
exit - value list					75
experiment offer					72
export							104, 113
exported						114
expression						115
extended automata-oriented style			83, 352, 354
extended finite state automaton				86, 402
Extended Finite State Machine Language			see Estelle
extension						66, 349, 361, 362
external						334
external - enrichment					376
Extract!						119
extractor						357

FDT (Formal Description Technique)			3
FDT - and standards					5
FDT - applicability					5, 15
FDT - examples						6
FDT - future development				14
FDT - in development					9
FDT - method						14
FDT - newsletter contacts				415
FDT - publications					414
FDT - purpose						5
FDT - tools						12
FDT - tools contacts					415
FIFO (First-In First-Out)				340
File Transfer And Manipulation				see FTAM
finite state automaton					18, 86
firing							21
First							116
First-In First-Out					see FIFO
Fix							116
Float							116
formal - design						346
formal - language					8
formal - parameter					74, 98, 111
formal - process specification				376, 388
Formal Description Technique				see FDT
Formal Techniques					see FORTE
formalisation						347
formality - reasons for					3
forone							43
FORTE (Formal Techniques)				xx, 414
fpar							95
from							33, 35
front-end tool						13
FTAM (File Transfer And Manipulation)			334
Full LOTOS						50, 72
full synchronisation					56
function						40
function - as operation					64
function - partial					68
functionality						75
functionality - decomposition				349
functionality - extension				349
functionality - of process				49
functionality - rearrangement				349
functionality - reduction				349

gate							48, 49
gate - identifier					49
gate - list						49
general - parallel					55
generalised - choice					77
generalised - parallel					79
generator						118
goto							44
GR (Graphical Representation)				85
graphical editor					403
Graphical Representation				see GR
guard							73, 83

hand-coding						350
HHDL							365
hide							57, 63
hiding							57, 63
holophrasting						333

i							52
IEC (International Electrotechnical Commission)		xx, xxiii
IFIP (International Federation for Information Processing)	414
imperative operator					116
implementation						8, 346, 364, 398-400
implementation - environment				367
implementation - kernel					342
implementation - phase					345
implementation - relation				361
implementation - test-bed				368
import							113, 114, 116
in							76, 111
in-connector						108
in/out							111
inaction						50, 54
index							116, 117
index - to formal descriptions				417
index - to self						421
infix notation						115
informal - process specification			376, 386
informal - text						90, 104
inheritance						119, 121
init							41
initialize						41
input							98
input - list						101
input - port						98, 100
input - set						98
input - symbol						100
instantiation						49
instructor's disc					xix
Integer							114, 116
interaction						18, 49
interaction - point					18
interleaving						55, 61
internal - enrichment					376
internal - event					52
International Consultative Committee on Telegraphy and Telephony	see CCITT
International Electrotechnical Commission		see IEC
International Federation for Information Processing	see IFIP
International Organization for Standardization		see ISO
International Telecommunication Union			see ITU
ISO (International Organization for Standardization)	xx, 4
ISO 8807						see LOTOS
ISO 9074						see Estelle
ISP							365
ITU (International Telecommunication Union)		xxiii

keyword							88

labelled transition system				365
Language Of Temporal Ordering Specification		see LOTOS
Last							116
Length							116
let							77
library							64
life-cycle						346
Lift Controller						390-397
Lift Controller - in SDL - car				393
Lift Controller - in SDL - close_door			397
Lift Controller - in SDL - control			393, 394
Lift Controller - in SDL - direction			391
Lift Controller - in SDL - floor			391
Lift Controller - in SDL - floor_indicator		391
Lift Controller - in SDL - floors			393
Lift Controller - in SDL - lift				390
Lift Controller - in SDL - maint			397
Lift Controller - in SDL - maintenance			393
Lift Controller - in SDL - open_door			397
Lift Controller - in SDL - reservations			391
Lift Controller informal description			390
list separator						86
literal							114, 115, 118, 388
local value						76
LOLA (LOTOS Laboratory)					351, 370
LOTOS (Language Of Temporal Ordering Specification)	4
LOTOS - Basic						50
LOTOS - development					345-373
LOTOS - Full						50, 72
LOTOS - in brief					7
LOTOS - Laboratory					see LOLA
LOTOS - tutorial					47-83

macro							95
macro - call symbol					95
Make!							119
map							357
may - response						359
may - sequential test					359-361
may - test						359
Mentor							342
Message Sequence Chart					see MSC
MetaLanguage						see ML
method							14
Mira							341
MkString						116
ML (MetaLanguage)					342
modal - calculus					364
modal - verifier					364
model							9
Modify!							119
Modula							365
module							18
module - ancestor					24
module - body						32
module - child						19, 24
module - declaration					31
module - descendant					24
module - hierarchy					24
module - initialisation					26
module - interaction					26
module - outermost					31
module - parent						19, 24
module - sibling					24
monitor process						106
monolithic style					352
MSC (Message Sequence Chart)				380, 383
multi-way synchronisation				56
must - response						359
must - test						370

name							88
Natural							116
natural language					8
NaturalNumber						66, 355
newsletter contacts					415
newtype							118
NeXT							xxi
nextstate symbol					107
noexit							76
non-constructor						355, 389
non-determinism						52, 121
non-functional property					365, 398, 400
none							121
normal form						64
now							109, 111, 116
Null							87

object-oriented structuring				121
observable behaviour					47
occam							365
offspring						87, 103, 116
ofsort							65
Open Systems Interconnection				see OSI
operation						64
operator						114, 115, 118, 388
operator - imperative					116
operator - overloading					115
operator - priority					115
operator - signature					117
opns							65
ordering						119
OSI (Open Systems Interconnection)			4
out-connector						108
output							42, 86, 103
output - body						103
output - set						98
output - symbol						103
overloading						115

package							121
PAL							365
parallel composition					55
parameter - actual					74, 99
parameter - formal					74, 98
parameter - list					49
parameterisation - of process				74, 83
parameterisation - of type				70
parameterised expansion					349, 351
parent							87, 103, 116
parent - module						24
partial function					68
Pascal							340, 342
Pascal - and Estelle					39
Phrase Representation					see PR
PId (Process Identity)					87, 101, 103, 116
PId							116
PIPN							344
Powerset						118
PR (Phrase Representation)				85
prefix notation						115
premiss							68, 73
pretty printing						333
primitive						40, 334
priority						33, 35, 367
priority - of operators					115
procedure						40, 107, 111, 383
procedure - call body					107
procedure - call symbol					107
procedure - formal parameter				111
procedure - graph					111
procedure - heading					111
procedure - parameter					111
process							47, 49, 59, 86, 98, 381
process - diagram					98
process - functionality					49
process - graph						99, 111
process - heading					98
process - identifier					49
process - initial numbers				98, 106
process - input port					98
process - input-set					98
process - instance					86, 99, 382
process - instantiation					49
process - lifetime					98
process - maximum numbers				98
process - monitor					106
process - output-set					98
process - parameter					98
process - parameterisation				74, 83
process - recursion					53
process - reference					94
Process Identity					see PId
property						117
Protocol Specification, Testing and Verification	see PSTV
protocol synthesis					351
prototyping						346, 364
provided						33, 35
PSTV (Protocol Specification, Testing and Verification)	414
pure							40
pure - interleaving					55

quantified equation					117
question						104, 106
queue							19
queue - discipline					32

rapid prototyping					346
Real							109, 116
realisation phase					345
recogniser						357
recursion						53
reduction						361, 362
reference symbol					88
refusal set test					359-361, 371
rejection test						359, 371
release							24, 41
renaming						69
repetition						53
requirements capture phase				345
reset							103, 104, 110
resource-oriented style					353, 354, 371
return symbol						111
reveal							113
revealed						114
rewrite rule						64

same							38
save							98, 100, 101
save - symbol						101
scope							79, 88
SDL (Specification and Description Language)		5
SDL - communication					87
SDL - development					375-404
SDL - enrichment					376
SDL - evolution						85
SDL - Forum						415
SDL - general model					86
SDL - in brief						7
SDL - informal text					104
SDL - nested structures					88
SDL - SDL-88						85, 103, 104, 119, 121, 182
SDL - SDL-92						93, 103, 104, 118, 119, 121-124, 182
SDL - specification purpose				398
SDL - symbol summary					122-123
SDL - tools summary					404
SDL - tutorial						85-124
SED (SEDOS Estelle Demonstrator)			331
SEDOS (Software Environment for the Design of Open distributed Systems)	331
SEDOS Estelle Demonstrator				see SED
selection predicate					73, 81
self							87, 103, 116
sender							87, 101, 103
sequential - composition				57
sequential - test					360
service							89
set							103, 104, 110
sibling module						24
signal							87, 91, 380
signal - continuous					100, 102
signal - identifier					103
signal - list						91
signal - list definition				91
signal - priority					102
signal - route						91, 93, 381
signallist						91
signature						117, 378, 388
simulator						343, 351, 400, 402, 403
skeleton process specification				376, 383
Sliding Window Protocol					125, 185-229
Sliding Window Protocol - conclusions			228-229
Sliding Window Protocol - errors in informal description	187-189
Sliding Window Protocol - in Estelle			189-197
Sliding Window Protocol - in Estelle - BuffFree		192
Sliding Window Protocol - in Estelle - BuffRetrieve	192
Sliding Window Protocol - in Estelle - BuffSave		192
Sliding Window Protocol - in Estelle - Corrupted	193, 195
Sliding Window Protocol - in Estelle - PDUAK		195
Sliding Window Protocol - in Estelle - PDUDT		193
Sliding Window Protocol - in Estelle - PDURetrieve	195
Sliding Window Protocol - in Estelle - PDUSave		195
Sliding Window Protocol - in Estelle - Receiver		195
Sliding Window Protocol - in Estelle - ReceiverBody	195
Sliding Window Protocol - in Estelle - ReceiverUser	191
Sliding Window Protocol - in Estelle - ReceiverUserBody	191
Sliding Window Protocol - in Estelle - Rx		191
Sliding Window Protocol - in Estelle - RxUser		191
Sliding Window Protocol - in Estelle - Time		191
Sliding Window Protocol - in Estelle - Timer		192
Sliding Window Protocol - in Estelle - TimerBody	192
Sliding Window Protocol - in Estelle - Transmitter	192
Sliding Window Protocol - in Estelle - TransmitterBody	192
Sliding Window Protocol - in Estelle - TransmitterUser	191
Sliding Window Protocol - in Estelle - TransmitterUserBody	191
Sliding Window Protocol - in Estelle - Tx		191
Sliding Window Protocol - in Estelle - TxUser		190
Sliding Window Protocol - in Estelle - UM		191
Sliding Window Protocol - in Estelle - UMBody		192
Sliding Window Protocol - in Estelle - UserData		195
Sliding Window Protocol - in LOTOS			198-216
Sliding Window Protocol - in LOTOS - AckRec		210
Sliding Window Protocol - in LOTOS - AllTimers		207
Sliding Window Protocol - in LOTOS - AnyTimer		207
Sliding Window Protocol - in LOTOS - DeliverMessages	215
Sliding Window Protocol - in LOTOS - EnrichedNat	203
Sliding Window Protocol - in LOTOS - Identification	208
Sliding Window Protocol - in LOTOS - IgnoreAckedAck	212
Sliding Window Protocol - in LOTOS - IgnoreCorruptedPDU	212
Sliding Window Protocol - in LOTOS - IgnoredPDU		216
Sliding Window Protocol - in LOTOS - LocalConstraints	205, 214
Sliding Window Protocol - in LOTOS - MGate		206, 214
Sliding Window Protocol - in LOTOS - MSAPs		204
Sliding Window Protocol - in LOTOS - MSPs		204
Sliding Window Protocol - in LOTOS - NatMinus		216
Sliding Window Protocol - in LOTOS - NaturalMod		208
Sliding Window Protocol - in LOTOS - PDUCorrectness	212
Sliding Window Protocol - in LOTOS - PDUQueue		209
Sliding Window Protocol - in LOTOS - PDUs		202
Sliding Window Protocol - in LOTOS - PDUSet		213
Sliding Window Protocol - in LOTOS - PDUSet1		213
Sliding Window Protocol - in LOTOS - PDUSetIndexed	213
Sliding Window Protocol - in LOTOS - Receiver		214
Sliding Window Protocol - in LOTOS - Receiver1		215
Sliding Window Protocol - in LOTOS - ReceiverEntity	212
Sliding Window Protocol - in LOTOS - ReleaseQueue	210
Sliding Window Protocol - in LOTOS - Retransmission	211
Sliding Window Protocol - in LOTOS - SendAck		216
Sliding Window Protocol - in LOTOS - Sender		210
Sliding Window Protocol - in LOTOS - SGate		205, 214
Sliding Window Protocol - in LOTOS - SSAPs		201
Sliding Window Protocol - in LOTOS - SSDUs		201
Sliding Window Protocol - in LOTOS - SSPs		201
Sliding Window Protocol - in LOTOS - TimeOut		211
Sliding Window Protocol - in LOTOS - Timer		207
Sliding Window Protocol - in LOTOS - TimerSignal	207
Sliding Window Protocol - in LOTOS - Transmitter	209
Sliding Window Protocol - in LOTOS - TransmitterConstraints	206
Sliding Window Protocol - in LOTOS - TransmitterEntity	205
Sliding Window Protocol - in SDL			216-228
Sliding Window Protocol - in SDL - AckCrc		219
Sliding Window Protocol - in SDL - Bit			228
Sliding Window Protocol - in SDL - BitString		228
Sliding Window Protocol - in SDL - DataCrc		219
Sliding Window Protocol - in SDL - DeliverMessages	227
Sliding Window Protocol - in SDL - MsgBuf		219
Sliding Window Protocol - in SDL - MsgQueue		228
Sliding Window Protocol - in SDL - MsgReceived		228
Sliding Window Protocol - in SDL - Queue		218
Sliding Window Protocol - in SDL - Receiver		224
Sliding Window Protocol - in SDL - ReceiverEntity	221
Sliding Window Protocol - in SDL - ReleaseTimers	225
Sliding Window Protocol - in SDL - Retransmit		226
Sliding Window Protocol - in SDL - Rsn			219
Sliding Window Protocol - in SDL - SeqnoType		219
Sliding Window Protocol - in SDL - SlidingWindowProtocol	220
Sliding Window Protocol - in SDL - Transmitter		222-223
Sliding Window Protocol - in SDL - TransmitterEntity	221
Sliding Window Protocol - in SDL - Tsn			219
Sliding Window Protocol - informal description		185-187
SmallTalk						344
Software Environment for the Design of Open distributed Systems	see SEDOS
software life-cycle					346
sort							64, 87, 104, 114
sort - definition					117
sort - identifier					115
sort - ordering						119
sort - predefined					116
sorts							65
specification						8, 49, 79
specification - in formal language			8
specification - in natural language			8
specification - language				8
specification - style					350-358
specification - style for data types			355
specification - style guidelines			353
Specification and Description Language			see SDL
spiral model						346
spontaneous transition					100, 121
standard - for FDT					4
standard - use of FDT					5
start - procedure symbol				111
start - symbol						99
state							86
state - control						20
state - list						100
state - machine - extended				86
state - machine - finite				86
state - major						20
state - set						38
state - symbol						100, 107
state - transition					86
state-oriented style					352
state-space exploration					400
static analyser						403
stepwise refinement					345, 368
stop							50, 54
stop - symbol						99
String							118
struct							119
structure sort						119
structuring						19, 24
style							350-358
style - for data types					355
style - guidelines					353
subblock						92, 381
SubString						116
substructure						91
subtype							121
Succ							66
supertype						121
synchronisation						49, 61
synchronisation - multi-way				56
synchronisation - parallel construct			56
synonym							115, 383
Syntax							342
syntax converter					403
syntype							118
system							377
system - boundary					377
system - structure					379
systemactivity						41
systemprocess						41

task							103, 104, 386
task - of LOTOS design method				346-348, 362, 364
task - symbol						104
technology-specific design				365
term rewriting						389
terminate						24, 41
test - case						401
test - composition					358
test - derivation					402
test - generator					364, 368
test - suite						401
test-bed						364
testing equivalence					349, 358, 359, 366, 372
text - extension symbol					90
text - informal						90
text - symbol						89, 91
TI-HDL							365
Time							109, 116
time							367
time - supervision					383
timeout							52
timer							109, 383
timer - identifier					110
to							33, 35, 104
tools							14, 403-404
tools - analyser					400
tools - back-end					13
tools - book-keeping					13
tools - code generator					403
tools - compiler					367
tools - contacts					415
tools - debugger					351
tools - document generator				403
tools - dynamic analyser				403
tools - editor						351
tools - for Estelle					45
tools - for FDTs					12
tools - front-end					13
tools - graphical editor				403
tools - implementation - environment			367
tools - implementation - test-bed			368
tools - modal verifier					364
tools - SDL summary					404
tools - simulator					351, 400, 402, 403
tools - static analyser					403
tools - syntax converter				403
tools - test generator					364, 368
tools - test-bed					364
tools - transformational environment			351
tools - verifier					13, 364, 400
transformation						350
transition						33, 86
transition - clause					33
transition - delay					22
transition - firing					21
transition - name					36
transition - nesting					36
transition - ordering					38
transition - spontaneous				22, 100, 121
transition - timing					22
Tree and Tabular Combined Notation			see TTCN
TTCN (Tree and Tabular Combined Notation)		401
Two-Key System						58-63, 80-83, 368-373
Two-Key System - in LOTOS				80-83, 368-373
Two-Key System - refinement				370-373
Two-Key System - requirements				368
type							65, 118
type - actualisation					71
type - basic LOTOS					65
type - combination					67
type - definition					64
type - extension					66
type - global						79
type - library						64
type - local						79
type - parameterisation					70
type - renaming						69

unbinding						23
undecided value						121
UNIX							333, 342
unquantified equation					118
Unreliable Medium					125, 167-183
Unreliable Medium - conclusions				183
Unreliable Medium - errors in informal description	167-168
Unreliable Medium - in Estelle				168-172
Unreliable Medium - in Estelle - dequeue		170
Unreliable Medium - in Estelle - enqueue		170
Unreliable Medium - in Estelle - initqueue		170
Unreliable Medium - in Estelle - isempty		170
Unreliable Medium - in Estelle - mung			170
Unreliable Medium - in Estelle - Rx			169
Unreliable Medium - in Estelle - Tx			169
Unreliable Medium - in Estelle - UM			170
Unreliable Medium - in Estelle - UMBody			170
Unreliable Medium - in LOTOS				172-177
Unreliable Medium - in LOTOS - Bag			176
Unreliable Medium - in LOTOS - HalfTransfer		175
Unreliable Medium - in LOTOS - MSAPs			174
Unreliable Medium - in LOTOS - MSPs			174
Unreliable Medium - in LOTOS - Objects			176
Unreliable Medium - in LOTOS - SDUs			174
Unreliable Medium - in LOTOS - Transfer			175
Unreliable Medium - in SDL				177-182
Unreliable Medium - in SDL - AckCRC			178
Unreliable Medium - in SDL - AckHazard			179
Unreliable Medium - in SDL - AckManager			181
Unreliable Medium - in SDL - Bit			178
Unreliable Medium - in SDL - BitString			178
Unreliable Medium - in SDL - DataCRC			178
Unreliable Medium - in SDL - MedMsgQueue		178
Unreliable Medium - in SDL - Medium			179
Unreliable Medium - in SDL - MediumAck			178
Unreliable Medium - in SDL - MediumMessage		178
Unreliable Medium - in SDL - MedMsgQueue		178
Unreliable Medium - in SDL - MsgHazard			179
Unreliable Medium - in SDL - MsgManager			180
Unreliable Medium - in SDL - Queue			178
Unreliable Medium - in SDL - Seqno			178
Unreliable Medium - in SDL - UnreliableMedium		178
Unreliable Medium - informal description		167

validation						400-401
value - generation					73
value - matching					73
value - passing						73
var							40
variable						114
variable - attribute					114
variable - axiomatic					117
verification						359, 363
verifier						13, 364, 400
VHDL							365
view							113, 116

waterfall model						9, 346, 347
when							33
white box						349
word							88

Z.100							see SDL
