Checking Compatibility of Web Services Behaviorally
作者： Kais Klai , Hanen Ochi
DOI: 10.1007/978-3-642-40213-5_17
关键词:
摘要: Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. In this context, we propose approach based on Symbolic Observation Graphs (SOG) allowing to decide whether two (or more) web can cooperate safely. The compatibility between defined by the well known soundness property open workflow nets. This guarantees absence of anomalies (e.g. deadlock) that appear after composition. We abstract concrete behavior a service using SOG show how as check be achieved through their abstractions (i.e. SOGs). allows respect privacy since SOGs are collaborative activities only hide internal structure corresponding service.
springer.com
archives-ouvertes.fr
sci-hub.st 参考文章(17)
Kais Klai, Jörg Desel, Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs Formal Techniques for Distributed Systems. pp. 67- 83 ,(2012) , 10.1007/978-3-642-30793-5_5
C. A. Petri, Concepts of Net Theory. mathematical foundations of computer science. pp. 137- 146 ,(1973)
Wolfgang Reisig, Peter Massuthe, Karsten Schmidt, An Operating Guideline Approach to the SOA Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik. ,(2005) , 10.18452/2443
Christian Stahl, Peter Massuthe, Jan Bretschneider, Deciding Substitutability of Services with Operating Guidelines Lecture Notes in Computer Science. ,vol. 5460, pp. 172- 191 ,(2009) , 10.1007/978-3-642-00899-3_10
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Analyzing Interacting BPEL Processes Lecture Notes in Computer Science. pp. 17- 32 ,(2006) , 10.1007/11841760_3
Kais Klai, Samir Tata, Jörg Desel, Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes business process management. ,vol. 5701, pp. 294- 309 ,(2009) , 10.1007/978-3-642-03848-8_20
Kais Klai, Denis Poitrenaud, MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs Applications and Theory of Petri Nets. ,vol. 5062, pp. 288- 306 ,(2008) , 10.1007/978-3-540-68746-7_20
Sebastian Hinz, Karsten Schmidt, Christian Stahl, Transforming BPEL to Petri Nets Lecture Notes in Computer Science. pp. 220- 235 ,(2005) , 10.1007/11538394_15
Serge Haddad, Jean-Michel Ilié, Kais Klai, Design and Evaluation of a Symbolic and Abstraction-Based Model Checker automated technology for verification and analysis. ,vol. 3299, pp. 196- 210 ,(2004) , 10.1007/978-3-540-30476-0_19
Rachid Hamadi, Boualem Benatallah, A Petri net-based model for web service composition australasian database conference. pp. 191- 200 ,(2003)