RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions (original) (raw)

Coordination Technologies for Web-Services

OOPSLA Workshop on Object-Oriented Web …, 2001

Based on the identification of some shortcomings of object-oriented methodology and technology to address the challenges of supporting the engineering and deployment of Web Services, we suggest that alternative approaches can be found in what we call "coordination methodologies and technologies"-a set of modelling primitives, design principles, design patterns, and analysis techniques that we have been developing for supporting the construction and evolution of complex software systems that need to operate in very volatile and dynamic environments.

A Comparative Study of Web Service Composition via BPEL and Petri Nets

International Journal of Computer and Electrical Engineering, 2014

Web services technology provides a platform on which we can develop distributed services. The interoperability among these services is achieved by various standard protocols. In recent years, several researches suggested that Petri Nets provide a satisfactory assistance to the whole process of web services development. Business transactions, on the other hand, involve the coordination and interaction between multiple partners. With the emergence of web services, business transactions are conducted using these services. The coordination among the business processes is crucial, so is the handling of faults that can arise at any stage of a transaction. BPEL models the behavior of business process interaction by providing a XML based grammar to describe the control logic required to coordinate the web services participating in a process flow. However BPEL lacks a proper formal description where the composition of business processes cannot be formally verified. Petri Nets, on the other hand, facilitates a formal foundation for rigorous verification of the composition. This paper presents a comparison of web service composition between BPEL and Petri nets.

A tuple space web service for distributed programming

2006

Abstract: This paper describes a new tuple space web service for coordination and communication in distributed web applications. This web service is based on the Linda programming model. Linda is a coordination language for parallel and distributed processing, providing a communication mechanism based on a logically shared memory space. The original Linda model has been extended through the provision of a programmable mechanism, providing additional flexibility and improved performance. The implementation of the web service is discussed, together with the details of the programmable matching mechanism. Some results from the implementation of a location-based mobile application, using the tuple space web service are presented, demonstrating the benefits of our system.

Towards a Coordination Model for Web Services

2006

The increasing popularity of Web services for application integration has strengthened the need for automated Web services composition. For this automation to succeed, the joint execution of Web services requires to be coordinated. Coordination's main use is to solve conflicts between Web services.

A Petri net approach for the design and analysis of Web Services Choreographies

A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, e.g. the Internet. Web Services composition provides a way to obtain value-added services by combining several Web Services. The composition of Web Services is, therefore, suitable to support enterprise application integration. WS-CDL (Web Services Choreography Description Language) is a W3C candidate recommendation for the description of peer-to-peer collaborations for the participants in a Web Services composition. In this paper we focus our attention on the development of a methodology for the design and validation of composite Web Services using WS-CDL as the language for describing Web Services interactions and Petri nets as a formalism that allows us to simulate and validate the described systems. We specifically intend, then, to capture timed and prioritized collaborations in composite Web Services, so the model of Petri nets that we use is a prio...

Merging Logic Programming into Web-based technology: a Coordination-based approach

1997

Current WWW technology is becoming the de-facto standard platform for groupware applications, yet it provides virtually no effective coordination capabilities. New applications, instead, demand higher-level middleware services, with intelligent behaviours, deductive capabilities, and effective coordination. In this work we discuss an extension to the current Web-based architectures whose aim is to provide a support to the integration between logic-based and conventional components, and to introduce the concept of programmable communication abstraction. Declarative (logic) programming is adopted, within the current Java-based architectural framework, as the main tool to exploit coordination models, to overcome some problems related to point-to-point interaction and to introduce reasoning and introspection capabilities within middleware software systems.

A programming language for web service development

2005

There is now widespread acceptance of Web services and service-oriented architectures. But despite the agreement on key Web services standards there remain many challenges. Programming environments based on WSDL support go some way to facilitating Web service development. However Web services fundamentally rely on XML and Schema, not on contemporary programming language type systems such as those of Java or .NET. Moreover, Web services are based on a messaging paradigm and hence bring forward the traditional problems of messaging systems including concurrency control and message correlation. It is easy to write simple synchronous Web services using traditional programming languages; however more realistic scenarios are surprisingly difficult to implement. To alleviate these issues we propose a programming language which directly supports Web service development. The language leverages XQuery for native XML processing, supports implicit message correlation and has high level join calculus-style concurrency control. We illustrate the features of the language through a motivating example.

WS-Net: A Petri-net Based Specification Model for Web Services

and interoperation net describes the internal operational behaviors of the component. As an architectural model that formalizes the architectural topology and behaviors of each web services component as well as the entire system, WS-Net facilitates the verification and monitoring of web services integration.

A Formal Framework for Web Services Coordination

Electronic Notes in Theoretical Computer Science, 2007

Recently the term Web Services choreography has been introduced to address some issues related to Web Services composition and coordination. Several proposals for describing choreography for business processes have been presented in the last years and many of these languages (e.g. BPEL4WS) make use of concepts as longrunning transactions and compensations for coping with error handling. However, the complexity of BPEL4WS makes it difficult to formally define this framework, thus limiting the formal reasoning about the designed applications. In this paper, we formally address coordination among Web Services with particular attention to Web transactions. We enhance our past work -the Event Calculus -introducing two main novelties: i) a multicast event notification mechanism, and ii) event scope names binding. The former enables an easier specification of complex coordination scenarios -such as business-to-business applications require -while the latter allows many new interesting behaviors which can be very useful in business scenarios: the introduction of private event scope names -that can be exploited to deal with security and privacy -and a dynamic event scopes definition that can be used, for example, to manage multiple instances of the same application.

An Integrated Framework for Web Services Orchestration Lamsade

Currently, Web services give place to active research and this is due both to industrial and theoretical factors. On one hand, Web services are essential as the design model of applications dedicated to the electronic business. On the other hand, this model aims to become one of the major formalisms for the design of distributed and cooperative applications in an open environment (the Internet). In this paper, we will focus on two features of Web services. The first one concerns the interaction problem: given the interaction protocol of a Web service described in BPEL, how to generate the appropriate client? Our approach is based on a formal semantics for BPEL via process algebra and yields an algorithm which decides whether such a client exists and synthetize the description of this client as a (timed) automaton. The second one concerns the design process of a service. We propose a method which proceeds by two successive refinements: first the service is described via UML, then refined in a BPEL model and finally enlarged with JAVA code using JCSWL, a new language that we introduce here. Our solutions are integrated in a service development framework that will be presented in a synthetic way.