La tesi confronta gli approcci al workflow che combinano un modello dichiarativo a quello procedurale: in particolare, si sono esaminati ConDec (van der Aalst), SCIFF (Mello, Montali) e il workflow ReSpecT-based.
