Packet flow analysis in IP networks using data-flow analysis

Author(s):  
Raghavan Komondoor ◽  
K. Vasanta Lakshmi ◽  
Deva P. Seetharam ◽  
Sudha Balodia
2008 ◽  
Vol 17 (03) ◽  
pp. 259-282 ◽  
Author(s):  
RANIA KHALAF ◽  
OLIVER KOPP ◽  
FRANK LEYMANN

Continuous process improvement (CPI) may require a BPEL process to be split amongst different participants. In this paper, we enable splitting standard BPEL — without requiring any new middleware for the case of flat flows. The solution also supports splitting loops and scopes that have compensation and/or fault handlers. When splitting loops and scopes, we extend existing Web services standards and frameworks in a standard compliant manner in order to support the resulting split control (not data) between the fragments. Data dependencies, however, are handled directly using BPEL constructs placed in the fragments even for split loops and scopes. We present a solution that uses a BPEL process, partition information, and results of data-flow analysis to produce a BPEL process for each participant. The collective behavior of these participant processes recreates the control and data flow of the non-split process. Previous work presented process splitting using a variant of BPEL where data flow is modeled explicitly using "data links". We reuse the control flow aspect from that work as well as the control flow aspect from our work on splitting loops and scopes, focusing in this paper on maintaining the data dependencies in standard BPEL.


2014 ◽  
Vol 599-601 ◽  
pp. 1346-1349
Author(s):  
Hai Lin ◽  
Bao Liang Mu

In this paper, we propose a new method for code optimization. This new method is based on backward data flow analysis, and the optimization is done on the source code level. First we design a tiny language to experiment with. Then, using data flow analysis, we set up some simultaneous equations and collect the liveness information for all program points. This is the basis for the optimization. Using this technique, some code can be safely eliminated without affecting the semantics of the code segment.


Sign in / Sign up

Export Citation Format

Share Document