Formal abstraction and compatibility checking of web services

Proceedings - IEEE 20th International Conference on Web Services, ICWS 2013

Volumn , Issue , 2013, Pages 163-170

  Klai, Kais ^a   Ochi, Hanen ^a   Tata, Samir ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b INSTITUT MINES TELECOM   (France)

Author keywords

composition of WSs; oWF nets; soundness

Indexed keywords

ABSTRACTING; WEBSITES;

ABSTRACT MODELING; ABSTRACT WEB SERVICES; AUTOMATIC ABSTRACTIONS; COMPOSITE SERVICES; OWF-NETS; PRIVATE INFORMATION; SERVICE COMPOSITIONS; SOUNDNESS;

WEB SERVICES;

EID: 84891785924     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2013.31     Document Type: Conference Paper

References (23)

1. S. Haddad, J.-M. Ilié, and K. Klai, "Design and evaluation of a symbolic and abstraction-based model checker," in ATVA, ser. LNCS. Springer-Verlag, 2004, pp. 196-210.
2. K. Klai and H. Ochi, "Modular verification of inter-enterprise business processes," in eKNOW, 2012, pp. 155-161.
3. K. Klai, S. Tata, and J. Desel, "Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes," in BPM'09 of LNCS. Springer-Verlag, 2009, pp. 294-309.
4. P. Massuthe, W. Reisig, and K. Schmidt, "An operating guideline approach to the soa," Annals Of Mathematics, Computing and Teleinformatics, vol. 1, pp. 35-43, 2005.
5. 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: applicable formal methods, vol. 23, no. 3, 2010.
6. K. Klai and J. Desel, "Checking soundness of business processes compositionally using symbolic observation graphs," in FMOODS/FORTE, ser. Lecture Notes in Computer Science, vol. 7273. Springer, 2012, pp. 67-83.
7. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing interacting bpel processes," in BPM'06 of LNCS. Springer-Verlag, 2006, pp. 17-32.
8. S. Hinz, K. Schmidt, and C. Stahl, "Transforming bpel to petri nets," in BPM'05, vol 3649 of LNCS. Springer-Verlag, 2005.
9. C. A. Petri, "Concepts of net theory," in MFCS'73. Mathematical Institute of the Slovak Academy of Sciences, 1973.
10. W. M. P. van der Aalst, "The application of petri nets to workflow management," Journal of Circuits, Systems, and Computers, vol. 8, no. 1, pp. 21-66, 1998.
11. J. Dehnert and P. Rittgen, "Relaxed soundness of business processes," in International Conference on Advanced Information Systems Engineering, ser. LNCS, vol. 2068. Springer-Verlag, 2001, pp. 157-170.
12. A. Martens, "On compatibility of web services." Petri Net Newsletter, Special Interest Groups on Petri Nets and Related Systems Models, Gesellschaft fur Informatik e.V., vol. 65, 2003.
13. W. M. P. van der Aalst, K. M. van Hee, and R. A. van der Toorn, "Component-based software architectures: a framework based on inheritance of behavior," Sci. Comput. Program., vol. 42, no. 2-3, pp. 129-171, 2002.
14. A. Martens, "Usability of web services," in ICWISEW. IEEE Computer Society, 2003, pp. 182-190.
15. R. E. Bryant, "Symbolic boolean manipulation with ordered binary-decision diagrams," ACM Computing Surveys, vol. 24, no. 3, pp. 293-318, 1992.
16. K. Klai and D. Poitrenaud, "MC-SOG: An LTL model checker based on symbolic observation graphs," in Petri Nets, 2008.
17. K. Klai and L. Petrucci, "Modular construction of the symbolic observation graph," in ACSD, 2008, pp. 88-97.
18. D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Vlzer, and K. Wolf, "Analysis on demand: Instantaneous soundness checking of industrial business process models," Data Knowl. Eng., pp. 448-466, 2011.
19. K. Schmidt, "Lola: a low level analyser," in Proceedings of the 21st international conference on Application and theory of petri nets, ser. ICATPN'00. Springer-Verlag, 2000, pp. 465-474.
20. P. Xiong, Y. Fan, and M. Zhou, "A petri net approach to analysis and composition of web services." IEEE Transactions on Systems, Man, and Cybernetics, Part A, pp. 376-387, 2010.
21. Y. Du, X. Li, and P. Xiong, "A petri net approach to mediation-aided composition of web services," IEEE T. Automation Science and Engineering, vol. 9, no. 2, 2012.
22. X. Yi and K. J. Kochut, "A cp-nets-based design and verification framework for web services composition," in ICWS '04. IEEE, 2004.
23. W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, "Multiparty contracts: Agreeing and implementing interorganizational processes," Comput. J., vol. 53, no. 1, pp. 90-106, 2010.