Algorithm 1 Access Control and Booking Algorithm for ViRe-Lab.

procedure Laboratory Access and Booking (UserData, booking)

Calendar ← Data structure with free and busy slots of time

if ((booking)&&(AvailableSlot(Calendar)) then

BookingSession(UserData, Calendar)

message(“Booked a selected and free session in the calendar.”)

return True

else

if (!BookedSlot(UserData, Calendar)) then

message(“There is not a booked slot session for the user at the moment. Yo can do it.”)

return False

else

Resources ← List of available virtual resources

if (!AvailableResources(Resources)) then

message(“There is not available resources at the moment. Try it later, please.”)

return False

else

UserResources ← List of booked virtual resources for this user

CheckingConfigurations(UserData, UserResources)

RunVirtualLab(UserData, UserResources)

message(“Setting up the laboratory for user access.”)

return True