 as error detection, error correction, fragmentation, sequencing, flow control, etc. Automating the design of such a layer is not generally possible (or wise). Mode- ling techniques based on different types of queue models for service property validation are used in this area. This subject is outside the scope of AMLp. References Muth T (2001) Modeling Telecom Networks and Systems. Springer, Berlin Heidelberg New York Orfali R, Harkey D, Edwards J (1996) The Essential Distributed Objects Survival Guide. Wiley, New York Rose M (1990) The Open Book, A practical Perspective on OSI. Prentice Hall, Englewood Cliffs, New Jersey Selic B, Gullekson G, Ward PT (1994) Real-Time Object-Oriented Modeling. Wiley, New York Shlaer S, Mellor S (1992) Object Lifecycles: Modeling the World in States. Prentice Hall, Engle- wood Cliffs, New Jersey Tanenbaum A S (1996) Computer Networks. Prentice Hall, Englewood Cliffs, New Jersey Index AAI (see Actor-agent interface) As (see Actor suffix) AAli (see Actor-agent interface identifier) ASi (see Association identifier) Abstract aSP (see Connectivity service point) - machine 40, 51, 72, 177-178, 267 ASP (see Abstract service primitive) - machine system 72, 267 Association 29, 57, 81-85, 217-219, 222-230 - object 40, 178, 270 - control 39, 187, 214, 217, 266 - object structure 203, 270 - identifier 81, 84, 218, 223, 260 - protocol 25, 29, 38, 39, 56, 73, 178, 267 - operations 39, 84, 85, 218, 253-254 - service primitive 25, 49, 72, 267 - protocol 84 AC (see Actor) - table 263 Accept (primitive type) 268 Autonomous management function 36, 55, Access point (identifier) 52, 59, 60, 120, 134, 179, 190, 206 142-151, 211, 260 - table 52, 124, 263 Behavior specification 2-3, 6, 13, 15, 20, 24, Actor 22, 65-73, 89-98, 133, 167, 177-179, 25, 38-41, 164-165, 221, 265-274 188, 234, 241 - address 67, 82-84, 249, 259 CEi (see Connection-endpoint identifier) - layer 29, 55, 79, 85, 220 Channel identifier 90, 131, 260 - layer identifier 29, 55, 81, 148, 249, 259 CHi (see Channel identifier) - layer table