IEEE Organizations related to Ws-bpel

Back to Top

No organizations are currently tagged "Ws-bpel"



Conferences related to Ws-bpel

Back to Top

No conferences are currently tagged "Ws-bpel"


Periodicals related to Ws-bpel

Back to Top

No periodicals are currently tagged "Ws-bpel"


Most published Xplore authors for Ws-bpel

Back to Top

Xplore Articles related to Ws-bpel

Back to Top

Analysis of WS-BPEL Processes in PRISM

2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011

WS-BPEL has emerged as the de facto industry standard for composing Web services. With the wide attention for WS-BPEL, Quality of Service (QoS) for it has become a key differentiator to judge the services with same functionalities. One main challenge currently is how to analyze the QoS of WS- BPEL services at the early design phase. This work aims at ...


Behavioral Interface Conformance Checking for WS-BPEL Processes

2008 International MCETECH Conference on e-Technologies (mcetech 2008), 2008

Web services can be described at various levels and using various notations, e.g., operations (WSDL), orchestration (WS-BPEL), multi-partners collaborations (WS-CDL). The first two provide descriptions similar to those found in typical programming languages, namely, syntactical description of service interface and operational description of service behavior. In this paper, we show how Web services descriptions can be extended with simple declarative ...


Conformance Testing of WS-BPEL Compositions under Various Load Conditions

2012 IEEE 36th Annual Computer Software and Applications Conference, 2012

We propose in this paper a new approach for conformance testing of WS-BPEL compositions under various load conditions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing framework that automatically generates and executes parallel tests online, and an algorithm for online test generation and execution. We also implemented a part of our solution in ...


Formal Modeling of Transaction Behavior in WS-BPEL

2008 International Conference on Computer Science and Software Engineering, 2008

Web Services can be composed to build domain-specific application and solution. Some Web Services Composition (WSC) standards are proposed, for instance, WS-BPEL and WS-CDL. WS-BPEL consists of basic activity, structured activity and control-flow. It uses control-flow to construct sequence, branching, parallelism, synchronization, etc. This paper proposes an approach to formally analyze transaction behavior in WS-BPEL through General Stochastic High-level Petri ...


Realization of business process automation based on web services and WS-BPEL

ICSSSM11, 2011

Although information and Internet technology developed rapidly, how to realize flexible integration of enterprise application, and how to realize coordination of the heterogeneous information system and automation of the business process, have been core issues that need to be further researched. Application of Web Services and WS-BPEL can solve this problem. By using Web Services, which is platform-independent and loosely ...



Educational Resources on Ws-bpel

Back to Top

IEEE.tv Videos

No IEEE.tv Videos are currently tagged "Ws-bpel"

