Project Page

Database server: One database server
Middle tier server: One or more middle tier servers
Client: One or more clients. Each client represents one car

Methods

Client Manager Factory (one per server)

ClientManager getClientManager() throws ServiceUnavailableException

Creates a new client manager instance for a new client
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the client manager from being created successfully

ClientManager getExistingClientManager(int clientID, int seq) throws ServiceUnavailableException, InvalidClientException

Returns the existing client manager instance for an existing client. A client can call this method with its client ID and last sequence number on any server and should get its client manager instance
InvalidClientException is thrown when the given client ID is not known to the system
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the client manager from being retrieved successfully

Client Manager (one per client)

int getClientID()

Returns the client's ID, which can be used in the client manager factory's getExistingClientManager() method

int[] enterLot(int seq, int lot) throws AlreadyInLotException, LotNotFoundException, LotFullException, ServiceUnavailableException

Moves the client's car into the lot with the given lot number and returns an array of level numbers that have available spaces
AlreadyInLotException is thrown when the client's car is already in a lot
LotNotFoundException is thrown if the given lot number is not known to the system
LotFullException is thrown if the given lot is full
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the car from entering the lot

void exitLot(int seq) throws NotInLotException, NotOnExitLevelException, ServiceUnavailableException

Removes the client's car from the lot that it is currently in
NotInLotException is thrown if the car is not in a lot
NotOnExitLevelException is thrown if the car is in a lot but is not on a permitted exit level
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the car from exiting the lot

int[] getOtherLotAvailability(int lot) throws LotNotFoundException, ServiceUnavailableException

Returns an array of other lots that have availability, sorted by lot distance such that closer lots are listed first
LotNotFoundException is thrown if the given lot number is not known to the system
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from discovering the availability of other lots

int[] getLots() throws ServiceUnavailableException

Returns an array of valid lot numbers in the system, sorted by the lot number in ascending order
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from discovering the its defined lots

int moveUpLevel(int seq) throws NotInLotException, AtTopLevelException, ServiceUnavailableException

Moves the car from its present level to the level above it
NotInLotException is thrown if the car is not in a lot
AtTopLevelException is thrown if the car is already on the highest level
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the car from moving to the next highest level

int moveDownLevel(int seq) throws NotInLotException, AtBottomLevelException, ServiceUnavailableException

Moves the car from its present level to the level beneath it
NotInLotException is thrown if the car is not in a lot
AtTopLevelException is thrown if the car is already on the lowest level
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the car from moving to the lower level

int getCurrentLevel() throws NotInLotException, ServiceUnavailableException

Returns the car's current level number
NotInLotException is thrown if the car is not in a lot
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from returning the car's current level

int getMaxLevel() throws NotInLotException, ServiceUnavailableException

Returns the top level number of the car's current parking lot
NotInLotException is thrown if the car is not in a lot
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from returning the current lot's highest level

int getMinLevel() throws NotInLotException, ServiceUnavailableException

Returns the bottom level number of the car's current parking lot
NotInLotException is thrown if the car is not in a lot
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from returning the current lot's lowest level

void closeClientManager() throws ServiceUnavailableException

Closes the client manager and frees server resources associated with it, including the client manager's activation in the server's CORBA portable object adapter
ServiceUnavailableException is thrown if the database cannot be contacted or if some other reason prevents the system from closing the client manager. The client manager remains open if this exception gets thrown

Client (not used in the current version)

ClientID INTEGER NOT NULL UNSIGNED AUTO_INCREMENT: The ID of the client that this record belongs to
Seq INTEGER NOT NULL UNSIGNED DEFAULT 0: This client's latest committed sequence number
LastUpdated TIMESTAMP NOT NULL: DBMS-generated timestamp of the row's creation or last update
LotID INTEGER UNSIGNED: If not NULL, this is the lot that the client's car is currently in. If NULL, the client's car is not in a lot
Level INTEGER UNSIGNED: If not NULL, this is the level that the client's car is in within the LotID. If NULL, the client's car is not in a lot
Primary Key: ClientID

Level

LotID INTEGER NOT NULL UNSIGNED: The ID number of the lot that this level belongs to
Level INTEGER NOT NULL UNSIGNED: The level or floor number of this lot's level
CarCount INTEGER NOT NULL UNSIGNED: The number of cars currently in this level, parked or unparked. This can be higher than Capacity if the level is full and extra cars are on the lot looking for parking or passing through
Capacity INTEGER NOT NULL UNSIGNED: The number of parking spaces in the parking lot
Description VARCHAR(100) NOT NULL: Description of this level, such as "Ground Floor" or "Mall Entrance" (not used in current version)
Primary Key: LotID, Level

Lot

ID INTEGER NOT NULL UNSIGNED AUTO_INCREMENT: The ID number of this parking lot
CarCount INTEGER NOT NULL UNSIGNED: The number of cars currently in the parking lot. Note that this should not be allowed to exceed the lot's capacity
Capacity INTEGER NOT NULL UNSIGNED: The capacity of the parking lot
Description VARCHAR(100) NOT NULL: The description of the parking lot (not used in current version)
Name VARCHAR(30) NOT NULL: A short name for this parking lot (not used in current version)
Primary Key: ID

LotDistance

FromLotID INTEGER NOT NULL UNSIGNED: The source parking lot for this distance
ToLotID INTEGER NOT NULL UNSIGNED: The destination parking lot for this distance
Distance INTEGER NOT NULL UNSIGNED: The distance between the two parking lots represented by FromLotID and ToLotID by traveling from FromLotID to ToLotID
Primary Key: FromLotID, ToLotID

Responsibility	Hyunwoo	Karim	Puneet	Tanmay	Steven
Project Management				X	X
Requirements Specification	X		X
Architecture Design	X	X		X
Database Design		X	X		X
Implementation - Client			X	X
Implementation - Server	X	X			X
Testing	X	X	X	X	X
Tool Support					X
Performance Analysis		X		X	X
Real-time Analysis	X	X	X
Reliability Analysis	X		X	X
Presentation	X	X	X	X	X

Team #6: Team Slackers

Team Members:

Team Roles:

Project Title: Park'n Park

Baseline Application Description: A system that manages parking lots by keeping track of how many spaces are available in lots and recommends other lots when the lot a driver is at is full

Configuration:

Third-party software, if any (databases):

Baseline Application Features:

Dependability Requirements:

Real-Time Requirements:

Performance Requirements:

Baseline Application

Interfaces

Database Tables

Code Documentation (JavaDoc)

Scenarios/Interactions

Current Status

Downloads

Fault-Tolerant Baseline Application

Scenarios/Interactions

Current Status

Downloads

Real-Time Fault-Tolerant Baseline Application

Scenarios/Interactions

Current Status

Downloads

High-Performance Real-Time Fault-Tolerant Baseline Application

Scenarios/Interactions

Current Status

Downloads