狭义上的法律执行也被称为