契约类型约束相关论文