Structural operational semantics (also called structured operational semantics or small-step semantics) was introduced by Gordon Plotkin in (Plotkin81) as a logical means to define operational semantics.
Η δομική λειτουργική σημασιολογία, δομημένη λειτουργική σημασιολογία (structured operational semantics, SOS) ή σημασιολογία μικρού βήματος εμφανίστηκε στο Plotkin81 από τον Gordon Plotkin σαν ένας λογικός τρόπος να ορίζεται η λειτουργική σημασιολογία.