Abstract
To detect whether there are deadlocks in the analysis and verification of cooperative workflow, the method of Petri net accessibility analysis is often adopted. In order to alleviate possibility of state space explosion, this paper proposes the analysis approach based on interactive abstract graph. Interactive abstract graph only affects the elements of collaborative interaction, makes use of these elements of the partial order to discover whether there exists any deadlock situation by detecting inappropriate partial order of contradictory logic relations. Besides, it can reveal the hidden internal conflicts directly and its efficiency and accessibility are much higher. This method provides a new way for deadlock detection of cooperative workflow as well as concurrent system.
This is a preview of subscription content, log in via an institution to check access.
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
Murata, T., Shenker, B.: Detection of Ada Static Deadlocks Using Petri Net Invariants. IEEE Transactions on Software Engineering 15(3), 314–326 (1989)
Godefroid, P., Wolper, P.: Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties. In: Formal Methods in System Design, vol. 2(2), pp. 149–164. Kluwer. Academic Publisher (1993)
Duri, S., Buy, U., Devwapalli, R., Shatz, S.M.: Using State Space Reduction Methods for Deadlock Analysis 34(3), 51–60 (1993)
Corbett, J.C.: Evaluating Deadlock Detection Methods for Concurrency Software. IEEE Transactions on Software Engineering 22(3), 161–180 (1996)
Du, Y., Jiang, C.: Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 221–225. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jian-Xin, L., Lin-Lin, S., Yu-Yue, D., Yong-Fa, H. (2013). The Analysis and Verification of Cooperative Workflow Based Interactive Abstract Graph. In: Yang, G. (eds) Proceedings of the 2012 International Conference on Communication, Electronics and Automation Engineering. Advances in Intelligent Systems and Computing, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31698-2_110
Download citation
DOI: https://doi.org/10.1007/978-3-642-31698-2_110
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31697-5
Online ISBN: 978-3-642-31698-2
eBook Packages: EngineeringEngineering (R0)