Effective Integration of Task-Based Modeling and Object-Oriented Specifications