actor systems2, adaptation, aspect-oriented programming, code instrumentation, Enforcement, Erlang2, monitoring2, runtime verification, verification.