Weconsiderinthisdemonstrationthe(static)analysisofdata-centricprocess-basedapplications,namelyapplicationsthatdependonanunderlyingdatabaseandwhosecontrolisguidedbyafinitestatetransitionsystem.Weobservethatanalystsofsuchapplicationsoftenwanttodomorethananal