Search

Because of the nature of the Grid, Grid application systems built on traditional software development techniques can only interoperate with Grid services in an ad hoc manner that requires substantial human intervention. In this paper, we introduce Vega, a pure service-oriented Grid workflow system which consists of a set of loosely coupled services co-operating each other to solve problems. In Vega, the execution flow of its services is isolated from their interactions and these interactions are explicitly modelled and can be dynamically interpreted at run-time. [ABSTRACT FROM AUTHOR]

The core functionality of Web-service middlewares tries to wrap existing business logics and make them accessible as Web services. Recently, well-known standardization initiatives have proposed some high-level declarative languages for the description of coordination protocols and the implementation of coordination middlewares. In parallel to these initiatives, an increasing interest on the use of classical coordination models on distributed environments has been shown. In this work we present a Linda-like coordination framework using Petri nets, which is executed by the Renew tool, a high-level Petri net interpreter developed in Java, and subsequently exposed as a Web service able to be used by other services for coordination purposes. The implementation is based on an extension of the original Linda model that improves the tuple representation capabilities and extends the matching functions used for the recovery of tuples from the coordination space. The efficiency of the proposed implementation has been empirically evaluated on a cluster computing environment, and its performances compared with the previously reported ones related to JavaSpaces. Keywords: Service coordination, Linda, Petri nets, Tuple space benchmarks. [ABSTRACT FROM AUTHOR]

A new generation of open Business Process Management (BPM) systems based on the service-oriented architecture and Web service technologies has recently emerged. The general tendency for these systems should be governed by the integration of independent Web-service specifications. Web services requirements guide the description, execution and choreography of business process and the implementation of frameworks for supporting the coordination, synchronization and creation of business transactions. However, a wide variety of open research issues related to the lack of maturity of the involved specifications makes the development of standard-based BPM systems difficult. In this paper we propose an abstract architecture inspired by Web service specifications to overcome these difficulties. Also, a particular implementation based on the Nets-within-Nets paradigm and the Renew tool is presented. The result is an executable infrastructure able to run business processes (their workflows and coordination protocols) as well as the horizontal protocols that guarantee a coherent outcome of their whole execution, such as the WS-Atomic Transaction protocol. Keywords: SOA and Process Management, Formal models in BPM, Horizontal protocols, Petri nets, Nets-within-Nets paradigm. [ABSTRACT FROM AUTHOR]