Design for verification for asynchronously communicating Web services

2005-05-14
Betin Can, Aysu
TEVFİK, Bultan
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal is to automatically verify properties of interactions among such peers. We propose a design pattern that eases the development of such web services and enables a modular, assume-guarantee style verification strategy. In the proposed design pattern, each peer is associated with a behavioral interface description which specifies how that peer will interact with other peers. Using these peer interfaces we automatically generate BPEL specifications to publish for interoperability. Assuming that the participating peers behave according to their interfaces, we verify safety and liveness properties about the global behavior of the composite web service during behavior verification. During interface verification, we check that each peer implementation conforms to its interface. Using the modularity in the proposed design pattern, we are able to perform the interface verification of each peer and the behavior verification as separate steps. Our experiments show that, using this modular approach, one can automatically and efficiently verify web service implementations.

Suggestions

Query interface and query language for domain specific web service discovery system
Özdil, Hilal; Karagöz, Pınar; Department of Computer Engineering (2011)
As the number of the published web services increase, discovery of the web services with the desired functionality and quality is becoming a challenging process. Selecting the appropriate web services among the ones that o er the same functionality is also a challenging task. The web service repositories like UDDI (Universal Description Discovery and Integration) support only the syntactic searchs. Quality of service parameters for the published web services can not be queried over these repositories. We ha...
Verifiable web services with hierarchical interfaces
Betin Can, Aysu (2005-07-15)
We propose an Hierarchical State Machine (HSM) model for specifying behavioral interfaces of peers participating in a composite web service. We integrate the HSM model to a design pattern which is supported by a modular verification technique that can 1) statically analyze the properties about global interactions of a composite web service and 2) check the conformance of the Java implementations of the participant peers to their interfaces. We extend the synchronizability analysis to HSMs to efficiently ide...
Automated Web Services Composition with the Event Calculus
Aydin, Onur; Çiçekli, Fehime Nihan; Cicekli, Ilyas (2007-10-24)
As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service compositions which describe the communication and integration between web services. This paper analyzes the usage of the Event Calculus, which is one of the logical action-effect definition languages, for the automated preparation and execution of web service compositions. In this context, abductive planning capabilities of the Event Calculus are utilized. It is shown that composite process ...
Improved Genetic Algorithm based Approach for QoS Aware Web Service Composition
Yilmaz, A. Erdinc; Karagöz, Pınar (2014-07-02)
Use of web services is one of the most rapidly developing technologies. Since web services are defined by XML-based standards to overcome platform dependency, they are very eligible to integrate with each other in order to establish new services. This composition enables us to reuse existing services, which results in less cost and time consumption. One of the recent problems with web service composition is to maximize the overall Quality of Service (QoS) of the composed service. Most common elements of QoS...
Harnessing children's creativity in contextmapping activities
Özakar, Aslı Deniz; Pedgley, Owaın Francıs; Gilen, Mathieu; Department of Industrial Design (2010)
Recently developed co-design methods ask for users’ creative outcomes all through the design process. Designers are familiar with the creative process but users are not. The heuristic tasks given to users should reveal their creativity and harness it for high-quality outcomes. Contextmapping is a new co-design method following the same need as others; the method involves generative sessions in which users are asked to create artifacts communicating their needs and dreams about future products. Children are ...
Citation Formats
A. Betin Can and B. TEVFİK, “Design for verification for asynchronously communicating Web services,” 2005, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/31357.