契约程式，或称为契约程序， 是契约行为的形式和外壳，它包括立约程序、履约程序及变更和撤销程序等三个大的程序。契约程序的目标是确保平等、自由、安全、便捷和效益，并通过意志介入来实现这些目标。当契约涉及社会公共利益和国家利益时，国家会以契约利益主体的身份出现，并允许国家意志对契约程序的介入。此外，契约式