Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2014-December, Issue , 2014, Pages 316-320

  Passos, Ligia Maria Soares ^a,b   Julia, Stephane ^b  

^a FEDERAL RURAL UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^b FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

Author keywords

Deadlock freeness; Interorganizational Work Flow nets; Linear Logic; Petri nets

Indexed keywords

ARTIFICIAL INTELLIGENCE; EQUAL CHANNEL ANGULAR PRESSING; FORESTRY; PETRI NETS;

BUSINESS RELATIONSHIPS; DEADLOCK FREENESS; INTER-ORGANIZATIONAL WORKFLOW; INTER-ORGANIZATIONAL WORKFLOWS; LINEAR LOGIC; LINEAR LOGIC PROOF; PROOF TREE; WORK-FLOWS;

LINEAR ALGEBRA;

EID: 84936808877     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2014.55     Document Type: Conference Paper

References (11)

1. O. Captarencu, "Modelling and verification of interorganizational workflows with security constraints: A petri netsbased approach," in Advanced Information Systems Engineering Workshops, ser. Lecture Notes in Business Information Processing, M. Bajec and J. Eder, Eds. Springer Berlin Heidelberg, 2012, vol. 112, pp. 486-493.
2. W. M. P. Van der Aalst, "Modeling and analyzing interorganizational workflows," in Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 1998, pp. 262-272.
3. S. Yamaguchi, H. Matsuo, Q.-W. Ge, and M. Tanaka, "Wfnet based modeling and soundness verification of interworkflows," IEICE Trans. Fundam. Electron. Commun. Comput. Sci., vol. E90-A, no. 4, pp. 829-835, Apr. 2007.
4. H. C. Sun and Y. Y. Du, "Soundness Analysis of Inter-Organizational Workflows," Information Technology Journal, vol. 7, pp. 1194-1199, 2008.
5. L. M. Soares Passos and S. Julia, "Qualitative analysis of interorganizational workflow nets using linear logic: Soundness verification," in Tools with Artificial Intelligence (ICTAI), 2013 IEEE 25th International Conference on, Nov 2013, pp. 667-673.
6. D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Volzer, and K. Wolf, "Analysis on demand: Instantaneous soundness checking of industrial business process models," Data Knowl. Eng., vol. 70, no. 5, pp. 448-466, 2011.
7. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
8. W. M. P. van der Aalst, "The application of Petri nets to Workflow Management," in The Journal of Circuits, Systems and Computers, 1998, pp. 21-66.
9. J.-Y. Girard, "Linear logic," Theoretical Computer Science, vol. 50, no. 1, pp. 1-102, 1987.
10. N. Riviere, B. Pradin-Chezalviel, and R. Valette, "Reachability and temporal conflicts in t-time petri nets," in Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on, 2001, pp. 229-238.
11. L. M. Soares Passos and S. Julia, "Qualitative analysis of workflow nets using linear logic: soundness verification," in Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics, ser. SMC'09. Piscataway, NJ, USA: IEEE Press, 2009, pp. 2843-2847.