SAT4BSC: a static analysis tool for BPEL source codes
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
International Journal of Computer Science and Mobile Computing
2014
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/35300/ http://psasir.upm.edu.my/id/eprint/35300/1/SAT4BSC%20a%20static%20analysis%20tool%20for%20BPEL%20source%20codes.pdf |
| _version_ | 1848848016138567680 |
|---|---|
| author | Alemneh, Esubalew Abd Ghani, Abdul Azim Atan, Rodziah |
| author_facet | Alemneh, Esubalew Abd Ghani, Abdul Azim Atan, Rodziah |
| author_sort | Alemneh, Esubalew |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-15T09:27:47Z |
| format | Article |
| id | upm-35300 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T09:27:47Z |
| publishDate | 2014 |
| publisher | International Journal of Computer Science and Mobile Computing |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-353002016-10-12T03:57:59Z http://psasir.upm.edu.my/id/eprint/35300/ SAT4BSC: a static analysis tool for BPEL source codes Alemneh, Esubalew Abd Ghani, Abdul Azim Atan, Rodziah 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. International Journal of Computer Science and Mobile Computing 2014 Article PeerReviewed application/pdf en http://psasir.upm.edu.my/id/eprint/35300/1/SAT4BSC%20a%20static%20analysis%20tool%20for%20BPEL%20source%20codes.pdf 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 http://ijcsmc.com/past_issues/volume_3_issue_2 |
| spellingShingle | Alemneh, Esubalew Abd Ghani, Abdul Azim Atan, Rodziah SAT4BSC: a static analysis tool for BPEL source codes |
| title | SAT4BSC: a static analysis tool for BPEL source codes |
| title_full | SAT4BSC: a static analysis tool for BPEL source codes |
| title_fullStr | SAT4BSC: a static analysis tool for BPEL source codes |
| title_full_unstemmed | SAT4BSC: a static analysis tool for BPEL source codes |
| title_short | SAT4BSC: a static analysis tool for BPEL source codes |
| title_sort | sat4bsc: a static analysis tool for bpel source codes |
| url | http://psasir.upm.edu.my/id/eprint/35300/ http://psasir.upm.edu.my/id/eprint/35300/ http://psasir.upm.edu.my/id/eprint/35300/1/SAT4BSC%20a%20static%20analysis%20tool%20for%20BPEL%20source%20codes.pdf |