A Profile-driven Environment for Modeling and Analyzing Context-Aware Software Services