A Petri Net-based Model for Web Service Composition

2014

Technology is, now, looking for distributed applications to develop and increase its domains. Web services are distributed components that provide functionality applications through network. They can be used by applications written in different languages, and performed in different platforms on different systems. The concept of Web services is essentially based on standard internet protocols, such as UDDI (Universal Description, Discovery and Integration), WSDL (Web Service Description Language) and SOAP (Simple Object Access Protocol) which offer solutions for description, publication, discovery, and interoperability of Web services. However, the complex composition of Web services is not guaranteed by them, therefore, different approaches have been proposed to solve this problem. Current Web services composition approaches range from practical languages aspiring to become standard like Business Process Execution Language (BPEL) to theoretical model like Petri nets. In this paper, ...

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.

2012

Web services are widely used thanks to their features of universal interoperability between software assets, platform independent and loose-coupled. Web services composition is one of the most challenging topics in service computing area. In this paper, an approach based on High Level Petri-Net model as dynamic configuration schema of web services composition is proposed to achieve self adaptation to run-time environment and self management of composite web services. For composite service based applications, in addition to functional requirements, quality of service properties should be considered. This paper presents and proves some quality of service formulas in context of web service composition. Based on this model and the quality of service properties, a suitable configuration with optimal quality of service can be selected in dynamic way to reach the goal of automatic service composition. The correctness of the approach is proved by a simulation results and corresponding analysis.

2013

Abstract: To ensure reliable and efficient communication in B2B environments, we relied on the use of composite Web services. Indeed, in some cases, a service cannot provide the functionality required by the user unless it communicates with other services. This leads to the notion of Web services composition. The communication of these Web services has to be guaranteed without errors such as deadlocks. In this way, formal verification of Web services composition is a focused-on research field. It is in this context that our work is proposed. We have developed a tool for modeling and formal verification of Web services composition which is based on the modeling of these services by open workflow nets: a special class of Petri nets used to model business processes which communicate together via interface places. This tool checks temporal properties written in CTL against a WSC model translated into SMV code. The verification is ensured by invoking the NuSMV Model Checker.

IEEE Transactions on Automation Science and Engineering, 2000

Under Service Oriented Architecture (SOA), service composition is used to integrate service components together to meet new business needs. In this paper, we propose a novel data-driven method to provide service composition guidance to implement given requirements. Based on the relations between business domain data and service domain data, we generate additional data mediations according to three composition rules. With these data relations and composition rules, we propose a Petri-net based approach to the composition of services. In our approach, all the in/output messages of the service operations are modeled as colored places, and service operations themselves are modeled as transitions with input/output places. We first generate a Service Net (SN) that contains all operations in a given service portfolio, and then use Petri-net decomposition techniques to derive a subnet of SN, and this subnet meets the need of the business requirement. Our work can be seen as an effort to bridge the gap between business and service domains.

Web Services is an open, Standards based approach for a higher level business process. Web services becomes the choice of service oriented implementation. With the Internet technology, the most important model used in the distributed computing is the web services. When a single web services fails the requester multiple functional requirement, multiple web services are

Electronics and Electrical Engineering, 2013

OWLS , one of the most significant Semantic web service ontologies , provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their web Services in unambiguous, computer interpretable form. In this work we present a translation-based approach for modelling the semantic Web services described in the OWLS language. This approach employs Petri net as the fundamental means of modelling and defines a set of translation rules to map OWLS elements into equivalent Petri net representations. They capture the main aspect of service invocations and the control flow of the service model. A case study based on a real-world OWLS example is also conducted to examine the effectiveness of the translation-based model.

2006

ABSTRACT The internet is going through several major changes. It has become the vehicle of Web services rather than just a repository of information. Currently more and more distributed systems are built based on service oriented architecture (SOA), which can be implemented using Web service technologies. Service-oriented architecture is emerging as a compelling paradigm for developing web-based software applications.

Proceedings of the eleventh international conference on World Wide Web - WWW '02, 2002

Web services-Web-accessible programs and devices-are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. This implementation takes as input a DAML-S description of a Web service, automatically generates a Petri Net and performs the desired analysis. Such a tool has broad applicability both as a back end to existing manual Web service composition tools, and as a stand-alone tool for Web service developers.

2002

Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We take as our starting point the DAML-S DAML+OIL ontology for describing the capabilities of Web services. We define the semantics for a relevant subset of DAML-S in terms of a first-order logical language. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe. Finally, we present an implementation of our analysis techniques. This implem...