A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine