Index

A

abstract model 242, 243

Abstract Windowing Toolkit (AWT) 266, 270

abstraction 75, 76, 161

accept 226

accept method 226

action 11–13, 15, 18–20, 31

action labels 373–374

action prefix 12–14

action priority 139–140, 156

action priority operators 139

active entities 76, 81

active objects 114

Ada 211, 227, 232, 234

adverse scheduling conditions 149

Allocator interface 185, 186

alphabet 22 – 23

alphabet extension 22, 126, 146

always 349, 354, 355, 357

Andrews, G.R. 101, 104, 156, 274

animation 5, 6

Announcer-Listener event-based architecture 265–273, 287

implementation 269–273

modeling 266–269

safety analysis 268–269

applets 3, 5, 7, 27–30

architectural properties, analysis 243–244

architectures 237–273

Areceiver class 222

Arrivals class 82

Asender class 222

assert 345

asynchronous message passing 209, 219– 225

applet display 220, 221

definition 219, 232

in Java 220–221

modeling 221–225

asynchronous model 39

asynchronous processes 59, 278

atomic actions 11, 31, 67, 71, 77