© 1999-2048 dssz.net 粤ICP备11031372号
[其它] Provisioned Analysis of Data-Centric Processes.
说明: We consider in this demonstration the (static) analysis of data-centric process-based applications, namely applications that depend on an underlying database and whose control is guided by a finite state transition system. We observe that analysts o<u013408977> 上传 | 大小:345kb