SAT4BSC: a static analysis tool for BPEL source codes

QR Code

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/ http://psasir.upm.edu.my/id/eprint/35300/1/SAT4BSC%20a%20static%20analysis%20tool%20for%20BPEL%20source%20codes.pdf

Similar Items

Validating structural metrics for BPEL process models
by: Muketha, Geoffrey Muchiri, et al.
Published: (2020)

Fault localisation for WS-BPEL programs based on predicate switching and program slicing
by: Sun, Chang-ai, et al.
Published: (2018)

A static analysis of android source code for lifecycle development usage patterns
by: Hoshieah, Noura, et al.
Published: (2019)

Online updating Bsc thesis abstract / Kamariah Kamal
by: Kamariah, Kamal
Published: (2004)

The effect of strategy, structure, and the balanced scorecard (BSC) on firm performance
by: Sailan, Md Saaid
Published: (2003)

Algorithm analyzer to check the efficiency of codes
by: Arvaree @ Alvar, Thamilvaani, et al.
Published: (2011)

Precise Orbit Determination of CubeSats
by: Allahvirdizadeh, Amir
Published: (2022)

The moderating role of employees’ professionalism on BSC usage and organizational performance relationship
by: Bakil Saleh Mohamad Dhaifallah,, et al.
Published: (2018)

UIAM institusi pengajian tinggi ketiga dunia raih anugerah BSC
Published: (2009)

The influence of academic and social factors on degree attainment in BSc Sport and Exercise Science
by: Hastings, Jayne
Published: (2022)

Priority of strategic plans in BSC model by using of group decision making model
by: Dodangeh, Javad, et al.
Published: (2008)

Internationalisation and innovation on balanced scorecard (BSC) among Malaysian small and medium enterprises
by: Poh, Ling Chong, et al.
Published: (2019)

Coupled BSc. and Associate Diploma Programs: the Experience of the College of Engineering, University of Bahrain
by: Al-Madani, Hussain, et al.
Published: (2005)

Design and validation of an adaptive CubeSat transmitter system
by: Jaswar, Fitri Dewi, et al.
Published: (2019)

IIUM cubeSat structural subsystem design
by: Isharuddin, Siti Sarah, et al.
Published: (2015)

Systematic search for local-search SAT heuristics
by: Burnett, Andrew W., et al.
Published: (2016)

Experimental Study of the Static Modal Analysis on Milling Machine Tool
by: Norlida, Jamil, et al.
Published: (2013)

The use of multiple performance measures and the balanced scorecard (BSC) in Bangladeshi firms: an empirical investigation
by: Khan, Habib, et al.
Published: (2011)

Using TOPSIS method with goal programming for best selection of strategic plans in BSC model
by: Dodangeh, Javad, et al.
Published: (2010)

Determination of correlation coefficients for RazakSAT received signals
by: Basri, Atikah Balqis, et al.
Published: (2018)

Exploring the landscape of the space of heuristics for local search in SAT
by: Burnett, Andrew W., et al.
Published: (2017)

Deterministic and Recursive Approach in Attitude Determination for InnoSAT.
by: Djojodihardjo, Harijono, et al.
Published: (2011)

School of health & social care university of teeside bsc (hans) applied rehabilitation (occupational therapy)
by: Masliza, Yazid
Published: (2009)

A static object-oriented debugging model using Unified Modeling Language
by: Mohd Sani, Nor Fazlida, et al.

Preliminary analyses on measured received signals of orbiting RazakSAT satellite
by: Yaccop, Afham Abd Hakim, et al.
Published: (2016)

CubeSat's attitude determination using GNSS antenna array
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

Progress Towards Controlled Re-entry and Recovery of CubeSats
by: Downey, Fergus William
Published: (2023)

Stability of CubeSat Clocks and Their Impacts on GNSS Radio Occultation
by: Allahvirdizadeh, Amir, et al.
Published: (2022)

Validity and reliability of the Survey of Attitudes toward Statistics (SATS) instrument
by: Yong, Chea Sin, et al.
Published: (2020)

Utilization of TiungSAT-1 Data for Coastal Current Studies
by: Marghany , Maged, et al.
Published: (2003)

Design of small thermal vacuum chamber for 125-U CubeSat satellite
by: Azizuddin, Abd Aziz, et al.
Published: (2019)

Android Malware classification using static code analysis and Apriori algorithm improved with particle swarm optimization
by: Adebayo, Olawale Surajudeen, et al.
Published: (2014)

Classification of TiungSAT-1 MSEIS Data for Land Cover Mapping with Hyperspectral Analysis Approach
by: Lau, Alvin Meng Shin, et al.
Published: (2003)

Source code analysis extractive approach to generate textual summary
by: Dawood, Kareem Abbas, et al.
Published: (2017)

Source code analysis extractive approach to generate textual summary
by: Dawood, Kareem Abbas
Published: (2017)

Statics and dynamics structural analysis of a 4.5 ton truck chassis
by: Teo, Han Fui, et al.
Published: (2007)

A wideband circularly-polarized spiral antenna for Cube Sat Application
by: Mustafa, A M Ahmad, et al.
Published: (2018)

A wideband circularly-polarized spiral antenna for CubeSat application
by: Ahmad Mustafa, Ahmad Mujahid, et al.
Published: (2017)

Utilization of TiungSAT-1 data for modelling sea surface current
by: Marghany, Maged, et al.
Published: (2007)

Radiometric and geometric information content of TiungSAT-1 MSEIS Data
by: Hashim, Mazlan, et al.
Published: (2001)