Ein kombiniertes zustands- und spurenorientiertes Modell zur Beschreibung konfigurationsveränderlicher Systeme