詞條：formulae,程式；程式訴訟

中文：程式；程式訴訟

解釋：(羅馬法)
由於原來適用於一切訴訟的法定訴訟〔legis actiones〕僵化的程序難以解決糾紛，遂逐步引入靈活的程式訴訟程序。原來的法定訴訟於公元前164年被廢除。程式訴訟系由裁判官〔praetor〕指定審理事實的承審員〔judex〕,並告知其審理案件的有關程式(準則)。程式的四個主要部分包括：１請求的原因〔demonstratio〕，原告說明其提出要求的事實根據；２原告的請求〔intentio〕，原告提出對被告的訴訟要求；３分析裁判〔adjudicatio〕,即在某些財產爭議案件中，承審員決定財產在當事人之間如何進行分配；４判決要旨〔condemnatio〕,承審員根據事實是否得到證實,決定被告應否向原告支付一定金額的貨幣。