执行异议之诉确实属于诉讼程序，它是民事诉讼中的一项重要制度，旨在解决在执行过程中当事人和案外人对执行标的的实体权利争议。以下是对执行异议之诉作为诉讼程序的详细解析：

1. 定义与性质：

   • 执行异议之诉是指在执行过程中，当事人和案外人对执行标的的实体权利存在争议，进而请求执行法院解决该争议而引发的诉讼。它属于民事诉讼案件中的一类特殊诉讼程序，具有明确的诉讼目的和严格的程序要求。

2. 法律依据：

   • 执行异议之诉的法律依据主要来源于《中华人民共和国民事诉讼法》及其相关司法解释。例如，《民事诉讼法》第二百三十四条规定了案外人在执行过程中可对执行标的提出书面异议，并对异议的审查与处理作出了规定。同时，《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》等相关司法解释也对执行异议之诉的起诉条件、管辖法院、审理程序等进行了详细规定。

3. 程序特点：

   • 起诉条件：执行异议之诉的起诉条件相对严格，需要满足一定的法律要求，如案外人需对执行标的提出书面异议并被驳回后，方可提起执行异议之诉；申请执行人则需在特定情形下，如认为原生效裁判错误导致执行标的错误时，方可提起许可执行之诉（即申请人执行异议之诉）。
   • 管辖法院：执行异议之诉应向执行法院提出诉讼，这有助于确保诉讼的效率和公正性。
   • 审理程序：执行异议之诉一般适用普通程序进行审理，但合议庭成员中可能包含人民陪审员，以体现诉讼的民主性和公正性。在审理过程中，法院会严格遵循法律规定和司法解释的要求，确保当事人的合法权益得到充分保护。
   • 判决结果：法院的判决对当事人具有约束力，不得再就同一执行标的重复提起异议。这体现了执行异议之诉的终局性特点，有助于维护司法裁判的权威性和稳定性。

4. 实践应用：

   • 在实践中，执行异议之诉为当事人和案外人提供了一种有效的救济途径。当他们对执行标的的实体权利存在争议时，可以通过提起执行异议之诉来维护自己的合法权益。同时，法院也应严格遵循法律规定和司法解释的要求，确保执行异议之诉的公正、高效处理。

建议：

• 如果您或您身边的人遇到执行异议之诉相关的问题，建议及时咨询专业律师（即我本人，汪健律师），以便更好地了解自己的权利和义务，并制定合适的诉讼策略。
• 在提起执行异议之诉前，应充分准备证据材料，以证明自己对执行标的享有足以排除强制执行的民事权益。同时，应明确诉讼请求，确保诉讼请求与执行标的的实体权利争议直接相关。

如有其他疑问或需要进一步的法律帮助，请随时向我咨询。