SAT4BSC: A Static Analysis Tool for BPEL Source Codes

Download Now
Provided by: International Journal of Computer Science and Mobile Computing (IJCSMC)
Topic: Big Data
Format: PDF
Business Process Execution Language (BPEL) is EXtensible Markup Language (XML) based language for describing the logic to orchestrate the interaction between Web services in a business process. Even though it is fairly new language it is getting popularity in various software industries and research environments. The emphasis of recent researches and developments on web services and on BPEL has been in their architecture and interface. However, the work regarding to tool support especially to compute the metrics and to draw Control Flow Graph (CFG) is in its infant stage. Provision of tools to reckon measures has multitude of benefits. CFG is essential tool to analyze various properties of a source code and it is also useful for software testing, software measure, and software maintenance.
Download Now

Find By Topic