Abstract
The current fast-changing business environment requires workflow management systems to provide the ability of incremental analysis when process models are edited or updated. There are few researches on the dynamic verification of temporal constraints in an incremental way. In this paper, we present an approach to incremental analysis of temporal constraints. Firstly, after each operation performed by designers, the old change regions before the operation and the new change regions after the operation are generated by comparing the old and new Time Workflow nets (TWF-nets) of processes. Secondly, the sprouting graph recording time and path information of old TWF-net is maintained efficiently to the new state, instead of re-constructing a new sprouting graph. Finally, temporal violations are checked and the paths with violations are reported to designers. This approach is particularly applicable and efficient in terms of time and space for large-scale and complex processes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hauser, R.F., Friess, M., Kuster, J.M., Vanhatalo, J.: An Incremental Approach to the Analysis and Transformation of Workflows using Region Trees. IEEE Trans. Syst., Man, Cybern.: Part C 38(3), 347–359 (2008)
Sun, P., Jiang, C.: Analysis of Workflow Dynamic Changes based on Petri Net. Information and Software Technology 51(2), 284–292 (2009)
Ellis, C., Keddara, K., Rozenberg, G.: Dynamic Change with in Workflow System. In: International Conference on Organizational Computing Systems, pp. 10–22. ACM Press, Milpitas (1995)
vander Aalst, W.M.P., Basten, T.: Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science 270(12), 125–203 (2002)
Eder, J., Panagos, E., Rabinovich, M.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–292. Springer, Heidelberg (1999)
Chen, J., Yang, Y., Chen, T.Y.: Dynamic Verification of Temporal Constraints On-the-Fly for Workflow Systems. In: 11th Asia-Pacific Conference on Software Engineering, pp. 134–144. IEEE Press, New York (2004)
Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds.) APWeb 2005. LNCS, vol. 3399, pp. 820–831. Springer, Heidelberg (2005)
Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Electronic Commerce Research and Applications 4(4), 124–142 (2005)
Du, Y., Xiong, P., Fan, Y., Li, X.: Dynamic Checking and Solution to Temporal Violations In Concurrent Workflow Processes. IEEE Trans. Syst., Man, Cybern.: Part A 41(6), 1166–1181 (2011)
Jong, W.T., Shiau, Y.S., Horng, Y.J., Chen, H.H., Chen, S.M.: Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets. IEEE Trans. Syst., Man, Cybern.: Part A 29(4), 541–545 (1999)
Gruhn, V., Laue, R.: Using Timed Model Checking for Verifying Workflows. In: 2nd International Workshop on Computer Supported Activity Coordination, pp. 75–88. INSTICC Press (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Du, Y., Li, X. (2012). An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes. In: Sheng, Q.Z., Wang, G., Jensen, C.S., Xu, G. (eds) Web Technologies and Applications. APWeb 2012. Lecture Notes in Computer Science, vol 7235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29253-8_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-29253-8_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29252-1
Online ISBN: 978-3-642-29253-8
eBook Packages: Computer ScienceComputer Science (R0)