Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation

Authors:
Azlan Ismail;Jun Yan;Jun Shen
Affiliations:
School of Information Systems and Technology, University of Wollongong, Wollongong, Australia 2522;School of Information Systems and Technology, University of Wollongong, Wollongong, Australia 2522;School of Information Systems and Technology, University of Wollongong, Wollongong, Australia 2522
Venue:
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Year:
2009

Citing 11
Cited 3

Maintaining knowledge about temporal intervals

Communications of the ACM
Workflow Patterns

Distributed and Parallel Databases
Dynamic Verification of Temporal Constraints in Production Workflows

ADC '00 Proceedings of the Australasian Database Conference
QoS Aggregation for Web Service Composition using Workflow Patterns

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Representation, Verification, and Computation of Timed Properties in Web

ICWS '06 Proceedings of the IEEE International Conference on Web Services
A model-driven approach to describe and predict the performance of composite services

WOSP '07 Proceedings of the 6th international workshop on Software and performance
A taxonomy of grid workflow verification and validation

Concurrency and Computation: Practice & Experience - First International Workshop on Workflow Systems in Grid Environments (WSGE2006)
Improving Temporal-Awareness of WS-Agreement

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
A Verification Method for Temporal Consistency of Service Flow

COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
A Framework for Verifying SLA Compliance in Composed Services

ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Dynamic Service Selection for Service Composition with Time Constraints

ASWEC '09 Proceedings of the 2009 Australian Software Engineering Conference

An offer generation approach to SLA negotiation support in service oriented computing

Service Oriented Computing and Applications
Spatio-temporal reasoning with qualitative and quantitative information about constraints and approximations

IEA/AIE'12 Proceedings of the 25th international conference on Industrial Engineering and Other Applications of Applied Intelligent Systems: advanced research in applied artificial intelligence
Incremental service level agreements violation handling with time impact analysis

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper aims to address the issue of consistency and satisfaction of composite services with the presence of temporal constraints. These constraints may cause conflict between services and affect the estimation over composition requirements. Existing verification approaches have not adequately addressed this issue. Therefore, this paper contributes to the verification method with temporal consistency checking and temporal satisfaction estimation. A set of checking rules and estimation formulae are presented according to workflow patterns and temporal dependencies. The method will lead to three major outcomes; consistent with satisfactory combination, consistent with unsatisfactory combination and inconsistent with unsatisfactory combination.