Constraint-based invocation of stateful web services: The beep store (case study)

Author(s):  
Sylvain Halle ◽  
Roger Villemaire
Keyword(s):  
Author(s):  
Mustapha Mohammed Baua'a

The I\O file system Read\Write operations are considered the most significant characteristics. Where, many researchers focus on their works on how to decrease the response time of I\O file system read\write operations. However, most articles concentrate on how to read\write content of the file in parallelism manner. Here in this paper, the author considers the parallelizing Read\Write whole file bytes not only its contents. A case study has been applied in order to make the idea more clear. It talks about two techniques of uploading\downloading files via Web Service. The first one is a traditional way where the files uploaded and downloaded serially. While the second one is uploaded\ downloaded files using Java thread in order to simulate parallelism technique. Java Netbeans 8.0.2 have been used as a programming environment to implement the Download\Upload files through Web Services. Validation results are also presented via using Mat-lab platform as benchmarks. The visualized figures of validation results are clearly clarifying that the second technique shows better response time in comparison to the traditional way.


2018 ◽  
Vol 11 (1) ◽  
pp. 29-48
Author(s):  
Amel Boumaza ◽  
Ramdane Maamri

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to automated verification of temporal quantitative properties as bounded liveness property. As a starting point, the OWL-S and sub entry of time ontologies for describing the timed behaviour of services has been chosen. A defined set of mapping rules is used to automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a Uppaal checker is used to check required properties formulated in TCTL. Finally, an EClinic case study is used to illustrate the technique.


Author(s):  
César J. Acuña ◽  
Mariano Minoli ◽  
Esperanza Marcos

Several systems integration proposals have been suggested over the years. However these proposals have mainly focused on data integration, not allowing users to take advantage of services offered by Web portals. Most of the mentioned proposals only provide a set of design principles to build integrated systems and lack in suggesting a systematic way of how to develop systems based on the integration architecture they propose. In previous work we have developed PISA (Web Portal Integration Architecture)—a Web portal integration architecture for data and services—and MIDAS-S, a methodological approach for the development of integrated Web portals, built according to PISA. This work shows, by means of a case study, how both proposals fit together integrating Web portals.


2011 ◽  
pp. 463-468
Author(s):  
Diego Liberati

A framework is proposed that creates, uses, communicates, and distributes information whose organizational dynamics allow it to perform a distributed cooperative enterprise in public environments even over open source systems. The approach assumes Web services as the enacting paradigm, possibly over a grid, to formalize interaction as cooperative services on various computational nodes of a network. A framework is thus proposed that defines the responsibility of e-nodes in offering services and the set of rules under which each service can be accessed by e-nodes through service invocation. By discussing a case study, the chapter will detail how specific classes of interactions can be mapped into a serviceoriented model whose implementation will be carried out in a prototypical public environment.


Author(s):  
Diego Liberati

A framework is proposed that creates, uses, communicates, and distributes information whose organizational dynamics allow it to perform a distributed cooperative enterprise in public environments even over open source systems. The approach assumes Web services as the enacting paradigm, possibly over a grid, to formalize interaction as cooperative services on various computational nodes of a network. A framework is thus proposed that defines the responsibility of e-nodes in offering services and the set of rules under which each service can be accessed by e-nodes through service invocation. By discussing a case study, the chapter will detail how specific classes of interactions can be mapped into a serviceoriented model whose implementation will be carried out in a prototypical public environment.


Author(s):  
Pauline Ratnasingam

The Internet, a rapidly expanding global computer and communication infrastructure, has facilitated the emergence of digitization and globalization that in turn has permitted businesses to extensively engage in foreign investments. The reasons for using the Internet include: first considerably reducing the coordination costs involved in inter-organizational transactions. Second, business partners from remote locations are able to communicate and coordinate together using Web services and finally, the widespread adoption of open standards on the Web has greatly reduced the complexities thereby providing flexibility in conducting inter-organizational transactions. According to Forrester Research, e-commerce in the U.S. will grow at 19% reaching $230 billion by 2008. Today firms are attempting to attain their value chain goals by offering and selling products and services in an increasingly competitive market environment. Given the uncertainties of online transactions, Web services encourage the creation of institutional structures for online exchange relationships. Building upon the notion of institutional structures, this chapter examines the role of technology trust that develops through governance mechanisms and provides structural assurances that in turn enhance relationship trust thereby reducing and mitigating risks in Web services.


Sign in / Sign up

Export Citation Format

Share Document