Deadlock-freeness scenarios detection in WEB service composition

Proceedings - 12th International Conference on Information Technology: New Generations, ITNG 2015

Volumn , Issue , 2015, Pages 780-783

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

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

^b FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

Author keywords

Composition; Deadlock freeness; Linear Logic; Petri nets; Web Services

Indexed keywords

CHEMICAL ANALYSIS; COMPUTER CIRCUITS; FORESTRY; LINEAR ALGEBRA; PETRI NETS; WEBSITES;

BUSINESS RELATIONSHIPS; DEADLOCK FREENESS; LINEAR LOGIC; LINEAR LOGIC PROOF; PROOF TREE; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION;

WEB SERVICES;

DETECTION; LOGIC; TREES;

EID: 84936768382     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2015.141     Document Type: Conference Paper

References (8)

1. K. Klai, H. Ochi, and S. Tata, "Formal Abstraction and Compatibility Checking of Web Services, " in Web Services (ICWS), 2013 IEEE 20th International Conference on, June 2013, pp. 163-170.
2. P. Xiong, Y. Fan, and M. Zhou, "A Petri Net Approach to Analysis and Composition of Web Services, " Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol. 40, no. 2, pp. 376-387, March 2010.
3. A. Martens, "Analyzing Web Service Based Business Processes, " in Fundamental Approaches to Software Engineering, ser. Lecture Notes in Computer Science, M. Cerioli, Ed. Springer Berlin Heidelberg, 2005, vol. 3442, pp. 19-33.
4. W. van der Aalst, K. van Hee, A. ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M. Wynn, "Soundness of workflow nets: classification, decidability, and analysis, " Formal Aspects of Computing, vol. 23, no. 3, pp. 333-363, 2011.
5. L. M. S. Passos and S. Julia, "Linear Logic as a Tool for Deadlock-Freeness Scenarios Detection in Interorganizational Workflow Processes, " in Tools with Artificial Intelligence (ICTAI), 2014 IEEE 26th International Conference on, Nov 2014, pp. 316-320.
6. J.-Y. Girard, "Linear logic, " Theoretical Computer Science, vol. 50, no. 1, pp. 1-102, 1987.
7. 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.
8. F. Girault, B. Pradin-Chezalviel, and R. Valette, "A logic for Petri nets, " Journal Europeen des Systèmes Automatises, vol. 31, no. 3, pp. 525-542, 1997.