Provisioned Analysis of DataCentric Processes.
Weconsiderinthisdemonstrationthe(static)analysisofdata-centricprocess-basedapplications,namelyapplicationsthatdependonanunderlyingdatabaseandwhosecontrolisguidedbyafinitestatetransitionsystem.Weobservethatanalystsofsuchapplicationsoftenwanttodomorethananal
下载地址
用户评论
