Describir: Management of object-oriented action-based distributed programs