Domain-oriented semantics for feature modeling based on tae structures using conditional attributed rewriting systems