Skip to main content
SpringerLink
Log in

Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets

  • Conference paper
Business Process Management Workshops (BPM 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4928))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Van der Aalst, W.M.P., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)

    Google Scholar 

  2. Casati, F.: A discussion on approaches to handling exceptions in workflows. In: Conference on Computer-Supported Cooperative Work 1998, Seattle (1998)

    Google Scholar 

  3. 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)

    Chapter  Google Scholar 

  4. 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)

    Chapter  Google Scholar 

  5. 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)

    Chapter  Google Scholar 

  6. 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)

    Google Scholar 

  7. Hicheur, A., Barkaoui, K.: A Natural Semantics for RECATNets in Terms of Conditional Rewriting Logic. Internal Technical Report, Cedric Lab (2007)

    Google Scholar 

  8. 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)

    Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1–3), 386–414 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  12. Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. J. Fundam. Inform. 51(1–2), 121–133 (2002)

    MATH  MathSciNet  Google Scholar 

  13. 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)

    Google Scholar 

  14. 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/

  15. Hicheur, A., Barkaoui, K., Boudiaf, N.: Modeling Workflows with Recursive ECATNets. In: 8th SYNASC 2006, pp. 389–398. IEEE Computer Society, Los Alamitos (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEDRIC-CNAM, 292, Rue Saint-Martin Paris, 75003, France

    Kamel Barkaoui & Awatef Hicheur

Authors
  1. Kamel Barkaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Awatef Hicheur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Arthur ter Hofstede Boualem Benatallah Hye-Young Paik

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation