The event coordination notation: execution engine and programming framework.