مکانیسمی صوری