The Internet, along with its related technologies, has created an interconnected world in which information flows easily and tasks are processed collaboratively. To make service-oriented applications more robust, Web services must be examined from a transactional perspective. By transactional, we mean first defining the actions that guide the execution of Web services when failures arise and then the states that permit claiming the success of this execution following the handling of these failures. A variety of transactional models are reported in the database community. Some of these models can be leveraged and enhanced in response to Web services characteristics while others are not suitable for Web services due to the dynamic nature of Web services, the long-running execution scenarios that Web services take part in, and the successful execution of Web services despite other peers' failure. Today's service-oriented applications require advanced transactional models that guarantee integrity and continuity of business processes despite the dynamic nature of the features of the environments hosting the execution of these applications. This special section sheds light on the latest advances in the fields of Web services and transactional models in order to better address advanced research on and experience with transactional Web services.
Four papers out of 19 submissions were selected for inclusion in this special section. Each submission was subject to a double-review process by at least three peer reviewers.
In the first paper, entitled "Event-Based Design and Runtime Verification of Composite Service Transactional Behavior," Gaaloul et al. propose an event-driven approach to validate the transactional behavior of Web services taking part in compositions. A composition life cycle consists of four phases, namely, design, execution, monitoring, and reengineering. The verification of this behavior throughout this life cycle is done either at design time to validate recovery mechanisms' consistency or after runtime to detect execution deviations and repair design errors, and, therefore, formally ensure the execution reliability of Web services. In addition, this verification is based on the Event Calculus formalism, which offers a sound definition for this reliability.
In the second paper, entitled "FACTS: A Framework for Fault-Tolerant Composition of Transactional Web Services," Liu et al. note that delivering reliable compositions over unreliable Web services is challenging. To address this challenge, Liu et al. identify a set of high-level exception handling strategies and a new taxonomy of transactional Web services to devise a fault-tolerant mechanism that combines exception handling and transaction techniques. In addition, Liu et al. devise two modules, known as specification and verification, to assist service designers in constructing fault handling logic conveniently and correctly. This logic is automatically injected into WS-BPEL.
In the third paper, entitled "Rule-Based Coordination of Distributed Web Service Transactions," von Riegen et al. study the distributed transactional activity control problem in the context of service choreographies. In such a context, many participants are allowed to work together to achieve a global, common goal, and the initiator of a process is not always the one who is able to commit or cancel a transaction. Von Riegen et al. introduce a framework that allows autonomous coordination of dynamic processes. This framework extends WSBusinessActivity to strengthen the role of the coordinator. Predicate rules are developed to let participants cancel or complete a process and help the coordinators decide on the completion processes and the confirmation or cancellation of the participants' works.
In the fourth paper, entitled "TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition," El Haddad et al. focus on the issues of selecting and composing Web services. A design-time selection algorithm is proposed in which transactional and QoS requirements are both integrated into the selection process. This algorithm is based on the notion of risk that indicates if execution outcomes can either be compensated for or not. Two risk levels of execution in a transactional system are considered: Risk 0, meaning that if the execution is successful, the obtained outcomes can be compensated for by the user, and Risk 1, meaning that the system does not guarantee successful execution, but if it achieves it, the outcomes cannot be compensated for by the user.
We hope this special section inspires researchers to develop new transactional models that would guarantee service-oriented applications integrity and continuity. Finally, we are grateful to the anonymous reviewers for their valuable comments and efforts and to the authors of all of the papers submitted to this special section. We are also deeply indebted to the editor-in-chief, Dr. Liang-Jie Zhang, for including this special section in the IEEE Transactions on Services Computing.
Youakim Badr Djamal Benslimane Zakaria Maamar Ling Liu Guest Editors
Y. Badr is with the Computer Science and Industrial Engineering Departments, National Institute of Applied Sciences (INSA-Lyon), Blaise Pascal, 7 avenue Jean Capelle, F-69621 Villeurbanne, France. E-mail: email@example.com.
D. Benslimane is with LIRIS—Université Claude Bernard Lyon 1, 43 Bd du 11 Novembre 1918, 69622 Villeurbanne Cedex, France. E-mail: firstname.lastname@example.org.
Z. Maamar is with the College of Information Technology, Zayed University, PO Box 19282, Dubai, United Arab Emirates. E-mail: Zakaria.Maamar@zu.ac.ae.
L. Liu is with the College of Computing, Georgia Institute of Technology, KACB, room 3340, 266 Ferst Dr., Atlanta, GA 30332-0765. E-mail: email@example.com.
For information on obtaining reprints of this article, please send e-mail to: firstname.lastname@example.org.
is an associate professor in the Computer Science Department at INSA-Lyon, France. In his past research, he has worked extensively on enterprise modeling and collaborations. His research interests include security and dynamic and autonomic architectures. His current academic research interests include service systems in both the service sector and ICT. In particular, he studies the ecosystem of services and the multidisciplinary modeling approach to design service computing for ubiquitous and self-organized systems. Dr. Badr is vigorously involved in a series of international conferences and serves on the editorial boards of several international journals. He has also been a guest editor for journal special issues and serves as a reviewer for prestigious conferences and journals. More information can be found at http://youakim.free.fr.
is a full professor of computer science at Lyon University, France, and a member of the CNRS LIRIS Lab (Laboratoire d'InfoRmatique en Image et Système d'information). He is the head of the service-oriented computing research team ( http://liris. cnrs.fr/~soc) and the head of the Computer Science Department at IUT at Lyon 1 University. His research interests include Web services, databases, and ontologies. More information can be found at http://www710.univ-lyon1.fr/~dbenslim.
received the PhD degree in computer sciences from Laval University, Quebec City, Canada. He is currently a full professor in the College of Information Technology at Zayed University, Dubai, United Arab Emirates. His research interests include Web services, social networks, and context-aware computing. He has published several papers in various journals, such as the ACM Transactions on Internet Technology
and the IEEE Transactions on Knowledge and Data Engineering
, and in conference proceedings, such as CAiSE and MDM. He is the founder of the annual UAE Symposium on Web Services ( http://www.zu.ac.ae/wss). In 2009, he received an IBM Faculty Award to pursue research on social networks.
is a full professor in the College of Computing at the Georgia Institute of Technology. Her research interests are in the junctions of databases and distributed computing. She has published more than 200 international journal and conference articles and is a recipient of several best paper awards, including the best paper award at ICDCS 2003, the best paper award at WWW 2004, and the 2005 Pat Goldberg Memorial Best Paper Award. She has chaired a number of conferences as a program committee chair, vice program committee chair, or general chair, including the IEEE International Conference on Data Engineering (ICDE 2004, ICDE 2006, ICDE 2007), the IEEE International Conference on Distributed Computing (ICDCS 2006), the IEEE International Conference on Web Services (ICWS 2004), the IEEE/ICST Collaborative Computing Conference (CollaborateCom 2005, 2006), and the ACM International Conference on Knowledge and Information Management (CIKM 2000). Dr. Liu served on the editorial board of the IEEE Transactions on Knowledge and Data Engineering
and the International Journal of Very Large Database Systems
(Springer) from 2004-2008 and currently serves on the editorial board of the IEEE Transactions on Services Computing
, Parallel and Distributed Databases
(Springer), the International Journal of Peer-to-Peer Networking and Applications
(Springer), the International Journal of Web Services Research
, and the Wireless Network Journal
). Her research is primarily sponsored by the US National Science Foundation, the US Department of Energy, the US Defense Advanced Research Projects Agency, IBM, Intel, and HP.