电子制度的形式化描述