IEEE-USA E-Books

  • Analysis of WS-BPEL Processes in PRISM

    WS-BPEL has emerged as the de facto industry standard for composing Web services. With the wide attention for WS-BPEL, Quality of Service (QoS) for it has become a key differentiator to judge the services with same functionalities. One main challenge currently is how to analyze the QoS of WS- BPEL services at the early design phase. This work aims at proposing a methodology for model-based analysis of WS-BPEL processes, with a focus on the assessment of non-functional quality attributes. Particularly, we define a small language BPELR to model the core features of WS-BPEL language, and annotate message receiving and service invoking activities with message-arrive rate and service-execute rate separately. Then a set of rules are proposed for translating BPELR into the input language of the probabilistic model checker PRISM, which can be used to stochastically analyze WS-BPEL processes. Finally, we show our approach by a purchase order business process example.

  • Behavioral Interface Conformance Checking for WS-BPEL Processes

    Web services can be described at various levels and using various notations, e.g., operations (WSDL), orchestration (WS-BPEL), multi-partners collaborations (WS-CDL). The first two provide descriptions similar to those found in typical programming languages, namely, syntactical description of service interface and operational description of service behavior. In this paper, we show how Web services descriptions can be extended with simple declarative behavior specification, using a form of regular expressions. We explain the relationships between such specifications and WS-BPEL abstract processes. We also describe how a concrete, thus executable, WS-BPEL process can be shown to satisfy its associated abstract specification, using the SPIN model-checker.

  • Conformance Testing of WS-BPEL Compositions under Various Load Conditions

    We propose in this paper a new approach for conformance testing of WS-BPEL compositions under various load conditions. It is based on Timed Automata as model for testing WS-BPEL implementations, a distributed testing framework that automatically generates and executes parallel tests online, and an algorithm for online test generation and execution. We also implemented a part of our solution in the form of a prototype tool named WSCCT for WS-BPEL compositions conformance testing.

  • Formal Modeling of Transaction Behavior in WS-BPEL

    Web Services can be composed to build domain-specific application and solution. Some Web Services Composition (WSC) standards are proposed, for instance, WS-BPEL and WS-CDL. WS-BPEL consists of basic activity, structured activity and control-flow. It uses control-flow to construct sequence, branching, parallelism, synchronization, etc. This paper proposes an approach to formally analyze transaction behavior in WS-BPEL through General Stochastic High-level Petri Net (GSHLPN). Unlike other approaches based on Petri Net, our approach can simulate the interrupt behavior resulted from the trigger of failure and user exception operation in WS-BPEL, and accurately compute the time of process, whereas other approaches can not effectively do so.

  • Realization of business process automation based on web services and WS-BPEL

    Although information and Internet technology developed rapidly, how to realize flexible integration of enterprise application, and how to realize coordination of the heterogeneous information system and automation of the business process, have been core issues that need to be further researched. Application of Web Services and WS-BPEL can solve this problem. By using Web Services, which is platform-independent and loosely coupled, business process can be adapted to rapidly changing environment. On the other hand, BPM combination of services for process planning and management can further improve business efficiency and lower development cost. In this paper, based on the web services and WS-BPEL, utilizing a typical commercial model, the web services of business process are developed, and the method of using WS-BPEL for process planning is explored. At the same time, web services orchestration is fulfilled through the WS-BPEL, commercial model of process automation instance is established. In the end, business process automation is implemented and tested accordingly.

  • A Petri-Net Model for Formal Modeling of WS-BPEL Processes

    Business Process Execution Language (WS-BPEL) is one of the most popular standards for Web service composition. To formalize WS-BPEL gives the way to further describe, reason, analyze and verify complex service compositions. In this paper, we propose a translation-based approach for formalization of WS- BPEL processes, which employs the Petri net as the intermediate representation. A set of translation rules is defined for constructs and activities so that processes specified in BPEL can be translated into the equivalent Petri nets.

  • On the Complexity of Compensation Handling in WS-BPEL 2.0 for 3rd Party Logistics

    WS-BPEL is for specifying business process behaviour based on Web services. Business processes can be very long and encounter expected or unexpected exceptions. Compensations, or dealing with faults, can be a long, complex and imperfect process. In this paper, the FCT-Handlers of WS-BPEL are analysed to show the features that might be modified to be suitable for the real business processes in 3rd party logistics applications.

  • Hierarchical verification of WS-BPEL

    This paper proposes hierarchical verification of Web Service-Business Process Execution or WS-BPEL together with the partial order reduction. This approach is based on the framework of timed trace theoretic verification. It certainly supports hierarchical verification. The system is verified with modular structure. The cost of verification is considerably minimized. Experimenting with the case study, the proposed method shows its effectiveness.

  • Migration Validity of WS-BPEL Instances Revisited

    WS-BPEL processes ought to be adaptable even at run-time so as to adapt to the changing environments and requirements. It is cost-ineffective and time- consuming to restart a running WS-BPEL instance from scratch after the WS-BPEL process is changed. Instead, a WS-BPEL instance had better be transferred to the updated process. Current approaches to validity checking of instance migration are too conservative and thus few instance migrations are considered to be valid. To address this problem, we propose a novel criterion for valid migration which is based on the dynamic dependence graph for the trace of a WS-BPEL instance. Compared with existing approaches, our approach is significantly less conservative, that is, it allows more instances to migrate to the updated process. We illustrate the applicability and effectiveness of our approach by dynamically updating the WS-BPEL process of a travel agency.

  • Refactoring and Publishing WS-BPEL Processes to Obtain More Partners

    WS-BPEL processes can facilitate service discovery when the services have multiple interfaces in certain order. Current approaches derive the abstract WS-BPEL processes directly from the corresponding executable ones by hiding or omitting the internal activities. However, these simple approaches may prevent the services from being found by valuable potential partners at service discovery stage. To address this problem, we propose a novel approach to refactoring the executable and abstract WS-BPEL processes for service discovery. We show the application of our approach through a typical travel agency service.



Standards related to Ws-bpel

Back to Top

No standards are currently tagged "Ws-bpel"