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...

Full description

Bibliographic Details
Main Authors: Alemneh, Esubalew, Abd Ghani, Abdul Azim, Atan, Rodziah
Format: Article
Language:English
Published: International Journal of Computer Science and Mobile Computing 2014
Online Access:http://psasir.upm.edu.my/id/eprint/35300/1/SAT4BSC%20a%20static%20analysis%20tool%20for%20BPEL%20source%20codes.pdf