Keyword Search:

Bookmark and Share

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

[img] PDF (Abstract)

Official URL:


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.

Item Type:Article
Keyword:Static analysis; BPEL 2.0; BPEL metrics; CFG
Faculty or Institute:Faculty of Computer Science and Information Technology
Publisher:International Journal of Computer Science and Mobile Computing
ID Code:35300
Deposited By: Nurul Ainie Mokhtar
Deposited On:12 Oct 2016 11:57
Last Modified:12 Oct 2016 11:57

Repository Staff Only: Edit item detail

Document Download Statistics

This item has been downloaded for since 12 Oct 2016 11:57.

View statistics for "SAT4BSC: a static analysis tool for BPEL source codes"