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

  • Azlan Ismail
  • Jun Yan
  • Jun Shen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5802)


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.


composite service temporal consistency temporal constraints temporal satisfaction verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)zbMATHCrossRefGoogle Scholar
  2. 2.
    Andrieux, A., Czajkowski, K., Dan, A., et al.: Web services agreement specification (ws-agreement). In: Open Grid Forum (2007)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Chen, J., Yang, Y.: A taxonomy of grid workflow verification and validation. Concurrency and Computation: Practice and Experience 20(4), 347–360 (2008)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Ismail, A., Yan, J., Shen, J.: Dynamic service selection for service composition with time constraints. In: Proc. ASWEC 2009, pp. 183–190 (2009)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Jordan, D., Evdemon, J., Alves, A., et al.: Web services business process execution language version 2.0. OASIS (2007)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Koubarakis, M.: Temporal CSPs. In: Handbook of Constraint Programming, pp. 665–697. Elsevier, Amsterdam (2006)CrossRefGoogle Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Marjanovic, O.: Dynamic verification of temporal constraints in production workflows. In: Proc. ADC 2000, pp. 74–81 (2000)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Vilain, M., Kautz, H.: Constraint propagation algorithms. In: Proc. AAAI 1986, pp. 377–382 (1986)Google Scholar
  17. 17.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Azlan Ismail
    • 1
  • Jun Yan
    • 1
  • Jun Shen
    • 1
  1. 1.School of Information Systems and TechnologyUniversity of WollongongWollongongAustralia

Personalised recommendations