Investigation of declarative feature modeling