Optimal checkpointing of real-time tasks
IEEE Transactions on Computers
A generalization of Owicki-Gries's Hoare logic for a concurrent while language
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Checkpointing in distributed computing systems
Journal of Parallel and Distributed Computing
An On-Line Algorithm for Checkpoint Placement
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
The MOSIX multicomputer operating system for high performance cluster computing
Future Generation Computer Systems - Special issue on HPCN '97
A first order approximation to the optimum checkpoint interval
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
CoCheck: Checkpointing and Process Migration for MPI
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Strong Mobility and Fine-Grained Resource Control in NOMADS
ASA/MA 2000 Proceedings of the Second International Symposium on Agent Systems and Applications and Fourth International Symposium on Mobile Agents
Experimental Assessment of Workstation Failures and Their Impact on Checkpointing Systems
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Performance analysis of checkpointing strategies
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Experiences implementing efficient Java thread serialization, mobility and persistence
Software—Practice & Experience - Research Articles
Self adaptivity in Grid computing: Research Articles
Concurrency and Computation: Practice & Experience - Grid Performance
Future Generation Computer Systems - Special issue: P2P computing and interaction with grids
The Cactus Worm: Experiments with Dynamic Resource Discovery and Allocation in a Grid Environment
International Journal of High Performance Computing Applications
Checkpointing BSP parallel applications on the InteGrade Grid middleware: Research Articles
Concurrency and Computation: Practice & Experience - Middleware for Grid Computing
Journal of Systems Architecture: the EUROMICRO Journal
Supporting fault-tolerance in streaming grid applications
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Live migration of virtual machines
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
AO4BPEL: An Aspect-oriented Extension to BPEL
World Wide Web
Coordinated checkpoint versus message log for fault tolerant MPI
International Journal of High Performance Computing and Networking
Towards adaptive management of QoS-aware service compositions
Multiagent and Grid Systems - Special Issue on "Advances in Grid services Engineering and Management"
Towards Making WSRF Based Web Services Strongly Mobile
WETICE '08 Proceedings of the 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Transparent parallel checkpointing and migration in clusters and ClusterGrids
International Journal of Computational Science and Engineering
Periodic Checkpointing for Strong Mobility of Orchestrated Web Services
SERVICES '09 Proceedings of the 2009 Congress on Services - I
Adaptive web service migration
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Aspect-oriented checkpointing approach of composed web services
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
A runtime performance analysis for web service-based applications
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Efficient middleware for byzantine fault tolerant database replication
Proceedings of the sixth conference on Computer systems
Transparent fault tolerance for grid applications
EGC'05 Proceedings of the 2005 European conference on Advances in Grid Computing
Analytic models for rollback and recovery strategies in data base systems
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
This paper presents a flexible, portable, and transparent solution for strong mobility of composed Web services relying on policy-oriented techniques. The proposed approach provides a checkpoint solution based on automatic code instrumentation using correct source code transformation rules. This checkpoint technique permits to save the execution state of a mobile orchestration process as well as the execution states of its orchestrated partners. Thus, after migration, only non-executed codes will be resumed. In addition, our approach enables dynamic adaptation of the employed checkpointing and mobility techniques using aspects. For that, we use policies allowing dynamic selection of the used checkpointing and mobility techniques according to the execution context. Moreover, the proposed solution includes a module allowing the determination of the checkpointing interval satisfying QoS requirements. Experimentations show the efficiency of the proposed solution.