A Feature-Oriented Environment for Modeling and  Resolving Variability in Product Line Architecture