UPM Institutional Repository

SAT4BSC: a static analysis tool for BPEL source codes


Alemneh, Esubalew and Abd Ghani, Abdul Azim and Atan, Rodziah (2014) SAT4BSC: a static analysis tool for BPEL source codes. International Journal of Computer Science and Mobile Computing, 3 (2). pp. 659-665. ISSN 2320-088X


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. In this research we have developed a static analysis tool which is dedicated to compute all available BPEL 2.0 metrics and draw CFG of its source code. The tool has been evaluated by various BPEL process source codes obtained from the languages specifications and from other research papers. The test shows that the tool can compute the metrics and draw the CFG effectively and efficiently.

Download File

PDF (Abstract)
SAT4BSC a static analysis tool for BPEL source codes.pdf

Download (35kB) | Preview
Official URL or Download Paper: http://ijcsmc.com/past_issues/volume_3_issue_2

Additional Metadata

Item Type: Article
Divisions: Faculty of Computer Science and Information Technology
Publisher: International Journal of Computer Science and Mobile Computing
Keywords: Static analysis; BPEL 2.0; BPEL metrics; CFG
Depositing User: Nurul Ainie Mokhtar
Date Deposited: 12 Oct 2016 03:57
Last Modified: 12 Oct 2016 03:57
URI: http://psasir.upm.edu.my/id/eprint/35300
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item