{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:27:34Z","timestamp":1750307254066,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T00:00:00Z","timestamp":1289174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,11,8]]},"DOI":"10.1145\/1967486.1967502","type":"proceedings-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:01:35Z","timestamp":1302609695000},"page":"75-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards an approach of formal verification of mediation protocol based on web services"],"prefix":"10.1145","author":[{"given":"Mohamed","family":"Graiet","sequence":"first","affiliation":[{"name":"MIRACL, ISIMS, TUNISIA, Tunisia"}]},{"given":"Raoudha","family":"Maraoui","sequence":"additional","affiliation":[{"name":"Monastir, Tunisia"}]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[{"name":"LIUPPA, IUT de Bayonne, Bayonne-France"}]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[{"name":"MIRACL, ISIMS, TUNISIA, Tunisia"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[{"name":"\u00c9vry Cedex - France"}]}],"member":"320","published-online":{"date-parts":[[2010,11,8]]},"reference":[{"key":"e_1_3_2_1_1_1","article-title":"On the integration of heterogeneous web service partners","author":"Curbera F.","year":"2001","unstructured":"Curbera , F. , Silva-Lepe , I. and Weerawarana , S. 2001 . On the integration of heterogeneous web service partners . IBM T. J. Watson Research Center ( August 9, 2001) Curbera, F., Silva-Lepe, I. and Weerawarana, S. 2001. On the integration of heterogeneous web service partners. IBM T. J. Watson Research Center (August 9, 2001)","journal-title":"IBM T. J. Watson Research Center"},{"key":"e_1_3_2_1_2_1","first-page":"191","volume-title":"Proceedings of the 14th Australasian Database Conference (ADC'03)","author":"Hamadi R.","year":"2003","unstructured":"Hamadi , R. and Benatallah . B. 2003 . A Petri Net-based Model for Web Service Composition. In School of Computer Science and Engineering, The University of New South Wales . In Proceedings of the 14th Australasian Database Conference (ADC'03) , CRPIT 17, pp. 191 -- 200 , Australian Computer Society, Adelaide, Australia , February (2003). Hamadi, R. and Benatallah. B. 2003. A Petri Net-based Model for Web Service Composition. In School of Computer Science and Engineering, The University of New South Wales. In Proceedings of the 14th Australasian Database Conference (ADC'03), CRPIT 17, pp. 191--200, Australian Computer Society, Adelaide, Australia, February (2003)."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of the First Int. Conf. on Service-Oriented Comp. (ICSOC) 43--58","author":"Berardi D.","year":"2003","unstructured":"Berardi , D. , Calvanese , D. , De Giacomo , G. , Lenzerini M. and Mecella , M . 2003. Automatic Compositionof e-Services , Proc. of the First Int. Conf. on Service-Oriented Comp. (ICSOC) 43--58 ( 2003 ). Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini M. and Mecella, M. 2003. Automatic Compositionof e-Services, Proc. of the First Int. Conf. on Service-Oriented Comp. (ICSOC) 43--58 (2003)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773808.2774065"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825767"},{"key":"e_1_3_2_1_6_1","unstructured":"Graiet M. 2007. Contribution à une démarche de vérification formelle d'architectures logicielles. Thèse de doctorat Université Joseph Fourier (25 Octobre 2007).  Graiet M. 2007. Contribution à une démarche de vérification formelle d'architectures logicielles . Thèse de doctorat Université Joseph Fourier (25 Octobre 2007)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2009.78"},{"key":"e_1_3_2_1_8_1","volume-title":"Une approche rigoureuse pour l'ingénierie de compositions de services Web","author":"Rouachid","year":"2008","unstructured":"M. Rouachid . : Une approche rigoureuse pour l'ingénierie de compositions de services Web ; Thèse de doctorat, Université Henri Poincaré, Nancy 1. 31--34, ( 2008 ). M. Rouachid.: Une approche rigoureuse pour l'ingénierie de compositions de services Web; Thèse de doctorat, Université Henri Poincaré, Nancy1. 31--34, (2008)."},{"key":"e_1_3_2_1_9_1","unstructured":"OASIS 2008: Service component architecture assembly model specification version 1.1. http:\/\/www.oasis-opencsa.org\/.  OASIS 2008: Service component architecture assembly model specification version 1.1. http:\/\/www.oasis-opencsa.org\/."},{"key":"e_1_3_2_1_10_1","unstructured":"OpenGroup(2009).Soa source book. http:\/\/www.opengroup.org\/projects\/soa-book.  OpenGroup(2009).Soa source book. http:\/\/www.opengroup.org\/projects\/soa-book."},{"key":"e_1_3_2_1_11_1","volume-title":"Vers une meilleure compréhension de la composition de services par Méta Modélisation d'un service composite. Conférence Architecture Logicielle (CAL","author":"Oussalah M.","year":"2010","unstructured":"Oussalah , M. 2010. Vers une meilleure compréhension de la composition de services par Méta Modélisation d'un service composite. Conférence Architecture Logicielle (CAL 2010 ), Pau ( 2010). Oussalah, M. 2010. Vers une meilleure compréhension de la composition de services par Méta Modélisation d'un service composite. Conférence Architecture Logicielle (CAL 2010), Pau (2010)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2006.59"},{"key":"#cr-split#-e_1_3_2_1_13_1.1","unstructured":"Mrissa M. 2007. Médiation Sémantique Orientée Contexte pour la Composition de Services Web. Thèse de doctorat Universit&#233"},{"key":"#cr-split#-e_1_3_2_1_13_1.2","unstructured":"Claude Bernard Lyon IUFR Informatique 15--36 (2007). Mrissa M. 2007. Médiation Sémantique Orientée Contexte pour la Composition de Services Web. Thèse de doctorat Universit&#233"},{"key":"#cr-split#-e_1_3_2_1_13_1.3","unstructured":"Claude Bernard Lyon IUFR Informatique 15--36 (2007)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11841760_6"},{"key":"e_1_3_2_1_15_1","unstructured":"Xitong L. Fan Y. Madnick S. and Sheng Z. 2008. A pattern based protocol Mediation for web services Composition Composite Information Systems Laboratory (CISL) Sloan School of Management Room E53--320 Massachusetts Institute of Technology Cambridge MA 02142 (2008).  Xitong L. Fan Y. Madnick S. and Sheng Z. 2008. A pattern based protocol Mediation for web services Composition Composite Information Systems Laboratory (CISL) Sloan School of Management Room E53--320 Massachusetts Institute of Technology Cambridge MA 02142 (2008)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3166\/tsi.28.301-330"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646746.701329"},{"key":"e_1_3_2_1_18_1","volume-title":"Universit&#233","author":"Bhiri S.","year":"2005","unstructured":"Bhiri . S. 2005. A Transactional Approach to Ensure Reliable Web Services Compositions 22--30. Thèse de doctorat , Universit&#233 ; Henri Poincaré - Nancy I (Juin 2005 ). Bhiri. S. 2005. A Transactional Approach to Ensure Reliable Web Services Compositions 22--30. Thèse de doctorat, Université Henri Poincaré - Nancy I (Juin 2005)."},{"key":"e_1_3_2_1_19_1","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"Warmer J.","year":"1998","unstructured":"Warmer , J. , Kleppe . A. 1998. The Object Constraint Language: Precise Modeling with UML , Addison-Wesley , ( 1998 ). Warmer, J., Kleppe. A. 1998. The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, (1998)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_21_1","volume-title":"Wile D 1997. Acme: An Architecture Description Interchange Language. Proceedings of CASCON 97","author":"Garlan D.","year":"1997","unstructured":"Garlan , D. , Monroe R. T. , Wile D 1997. Acme: An Architecture Description Interchange Language. Proceedings of CASCON 97 , Toronto, Ontario, November, 169--183 ,( 1997 ). Garlan, D., Monroe R. T., Wile D 1997. Acme: An Architecture Description Interchange Language. Proceedings of CASCON 97, Toronto, Ontario, November, 169--183,(1997)."},{"key":"e_1_3_2_1_22_1","volume-title":"ACME: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, Leavens G","author":"Garlan D.","year":"2000","unstructured":"Garlan , D. , Monroe , R. , Wile D. 2000 . ACME: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, Leavens G . T, and Sitaraman M. (Eds.), Cambridge University , Press , 2000. Garlan, D., Monroe, R., Wile D. 2000. ACME: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, Leavens G. T, and Sitaraman M. (Eds.), Cambridge University, Press, 2000."},{"key":"e_1_3_2_1_23_1","volume-title":"ACME: Architectural Description of Component-based. Capturing software architecture design expertise with Armani. Technical Report CMU-CS-98-163","author":"Garlan D.","year":"2001","unstructured":"Garlan , D. , Monroe , R. and Wile . D. 2001 . ACME: Architectural Description of Component-based. Capturing software architecture design expertise with Armani. Technical Report CMU-CS-98-163 , Carnegie Mellon University School of Computer Science .(2001) Garlan, D., Monroe, R. and Wile. D. 2001. ACME: Architectural Description of Component-based. Capturing software architecture design expertise with Armani. Technical Report CMU-CS-98-163, Carnegie Mellon University School of Computer Science.(2001)"},{"key":"e_1_3_2_1_24_1","unstructured":"Group2006 http:\/\/www.cs.cmu.edu\/~acme\/Acme Studio\/.  Group2006 http:\/\/www.cs.cmu.edu\/~acme\/Acme Studio\/."},{"issue":"8","key":"e_1_3_2_1_25_1","first-page":"1285","article-title":"Mismatch Avoidance in Web Services Software Architectures","volume":"14","author":"Gacek C.","year":"2008","unstructured":"Gacek , C. and Gamble , C. 2008 . Mismatch Avoidance in Web Services Software Architectures . Journal of Universal Computer Science , vol. 14 , no. 8 (2008), 1285 -- 1313 . Gacek, C. andGamble, C. 2008. Mismatch Avoidance in Web Services Software Architectures. Journal of Universal Computer Science, vol. 14, no. 8 (2008), 1285--1313.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_26_1","volume-title":"Technical Report CS-TR-1078, Newcastle","author":"Gamble C.","year":"2008","unstructured":"Gamble , C. and Gacek , C . 2008 . Minimal Web Services Style Architectural Style Description and Example Instantiation. Technical Report CS-TR-1078, Newcastle University, Newcastle upon Tyne, United Kingdom , (2008). Gamble, C. and Gacek, C. 2008. Minimal Web Services Style Architectural Style Description and Example Instantiation. Technical Report CS-TR-1078, Newcastle University, Newcastle upon Tyne, United Kingdom, (2008)."}],"event":{"name":"iiWAS '10: 12th International Conference on Information Integration and Web-based Applications & Services","sponsor":["IIWAS International Organization for Information Integration","Web-b Web-b","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGKDD ACM Special Interest Group on Knowledge Discovery in Data"],"location":"Paris France","acronym":"iiWAS '10"},"container-title":["Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967486.1967502","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1967486.1967502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:21Z","timestamp":1750243941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967486.1967502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,8]]},"references-count":28,"alternative-id":["10.1145\/1967486.1967502","10.1145\/1967486"],"URL":"https:\/\/doi.org\/10.1145\/1967486.1967502","relation":{},"subject":[],"published":{"date-parts":[[2010,11,8]]},"assertion":[{"value":"2010-11-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}