Timed modeling and verification of BPEL processes using time Petri nets

Proceedings - International Conference on Quality Software

Volumn , Issue , 2009, Pages 92-97

  Song, Wei ^a   Ma, Xiaoxing ^a   Ye, Chunyang ^b   Dou, Wanchun ^a   Lü, Jian ^a  

^a NANJING UNIVERSITY   (China)

^b INSTITUTE OF SOFTWARE   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION TIME; EXPECTED TIME; PARALLEL STRUCTURES; PARTNER SERVICES; RESPONSE TIME; SERVICE LEVEL AGREEMENTS; TIME PETRI NETS; TIME REQUIREMENTS;

GRAPH THEORY; PETRI NETS;

COMPUTER SOFTWARE;

EID: 77950598535     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2009.20     Document Type: Conference Paper

References (19)

1. A. Agrawal, et al. WS-BPEL Extension for People (BPEL4People), Version 1.0. Technical report, 2007.
2. A. Agrawal, et al. Web Services Human Task (WS-HumanTask), Version 1.0. Technical report, 2007.
3. A. Alves, et al. Web Services Business Process Execution Language Version 2.0. OASIS standard, OASIS, 2007.
4. J.J. Chen, and Y. Yang, "Adaptive Selection of Necessary and Sufficient Checkpoints for Dynamic Verification of Temporal Constraints in Grid Workflow Systems", ACM Transactions on Autonomous and Adaptive Systems, 2007, 2(2), pp. 1-25.
5. J.J. Chen, and Y. Yang, "Temporal Dependency based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems", In Proceedings of 30th International Conference on Software Engineering, 2008, pp. 141-150.
6. G. Díaz, M.E. Cambronero, M.L. Tobarra, V. Valero, and F. Cuartero, "Analysis and Verification of Time Requirements Applied to the Web Services Composition", In Proceedings of the 4th International Workshop on Web Services and Formal Methods, 2006, pp. 178-192.
7. J. Eder, E. Panagos, and M. Rabinovich, "Time Constraints in Workflow Systems", In Proceedings of the 11th Conference on Advanced Information Systems Engineering, 1999, pp. 286-300.
8. J. Eder, H. Pichler, and S. Vielgut, "Avoidance of Deadline Violations for Inter-Organizational Business Processes", In Proceedings of 7th International Baltic Conference on Databases and Information Systems, 2006, pp. 33-40.
9. J. Eder, and A. Tahamtan, "Temporal Consistency of View Based Interorganizational Workflows", In Proceedings of the 2nd International United Information Systems Conference, 2008, pp. 96-107.
10. S. Hinz, K. Schmidt, C. and Stahl C, "Transforming BPEL to Petri nets", In Proceedings of the 3rd International Conference on Business Process Management, 2005, pp. 220-235.
11. R. Kazhamiakin, P. Pandya, and M. Pistore, "Representation, Verification, and Computation of Timed Properties in Web Service Compositions", In Proceedings of the 4th International Conference on Web Services, 2006, pp.497-504.
12. J.Q. Li, Y.S. Fan, and M.C. Zhou, "Timing Constraint Workflow Nets for Workflow Analysis", IEEE Transactions on Systems, Man, and Cybernetics-Part A: System and Humans, 2003, 33(2), pp. 179-193.
13. N. Lohmann, "A Feature-Complete Petri Net semantics for WS-BPEL 2.0", In Proceedings of the 4th International Workshop on Web Services and Formal Methods, 2007, pp. 77-91.
14. C. Ouyang, W.M.P. van der Aalst, S. Breutel, and A.H.M. ter Hofstede, "Formal Semantics and Analysis of Control Flow in WS-BPEL", Science of Computer Programming, 2007, 67(2-3), pp. 162-198. (Pubitemid 46963405)
15. C. Stahl, and K. Wolf, "Covering Places and Transitions in Open Nets", In Proceedings of the 6th International Conference on Business Process Management, 2008, pp. 116-131.
16. Wil M.P. van der Aalst, "The Application of Petri Nets to Workflow Management", The Journal of Circuits, Systems and Computers, 1998, 8(1), pp. 21-66.
17. Wil M.P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, "From Public Views to Private Views - Correctness-by-Design for Services", In Proceedings of the 4th International Workshop on Web Services and Formal Methods, 2007, pp. 139-153.
18. D.X. Xu, X.D. He, and Y. Deng, "Compositional Schedulability Analysis of Real-Time Systems Using Time Petri Nets", IEEE Transactions on Software Engineering, 2002, 28(10), pp. 984-996.
19. L.Z. Zeng, B. Benatallah, A.H.H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, "QoS-Aware Middleware for Web Services Composition", IEEE Transactions on Software Engineering, 2004, 30(5), pp. 311-327.