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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)
Andrieux, A., Czajkowski, K., Dan, A., et al.: Web services agreement specification (ws-agreement). In: Open Grid Forum (2007)
Cardoso, J., Sheth, A., Miller, J., et al.: Quality of service for workflows and Web service processes. Web Semantics: Science, Services and Agents on the World Wide Web 1(3), 281–308 (2004)
Chen, J., Yang, Y.: Temporal dependency for dynamic verification of temporal constraints in workflow systems. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 1005–1008. Springer, Heidelberg (2004)
Chen, J., Yang, Y.: A taxonomy of grid workflow verification and validation. Concurrency and Computation: Practice and Experience 20(4), 347–360 (2008)
D’Ambrogio, A., Bocciarelli, P.: A model-driven approach to describe and predict the performance of composite services. In: Proc. WOSP 2007, pp. 78–89 (2007)
Ismail, A., Yan, J., Shen, J.: Dynamic service selection for service composition with time constraints. In: Proc. ASWEC 2009, pp. 183–190 (2009)
Jaeger, M.C., Rojec-Goldmann, G., Muhl, G.: Qos aggregation for Web service composition using workflow patterns. In: Proc. EDOC 2004, pp. 149–159 (2004)
Jordan, D., Evdemon, J., Alves, A., et al.: Web services business process execution language version 2.0. OASIS (2007)
Kazhamiakin, R., Pandya, P., Pistore, M.: Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In: Proc. ICWS 2006, pp. 497–504 (2006)
Koubarakis, M.: Temporal CSPs. In: Handbook of Constraint Programming, pp. 665–697. Elsevier, Amsterdam (2006)
Liu, R., Dai, G., Hu, C., et al.: A Verification Method for Temporal Consistency of Service Flow. In: Proc. COMPSAC 2008, pp. 1187–1192 (2008)
Marjanovic, O.: Dynamic verification of temporal constraints in production workflows. In: Proc. ADC 2000, pp. 74–81 (2000)
Müller, C., Martín-Díaz, O., Ruiz-Cortés, A., Resinas, M., Fernández, P.: Improving temporal-awareness of WS-agreement. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 193–206. Springer, Heidelberg (2008)
van der Aalst, W.M.P., Hofstede, A.H.M.T., Kiepuszewski, B., et al.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
Vilain, M., Kautz, H.: Constraint propagation algorithms. In: Proc. AAAI 1986, pp. 377–382 (1986)
Xiao, H., Chan, B., Zou, Y., et al.: A Framework for Verifying SLA Compliance in Composed Services. In: Proc. ICWS 2008, pp. 457–464 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ismail, A., Yan, J., Shen, J. (2009). Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation. In: Vossen, G., Long, D.D.E., Yu, J.X. (eds) Web Information Systems Engineering - WISE 2009. WISE 2009. Lecture Notes in Computer Science, vol 5802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04409-0_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-04409-0_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04408-3
Online ISBN: 978-3-642-04409-0
eBook Packages: Computer ScienceComputer Science (R0)