DoMAIns: Domain-based Modeling for Ambient Intelligence