是的，程序法的规定属于形式上的规定。以下是对这一问题的详细分析：
一. 程序法的定义
程序法，又称形式法，是规定因诉讼和非诉讼活动必须遵循或履行的法定程序的法律。它包括但不限于民事诉讼法、刑事诉讼法、行政诉讼法、仲裁法等。程序法的主要功能在于及时、正确地实现实体法的权利与义务，保障实体法的正确实施。它不仅仅是诉讼活动的程序法，还包括非诉讼活动如调解、仲裁等程序法。
二. 程序法的形式性质
形式上的要求：程序法通过规定特定的形式或程序来确保法律行为的合法性、有效性和规范性。这些形式规定可能因不同的法律领域和具体事项而有所不同，但都是为了实现法律程序的正当性和规范性。
与实体法的区别：与实体法相比，程序法更侧重于过程和形式。实体法规定的是权利和义务的实质内容，而程序法则规定了实现这些权利和义务所必须遵循的程序和步骤。因此，程序法具有鲜明的形式性质。
三. 程序法规定的具体体现
以《中华人民共和国民法典》为例，其中关于婚姻登记的形式规定就体现了程序法的要求。该法第一千零四十九条规定：“要求结婚的男女双方应当亲自到婚姻登记机关申请结婚登记。符合本法规定的，予以登记，发给结婚证。完成结婚登记，即确立婚姻关系。未办理结婚登记的，应当补办登记。”这一规定明确指出了结婚必须办理登记手续的形式要求。
再如在《中华人民共和国招标投标法》中，也明确规定了必须进行招标的工程建设项目范围以及招标的具体形式和程序，这些都是程序法规定的具体体现。
四. 程序法规定的意义
程序法规定的意义在于确保法律程序的正当性和规范性，从而保障实体法的正确实施。它有助于降低因不明确而产生的法律风险，维护市场秩序，并便于相关机关对法律行为进行监督和管理。同时，程序法也是法律监管的一种手段，对于维护法律的权威性和严肃性具有重要意义。
综上所述，程序法的规定确实属于形式上的规定。它通过规定特定的形式或程序来确保法律行为的合法性、有效性和规范性，从而保障实体法的正确实施。