Semantische Spezifikation dispositiver Informationssysteme