Toward a Model-Based Approach to the Specification of Virtual Reality Environments