Eine Spezifikation, die nach der traditionellen Methode in Form einer informellen textuellen Beschreibung von Eigenschaften und Verhalten des betrachteten Systems entstanden ist, kann in der Regel nur auf das im konkreten Fall betrachtete System angewandt werden. Insbesondere bei Systemen oder Systemkomponenten, die Bestandteil von Komponentenbibliotheken sind und regelmäßig und in verschiedenen Kontexten wiederverwendet werden sollen, ist dadurch die Anpassung der Spezifikation aufwendig und macht den Einsatz der entsprechenden Komponente oft schwierig bis unmöglich.