说明: A data-dependent process (DDP) models an application who- se control flow is guided by a finite state machine, as well as by the state of an underlying database. DDPs are com- monly found e.g., in e-commerce. In this paper we develop a framework sup <u013408977> 上传 | 大小:1mb