A set of Apstrata scripts implementing the back-end business logic of the DoorControllerApp application