Verifiable web services with hierarchical interfaces

Date

2005-07-15

Author

Betin Can, Aysu

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

171
views

0
downloads

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 identify composite web services whose global interactions can be analyzed with respect to unbounded queues using finite state model checkers. We also discuss automated translation of behavioral interfaces specified as HSMs to BPEL specifications to be published and used by other services.

Subject Keywords

Web services, Automata, Contracts, Asynchronous communication, Computer science, Pattern analysis, Java, Queueing analysis, Web and internet services, Collaborative work

URI

https://hdl.handle.net/11511/32506

DOI

https://doi.org/10.1109/icws.2005.128

Collections

Graduate School of Informatics, Conference / Seminar

Suggestions

OpenMETU
Core

A workflow-based web service composition system Karakoc, E.; Kardas, K.; Karagöz, Pınar (2006-12-22) In this work, we present a web service composition system that provides an environment for specifying the now model of the composite service and the user's constraints on the composite service. We adopt our previous work on workflow modeling and scheduling under resource allocation constraints for web service composition and extend it with service discovery functionalities. In modeling the composite service, the system guides the user for selecting the relevant service types. In both guiding functionality a...
Verifiable concurrent programming using concurrency controllers Betin Can, Aysu (2004-09-24) We present a framework for verifiable concurrent programming in Java based on a design pattern for concurrency controllers. Using this pattern, a programmer can write concurrency controller classes defining a synchronization policy by specifying a set of guarded commands and without using any of the error-prone synchronization primitives of Java. We present a modular verification approach that exploits the modularity of the proposed pattern, i.e., decoupling of the controller behavior from the threads that ...
An Information security framework for web services in enterprise networks Sarıkoz, Bahadır Gökhan; Günel Kılıç, Banu; Department of Information Systems (2015) Web Service, an open standard based on existing Internet protocols, provides a flexible solution to web application integration. It provides faster, more practical and more effective way of solutions for the organizational structures. Online shopping, billing, reservation and other way of standards provided to people mostly depend on web services. On the other hand, it provides corporate identity and functionality of an organization. Since the importance and the necessity of the web services increase day by...
Semantic Annotation of Web Services with Lexicon-Based Alignment Cantürk, Deniz; Karagöz, Pınar (2011-07-04) As the number of available web services published in registries and on web sites increases, web service discovery becomes a challenging task. One solution to the problem is to use distributed web service search system composed of domain specific sub service discoverers. Using ontology is the most common practice to specify domain knowledge. However, an important problem at this point is the lack of semantic annotation for currently available web services. For this reason, there is a strong need for a mechan...
Design for verification for asynchronously communicating Web services Betin Can, Aysu; TEVFİK, Bultan (2005-05-14) 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...

Citation Formats

A. Betin Can, “Verifiable web services with hierarchical interfaces,” 2005, vol. 2005, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/32506.