执行异议程序中的执行异议之诉属于诉讼，但执行异议本身不属于诉讼。以下是对这一问题的详细分析：
一、执行异议与执行异议之诉的定义及性质
执行异议：
- 定义：执行异议是案外人、当事人对执行行为提出的程序性救济。它主要针对的是执行过程中的程序性问题，如执行行为的合法性、执行标的的权属等。
- 性质：执行异议本身并不构成诉讼，而是一种程序性的救济手段。它旨在通过提出异议，促使执行法院对执行行为进行审查，并作出相应的处理决定。
执行异议之诉：
- 定义：执行异议之诉，是指在执行过程中，案外人对执行标的主张足以排除强制执行的实体权利，向执行法院提出书面异议被驳回后，依法向人民法院提起的诉讼。它主要解决的是案外人与申请执行人之间的实体权利争议。
- 性质：执行异议之诉属于民事诉讼案件中的一类特殊诉讼程序。它遵循民事诉讼的基本原则和程序，如起诉、受理、审理、判决等。
二、执行异议之诉的法律依据与特点
法律依据：
- 执行异议之诉主要依据《中华人民共和国民事诉讼法》及相关司法解释，如《最高人民法院关于适用〈中华人民共和国民事诉讼法〉的解释》第三百零四条至第三百一十条等条款。这些条款明确了执行异议之诉的起诉条件、审理程序和裁判规则。
特点：
- 目的明确：旨在通过诉讼程序解决案外人与申请执行人之间的实体权利争议。
- 程序严格：需遵循特定的起诉条件、审理程序和裁判规则，确保诉讼的公正性和合法性。
- 结果具有终局性：法院的判决对当事人具有约束力，不得再就同一执行标的重复提起异议。
三、执行异议与执行异议之诉的区别
性质不同：
- 执行异议是程序性救济手段，不构成诉讼；
- 执行异议之诉是实体性救济手段，属于诉讼范畴。
目的不同：
- 执行异议旨在纠正执行过程中的程序性问题；
- 执行异议之诉旨在解决案外人与申请执行人之间的实体权利争议。
程序不同：
- 执行异议通常通过向执行法院提出书面异议的方式进行；
- 执行异议之诉则需通过向人民法院提起诉讼的方式进行，并遵循民事诉讼的基本程序。
四、实际应用中的注意事项
在实际应用中，当事人应明确区分执行异议与执行异议之诉的性质和目的，根据具体情况选择合适的救济手段。如果仅对执行行为提出程序性异议，应选择执行异议；如果对执行标的提出实体权利争议，并希望通过诉讼程序解决，则应选择执行异议之诉。
如有任何关于执行异议程序或执行异议之诉的法律问题，可以直接向我咨询。