On using BPEL extensibility to implement OGSI and WSRF Grid workflows

Slomiski, Aleksander

doi:10.1002/cpe.1004

Cited by 50 publications

(29 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…[16] developed BPEL extensibility mechanisms to orchestrate services based on OGSI (Open Grid Service Infrastructure) and WSRF (Web Services Resource Framework [11]). [22] used specialised constructs to achieve interoperability with WSRF services.…”

Section: Implementing Composed Servicesmentioning

confidence: 99%

Formal Methods for Industrial Critical Systems

Alpuente¹,

Cook²,

Joubert³

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by CRESS (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to LOTOS (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to BPEL (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science.

show abstract

Section: Implementing Composed Servicesmentioning

confidence: 99%

Formal Methods for Industrial Critical Systems

Alpuente¹,

Cook²,

Joubert³

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…[4] discusses programmatic ways in which BPEL can support grid computing. [21] examines how extensibility mechanisms in BPEL can be used to orchestrate grid services. However, the focus of such work is pragmatic.…”

Section: Relationship To Other Workmentioning

confidence: 99%

A rigorous approach to orchestrating grid services

Turner¹,

Tan²

2007

Computer Networks

View full text Add to dashboard Cite

Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services. CRESS descriptions are automatically translated into LOTOS (Language Of Temporal Ordering Specification), allowing systematic checks for interoperability and logical errors prior to implementation. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is used to validate the generated specification against use case scenarios. The same CRESS descriptions are then automatically converted into BPEL/WSDL code for practical realisation of the composed services. Grid services are executed by Globus Toolkit 4, while their orchestration is supported by the ActiveBPEL engine. The MUSTARD scenarios are used again to evaluate the implementation. The overall approach therefore supports rigorous development and automated creation of orchestrated grid services.

show abstract

“…Grid programming environments [23] allow for the creation of applications that integrate Grid services for coordinated problem solving (e.g., for Bioinformatics and Computational Chemistry). For such applications, when a Grid service partner fails, the whole application fails and has to be restarted even though there are other nodes on the Grid that can substitute for the failed service [24]. This problem is made more sever by the fact that such applications are often long running.…”

Section: Introductionmentioning

confidence: 99%

TRAP/BPEL - A Framework for Dynamic Adaptation of Composite Services

Ezenwoye

Sadjadi

2007

Proceedings of the Third International Conference on Web Information Systems and Technologies

View full text Add to dashboard Cite

Abstract. TRAP/BPEL is a framework that adds autonomic behavior into existing BPEL processes automatically and transparently. We define an autonomic BPEL process as a composite Web service that is capable of responding to changes in its execution environment (e.g., a failure in a partner Web service). Unlike other approaches, TRAP/BPEL does not require any manual modifications to the original code of the BPEL processes and there is no need to extend the BPEL language nor its BPEL engine. Furthermore, TRAP/BPEL promotes the reuse of code in BPEL processes as well as in their corresponding autonomic behavior. In this paper, we describe the details of the TRAP/BPEL framework and use a case study to demonstrate the feasibility and effectiveness of our approach.

show abstract

On using BPEL extensibility to implement OGSI and WSRF Grid workflows

Abstract: SUMMARYThis paper discusses the benefits and challenges of using BPEL4WS in Grid environments. In particular, we look at how BPEL4WS built-in extensibility can be used to facilitate execution of BPEL-based workflows in OGSI-and WSRF-based Grids.

Cited by 50 publications

References 6 publications

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

A rigorous approach to orchestrating grid services

TRAP/BPEL - A Framework for Dynamic Adaptation of Composite Services

Contact Info

Product

Resources

About