Elevator

Part I: Graphical Model

Graphical Model

Part II: Objects and Attributes

1. CABIN (CAB)

Cabin ( Shaft ID, Current Floor, Current State )

Identifiers:
Shaft ID

1.1. Cabin.Shaft ID (R)

References:
Shaft.ID (across R2)

1.2. Cabin.Current Floor

Data Type: integer

1.3. Cabin.Current State (M)

2. SHAFT (SHAFT)

Shaft ( ID, Bank ID, Service Direction, In Service )

Identifiers:
ID

2.1. Shaft.ID

Data Type: integer

2.2. Shaft.Bank ID (R)

References:
Bank.ID (across R1)

2.3. Shaft.Service Direction

Data Type: string

2.4. Shaft.In Service

Data Type: boolean

3. BANK (BANK)

Bank ( ID, Pass Load Time, Block Clear Time, Top Floor, Bottom Floor, Max Close Attempts, Building ID )

Identifiers:
ID

3.1. Bank.ID

Data Type: integer

3.2. Bank.Pass Load Time

Data Type: integer

3.3. Bank.Block Clear Time

Data Type: integer

3.4. Bank.Top Floor

Data Type: integer

3.5. Bank.Bottom Floor

Data Type: integer

3.6. Bank.Max Close Attempts

Data Type: integer

3.7. Bank.Building ID (R)

References:
Building.ID (across R24)

4. FLOOR (FLOOR)

Floor ( Number, Building ID, Name )

Identifiers:
Number + Building ID

4.1. Floor.Number

Data Type: integer

4.2. Floor.Building ID (R)

References:
Building.ID (across R23)

4.3. Floor.Name

Data Type: string

6. DOOR (DOOR)

Door ( Shaft ID, Retries, Open Wait Time, Lock Enabled, Open Timer, Current State )

Identifiers:
Shaft ID

6.1. Door.Shaft ID (R)

References:
Cabin.Shaft ID (across R4)

6.2. Door.Retries

Data Type: integer

6.3. Door.Open Wait Time

Data Type: integer

6.4. Door.Lock Enabled

Data Type: boolean

6.5. Door.Open Timer

6.6. Door.Current State (M)

17. TRANSFER (XFER)

Transfer ( Destination Floor, Shaft ID, Current State )

Identifiers:
Destination Floor + Shaft ID

17.1. Transfer.Destination Floor (R)

References:
Shaft Level.Floor Number (across R21)

17.2. Transfer.Shaft ID (R)

References:
Shaft Level.Shaft ID (across R21)
Cabin.Shaft ID (across R21)

17.3. Transfer.Current State (M)

18. BANK LEVEL (BLEV)

Bank Level ( Floor Number, Bank ID, Current State, Calling UP Shaft ID, Calling DN Shaft ID )

Identifiers:
Floor Number + Bank ID

18.1. Bank Level.Floor Number

Data Type: integer

18.2. Bank Level.Bank ID (R)

References:
Bank.ID (across R25)

18.3. Bank Level.Current State (M)

18.4. Bank Level.Calling UP Shaft ID (R)

References:
Shaft.ID (across R20)

18.5. Bank Level.Calling DN Shaft ID (R)

References:
Shaft.ID (across R19)

19. SHAFT LEVEL (SLEV)

Shaft Level ( Shaft ID, Floor Number, Stop Requested, Current State )

Identifiers:
Shaft ID + Floor Number

19.1. Shaft Level.Shaft ID (R)

References:
Shaft.ID (across R28)

19.2. Shaft Level.Floor Number

Data Type: integer

19.3. Shaft Level.Stop Requested

Data Type: boolean

19.4. Shaft Level.Current State (M)

20. STOP WINDOW (STOP_WIN)

Stop Window ( Shaft ID, Nearest Upper Floor, Nearest Lower Floor, Current State )

Identifiers:
Shaft ID

20.1. Stop Window.Shaft ID (R)

References:
Cabin.Shaft ID (across R22)

20.2. Stop Window.Nearest Upper Floor

Data Type: integer

20.3. Stop Window.Nearest Lower Floor

Data Type: integer

20.4. Stop Window.Current State (M)

21. BUILDING (BLDNG)

Building ( ID, Name )

Identifiers:
ID

21.1. Building.ID

Data Type: integer

21.2. Building.Name

Data Type: string

Part III: Relationships

R1.Bank DEFINES SERVICE FEATURES OF Shaft (1:M)
Shaft HAS SERVICE FEATURES DEFINED BY Bank

Formalization:
Shaft.Bank IDBank.ID

R2.Cabin CARRIES PASSENGERS UP AND DOWN Shaft (1:1)
Shaft IS CONDUIT FOR Cabin

Formalization:
Cabin.Shaft IDShaft.ID

R4.Door IS PASSENGER ENTRY FOR Cabin (1:1)
Cabin PASSENGERS ENTER VIA Door

Formalization:
Door.Shaft IDCabin.Shaft ID

R19.Shaft WILL SERVICE DOWN CALL FOR Bank Level (1c:Mc)
Bank Level HAS SELECTED TO SERVICE DOWN CALL Shaft

Formalization:
Bank Level.Calling DN Shaft IDShaft.ID

R20.Bank Level HAS SELECTED TO SERVICE UP CALL Shaft (Mc:1c)
Shaft WILL SERVICE UP CALL FOR Bank Level

Formalization:
Bank Level.Calling UP Shaft IDShaft.ID

R21.Shaft Level WILL BE VISITED NEXT BY Cabin (1c:1c)
Cabin WILL GO TO NEXT Shaft Level
Transfer ASSOCIATES Shaft Level AND Cabin 1-(1c:1c)

Formalization:
Transfer.Shaft IDShaft Level.Shaft ID
Transfer.Destination FloorShaft Level.Floor Number
Transfer.Shaft IDCabin.Shaft ID

R22.Stop Window UPDATES NEAREST STOP FLOORS FOR Cabin (1:1)
Cabin HAS NEAREST STOP FLOORS UPDATED BY Stop Window

Formalization:
Stop Window.Shaft IDCabin.Shaft ID

R23.Building IS HORIZONTALLY PARTITIONED BY Floor (1:M)
Floor IS A HORIZONTAL PARTITION OF Building

Formalization:
Floor.Building IDBuilding.ID

R24.Bank ORGANIZES FLOOR SERVICE FOR Building (M:1)
Building ORGANIZES FLOOR SERVICE BY Bank

Formalization:
Bank.Building IDBuilding.ID

R25.Bank Level IS A FLOOR ACCESSED IN Bank (M:1)
Bank PROVIDES FLOOR ACCESS AT Bank Level

Formalization:
Bank Level.Bank IDBank.ID

R28.Shaft ACCESSES FLOOR AT Shaft Level (1:M)
Shaft Level PROVIDES FLOOR ACCESS FOR Shaft

Formalization:
Shaft Level.Shaft IDShaft.ID

Part IV: Data Types

1. boolean

Predefined type for boolean values.

2. integer

Predefined type for integers.

3. string

Predefined type for character strings.