Requirements Abstraction Model