Results 101 to 110 of about 143 (139)

An Access Control Framework for WS-BPEL processes

2010
Business processes –the next generation workflows- have attracted considerable research interest in the last fifteen years. More recently, several XML-based languages have been proposed for specifying and orchestrating business processes, resulting in the WS-BPEL language.
Paci, Federica, Bertino, Elisa, Crampton, Jason   +2 more
openaire   +2 more sources

Interoperability Challenges for WS-BPEL Standard

2007 4th IEEE Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2007
This paper is dedicated to the problem of designing the enterprise scale computer programs with support for the WS-BPEL standard leveraging the service oriented architecture approach.
Ilya Kuleshov, Valeriy Rogovich
openaire   +1 more source

A Framework for Mutant Genetic Generation for WS-BPEL

2009
The rise of Web Services and their WS-BPEL compositions in recent years makes necessary to pay special attention to testing in this context. Mutation testing is a white box testing technique that has been applied successfully to programs written in different languages.
Juan José Domínguez-Jiménez, Antonia Estero-Botaro, Inmaculada Medina-Bulo   +2 more
openaire   +1 more source

Methods for Enabling Recovery Actions in Ws-BPEL

2006
Self-Healing is an emerging exigency for Information Systems where processes are everyday more complicated and where many autonomous actors are involved Roughly, self-healing mechanisms can be viewed as a set of automatic recovery actions fired at run-time according to the detected fault These actions can be at infrastructure level, i.e transparently ...
Stefano Modafferi, Eugenio Conforti
openaire   +1 more source

Measuring Performance Metrics of WS-BPEL Service Compositions

2009 Fifth International Conference on Networking and Services, 2009
In this paper we present an approach to the development of monitoring solutions for processes implemented as WSBPEL service compositions. The approach allows modeling of process performance metrics in a platform-independent manner and then generating an event-based monitor model for a specific WS-BPEL process engine. We create a metamodel which enables
Branimir Wetzstein, Steve Strauch, Frank Leymann   +2 more
openaire   +1 more source

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions

2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010
This work presents a quantitative evaluation of the quality of a set of mutation operators for WS-BPEL 2.0 (Web Services Business Process Execution Language), an OASIS standardized language for the composition of Web Services. A series of experiments is conducted, aiming to determine how selective operators are for the qualification of test cases and ...
Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo   +2 more
openaire   +1 more source

Towards a formal analysis of dynamic reconfiguration in WS-BPEL

Intelligent Decision Technologies, 2013
The BP-calculus is a formalism based on the π-calculus, which is encoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented Applications (SOA). One important feature of SOA is the ability to compose services which may evolve dynamically or at runtime.
Faisal Abouzaid, Manuel Mazzara, John Mullins, Nafees Qamar   +3 more
openaire   +1 more source

Choreography Design Using WS-BPEL. [PDF]

IEEE Data Eng. Bull., 2008
Web Services are the state-of-the-art realization of a service-oriented architecture. While there is an agreed standard to describe the interface of services (WSDL) as well as an agreed standard to describe the behavior of a single process (WS-BPEL), there is no agreed standard to describe choreographies.
Kopp, Oliver, Leymann, Frank
openaire  

WSCLT: A Tool for WS-BPEL Compositions Load Testing

2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013
This paper addresses the load testing of WS-BPEL compositions. For that, we developed WSCLT tool, which takes as input a specification of the composition under test, expressed as a Timed Automaton, and considers various parameters such as the number of requests to handle simultaneously.
Afef Jmal Maâlej, Manel Hamza, Moez Krichen   +2 more
openaire   +1 more source

Extending the compatibility notion for abstract WS-BPEL processes

Proceedings of the 17th international conference on World Wide Web, 2008
WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specification also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes are not executable and can have parts where business logic is ...
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf   +4 more
openaire   +1 more source