Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation
作者： Azlan Ismail , Jun Yan , Jun Shen
DOI: 10.1007/978-3-642-04409-0_35
关键词:
摘要: This paper aims to address the issue of consistency and satisfaction composite services with presence temporal constraints. These constraints may cause conflict between affect estimation over composition requirements. Existing verification approaches have not adequately addressed this issue. Therefore, contributes method checking estimation. A set rules formulae are presented according workflow patterns dependencies. The will lead three major outcomes; consistent satisfactory combination, unsatisfactory combination inconsistent combination.
springer.com
core.ac.uk
springerlink.com参考文章(22)
Peter van Beek, Toby Walsh, Francesca Rossi, Handbook of Constraint Programming ,(2006)
Jim Pruyne, Alain Andrieux, Steven Tuecke, Karl Czajkowski, Asit Dan, Heiko Ludwig, John J. Rofrano, M. Xu, Katarzyna Keahey, Web services agreement specification (ws-agreement) ,(2004)
C. Müller, O. Martín-Díaz, A. Ruiz-Cortés, M. Resinas, P. Fernández, Improving Temporal-Awareness of WS-Agreement international conference on service oriented computing. pp. 193- 206 ,(2007) , 10.1007/978-3-540-74974-5_16
O. Marjanovic, Dynamic verification of temporal constraints in production workflows australasian database conference. ,vol. 22, pp. 74- 81 ,(2000) , 10.1109/ADC.2000.819816
Henry Kautz, Marc Vilain, Constraint propagation algorithms for temporal reasoning national conference on artificial intelligence. pp. 377- 382 ,(1986)
Manolis Koubarakis, Temporal CSPs Handbook of Constraint Programming. ,vol. 2, pp. 665- 697 ,(2006) , 10.1016/S1574-6526(06)80023-4
Principles of Constraint Programming: Constraint propagation algorithms Cambridge University Press. pp. 254- 298 ,(2003) , 10.1017/CBO9780511615320.007
Jinjun Chen, Yun Yang, Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems grid and cooperative computing. ,vol. 3251, pp. 1005- 1008 ,(2004) , 10.1007/978-3-540-30208-7_159
Andrea D'Ambrogio, Paolo Bocciarelli, A model-driven approach to describe and predict the performance of composite services workshop on software and performance. pp. 78- 89 ,(2007) , 10.1145/1216993.1217008
A taxonomy of grid workflow verification and validation Concurrency and Computation: Practice and Experience. ,vol. 20, pp. 347- 360 ,(2008) , 10.1002/CPE.V20:4