Towards analysis of flexible and collaborative workflow using recursive ECATNets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4928 LNCS, Issue , 2008, Pages 232-244

  Barkaoui, Kamel ^a   Hicheur, Awatef ^a  

^a CEDRIC CNAM   (France)

Author keywords

Flexible collaborative workflow; Recursive Petri nets; Rewriting logic

Indexed keywords

COMPUTER SIMULATION; COMPUTER SUPPORTED COOPERATIVE WORK; MODEL CHECKING; RECURSIVE FUNCTIONS; SEMANTICS;

DYNAMIC RECONFIGURATION MECHANISMS; FLEXIBLE COLLABORATIVE WORKFLOW; RECURSIVE PETRI NETS; REWRITING LOGICS;

PETRI NETS;

EID: 40549121265     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78238-4_24     Document Type: Conference Paper

References (15)

1. Van der Aalst, W.M.P., Van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT press, Cambridge (2002)
2. Casati, F.: A discussion on approaches to handling exceptions in workflows. In: Conference on Computer-Supported Cooperative Work 1998, Seattle (1998)
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)
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)
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)
6. Sarenar, 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)
7. Hicheur, A., Barkaoui, K.: A Natural. Semantics for RECATNets in Terms of Conditional Rewriting Logic. Internal Technical Report, Cedric Lab (2007)
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)
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)
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)
11. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci. 360(1-3), 386-414 (2006)
12. Lomazova, I.A.: Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. J. Fundam. Inform. 51(1-2), 121-133 (2002)
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)
14. Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-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)