Dynamic Structural Operational Semantics (preliminary version)