Journal ArticleDOI
Atomicity Analysis of Service Composition across Organizations
TLDR
A process algebraic framework to publish atomicity-equivalent public views from the backend processes that allows service consumers to choose suitable services such that their composition satisfies the atomicity sphere without disclosing the details of their backend processes.Abstract:
Atomicity is a highly desirable property for achieving application consistency in service compositions. To achieve atomicity, a service composition should satisfy the atomicity sphere, a structural criterion for the backend processes of involved services. Existing analysis techniques for atomicity sphere generally assume complete knowledge of all involved backend processes. Such an assumption is invalid when some service providers do not release all details of their backend processes to service consumers outside the organizations. To address this problem, we propose a process algebraic framework to publish atomicity-equivalent public views from the backend processes. These public views extract relevant task properties and reveal only partial process details that service providers need to expose. Our framework enables the analysis of atomicity sphere for service compositions using these public views instead of their backend processes. This allows service consumers to choose suitable services such that their composition satisfies the atomicity sphere without disclosing the details of their backend processes. Based on the theoretical result, we present algorithms to construct atomicity-equivalent public views and to analyze the atomicity sphere for a service composition. Two case studies from supply chain and insurance domains are given to evaluate our proposal and demonstrate the applicability of our approach.read more
Citations
More filters
Journal ArticleDOI
Requirements model driven adaption and evolution of Internetware
TL;DR: The requirements that the Internetware software paradigm should meet to excel at web application adaptation are outlined; a requirement model driven method for adaptive and evolutionary applications are proposed; and high-level guidelines are provided to meet the challenges of building adaptive industrial-strength applications with the spectrum of processes, techniques and facilities provided within the InternetWare paradigm.
Journal ArticleDOI
Static and Dynamic Process Change
Wei Song,Hans-Arno Jacobsen +1 more
TL;DR: A systematic literature review on process change sheds light on how to classify approaches for process change, determines what the principal research questions and challenges are, and identifies several research directions for further study.
Journal ArticleDOI
Selecting an Optimal Fault Tolerance Strategy for Reliable Service-Oriented Systems with Local and Global Constraints
Zibin Zheng,Michael R. Lyu +1 more
TL;DR: The experimental results show that the problem modeling approach and the proposed selection algorithm make it feasible to manage the fault tolerance of complex service-oriented systems both efficiently and effectively.
Journal ArticleDOI
XML-manipulating test case prioritization for XML-manipulating services
TL;DR: A strategy for black-box service-oriented testing for regression testing of modified WS-BPEL programs is provided, and new test case prioritization strategies using tags embedded in XML messages to reorder regression test cases are formulated and revealed.
Journal ArticleDOI
Regression Testing of Web Service: A Systematic Mapping Study
TL;DR: A broad automatic search on publications in the selected electronic databases published from 2000 to 2013 is performed and a qualitative analysis of the findings, including stakeholders, challenges, standards, techniques, and validations employed in these primary studies are presented.
References
More filters
Journal ArticleDOI
QoS-aware middleware for Web services composition
Liangzhao Zeng,Boualem Benatallah,Anne H. H. Ngu,Marlon Dumas,Jayant R. Kalagnanam,Henry Chang +5 more
TL;DR: This paper presents a middleware platform which addresses the issue of selecting Web services for the purpose of their composition in a way that maximizes user satisfaction expressed as utility functions over QoS attributes, while satisfying the constraints set by the user and by the structure of the composite service.
Book ChapterDOI
Notes on Data Base Operating Systems
TL;DR: This paper is a compendium of data base management operating systems folklore and focuses on particular issues unique to the transaction management component especially locking and recovery.
Journal ArticleDOI
On Communicating Finite-State Machines
TL;DR: A model of commumcations protocols based on finite-state machines is investigated and it is determined to what extent the problem is solvable, and one approach to solving it is described.
Modeling Quality of Service for Workflows and Web Service Processes
TL;DR: This paper presents a predictive QoS model that makes it possible to compute the quality of service for workflows automatically based on atomic task QoS attributes, and presents the implementation of the model for the METEOR workflow system.