Abstract
A slicing technique is described for Petri net models of business processes. By this technique, a Petri net can be reduced to a smaller one with less states, such that verification can be done on the smaller net and transferred to the larger one. Three case studies are discussed.
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.
Similar content being viewed by others
References
van der Aalst, W., van Hee, K.: Workflow Management-Models, Methods, and Systems, p. 62. The MIT Press, Cambridge (2002)
Brückner, I., Wehrheim, H.: Slicing Object-Z Specifications for Verification. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 414–433. Springer, Heidelberg (2005)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Corbett, J.C.: Evaluating Deadlock Detection Methods for Concurrent Software. IEEE Transactions on Software Engineering 22(3), 161–180 (1996)
Kindler, E., Martens, A., Reisig, W.: Interoperability of Workflow Applications. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 235–253. Springer, Heidelberg (2000)
Mayr, H.C.: Towards Business Process Modeling in KCPM. In: Desel, J., Oberweis, A., Reisig, W., Rozenberg, G. (eds.) Petri Nets and Business Process Management, Dagstuhl-Seminar-Report Nr. 217 (1998)
Mayr, H.C., Kop, C.: A User Centered Approach to Requirements Modeling. In: Glinz, M., Müller-Luschnat, G. (eds.) Proc. Modellierung 2002, GI edn. Lecture Notes in Informatics (LNI), vol. P-12, pp. 75–86 (2002)
Lee, R.M.: Documentary Petri Nets: A Modeling Representation for Electronic Trade Procedures. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 359–375. Springer, Heidelberg (2000)
Rakow, A.: Slicing Petri Nets with an Application to Workflow Verification. In: Proc. SOFSEM 2008. LNCS, vol. 4910, Springer, Heidelberg (2008)
Rakow, A.: Slicing and Reduction Techniques for the Verification of Concurrent Systems (preliminary title). PhD Dissertation (2008)
Weiser, M.: Program Slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE Press, Piscataway, NJ, USA (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Best, E., Rakow, A. (2008). A Slicing Technique for Business Processes. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds) Information Systems and e-Business Technologies. UNISCON 2008. Lecture Notes in Business Information Processing, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78942-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-78942-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78941-3
Online ISBN: 978-3-540-78942-0
eBook Packages: Computer ScienceComputer Science (R0)