Abstract
In this paper we define a model, namely the recursive ECATNets (Recatnets) based on a sound combination of Extended Concurrent Algebraic Term nets and Recursive Petri nets, allowing a concise modeling of dynamic reconfiguration mechanisms of flexible workflow processes. The descriptive power of Recatnes is well-suited for collaborative workflows modeling. Moreover the use of model checking techniques to prove liveness and safety properties becomes possible due to their semantics defined in conditional rewriting logic.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Van der Aalst, W.M.P., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)
Casati, F.: A discussion on approaches to handling exceptions in workflows. In: Conference on Computer-Supported Cooperative Work 1998, Seattle (1998)
Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible workflow management in the OPENflow system. In: 4th IEEE Int. Enterprise Distributed Object Comp. Conf., pp. 82–92. IEEE Computer Society, Washington (2001)
van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)
Sadiq, W., Sadiq, S., Schulz, K.: Model Driven Distribution of Collaborative Business Processes. In: IEEE International Conference on Services Computing, pp. 281–284. IEEE Computer Society, Chicago (2006)
Sarshar, K., Theling, Th., Loos, P., Jerrentrup, M.: Integrating Process and Organization Models of Collaborations through Object Petri Nets. In: Sarshar, K. (ed.) MKWI 2006, contribution to XML4BPM, Passau (2006)
Hicheur, A., Barkaoui, K.: A Natural Semantics for RECATNets in Terms of Conditional Rewriting Logic. Internal Technical Report, Cedric Lab (2007)
Bettaz, M., Maouche, M.: How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets. In: Bidoit, M., Choppy, C. (eds.) Recent Trends in Data Type Specification. LNCS, vol. 655, pp. 164–180. Springer, Heidelberg (1993)
Zeghib, N., Barkaoui, K., Bettaz, M.: Contextual ECATNets semantics in terms of conditional rewriting logic. In: 4th ACS/IEEE Int. Conf. on Computer Systems and Application, pp. 936–943. IEEE Press, Sharjah (2006)
Haddad, S., Poitrenaud, D.: Modeling and analyzing systems with recursive Petri nets. In: 5th Workshop on Discrete Event Systems, pp. 449–458. Kluwer Academic, Belgium (2000)
Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1–3), 386–414 (2006)
Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. J. Fundam. Inform. 51(1–2), 121–133 (2002)
Valk, R.: Object Petri Nets-Using the Nets-within-Nets Paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004)
Clavel, M., Duran, F., Eker, S., Lincoln, P., Martı-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version2.3) (2007), http://maude.cs.uiuc.edu/maude2-manual/
Hicheur, A., Barkaoui, K., Boudiaf, N.: Modeling Workflows with Recursive ECATNets. In: 8th SYNASC 2006, pp. 389–398. IEEE Computer Society, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barkaoui, K., Hicheur, A. (2008). Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)