{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:59:07Z","timestamp":1730260747851,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/icws.2010.24","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T15:11:15Z","timestamp":1282662675000},"page":"377-384","source":"Crossref","is-referenced-by-count":14,"title":["WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition"],"prefix":"10.1109","author":[{"given":"Ana","family":"Cavalli","sequence":"first","affiliation":[]},{"given":"Tien-Dung","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Wissam","family":"Mallouli","sequence":"additional","affiliation":[]},{"given":"Eliane","family":"Martins","sequence":"additional","affiliation":[]},{"given":"Andrey","family":"Sadovykh","sequence":"additional","affiliation":[]},{"given":"Sebastien","family":"Salva","sequence":"additional","affiliation":[]},{"given":"Fatiha","family":"Za\u00efdi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref10","article-title":"The open group architecture framework"},{"year":"0","key":"ref11","article-title":"PRAXEME methodology"},{"journal-title":"Unified Modeling Language","year":"0","key":"ref12"},{"year":"2009","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SITIS.2008.58"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"journal-title":"Proc of TestCom","article-title":"A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems","year":"2009","author":"poizat","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2008.14"},{"key":"ref18","first-page":"41","article-title":"Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services","author":"cavalli","year":"1999","journal-title":"Proc of FORTE"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-I.2009.42"},{"journal-title":"WebMov Tech Rep","article-title":"D5.1 webmov case studies: definition of functional requirements and test purposes","year":"2009","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368139"},{"journal-title":"NetBeans Framework","year":"2009","key":"ref27"},{"key":"ref3","article-title":"Architecting Dependable Systems","volume":"5135","author":"bartolini","year":"2008","journal-title":"Data flow-based validation of web services compositions Perspectives and examples"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.2.3.64-77"},{"journal-title":"Proc of ICWS","article-title":"BPEL4WS Unit Testing: Framework and Implementation","year":"2005","author":"li","key":"ref5"},{"key":"ref8","first-page":"237","article-title":"The IF Toolset","volume":"3185","author":"bozga","year":"2004","journal-title":"SFM"},{"journal-title":"Proc of WS-MaTe","article-title":"Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN","year":"2006","author":"garc\u00eda-fanjul","key":"ref7"},{"key":"ref2","article-title":"Towards Automated WSDL-Based Testing of Web Services","volume":"5364","author":"bartolini","year":"2008","journal-title":"Proc of ICSOC"},{"journal-title":"Pratical Guide to the Logical Architecture","year":"0","key":"ref9"},{"journal-title":"Design and Implementation of a Framework for Testing BPEL Compositions","year":"2006","author":"mayer","key":"ref1"},{"first-page":"14","article-title":"Online on-the-fly testing of real-time systems","year":"2003","author":"mikucionis","key":"ref20"},{"journal-title":"Proc of ICIW","article-title":"Statefull web service robustness","year":"2010","author":"salva","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.11"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2004.09.009"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689474"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15585-7_13"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2008.43"}],"event":{"name":"2010 IEEE International Conference on Web Services (ICWS)","start":{"date-parts":[[2010,7,5]]},"location":"Miami, FL, USA","end":{"date-parts":[[2010,7,10]]}},"container-title":["2010 IEEE International Conference on Web Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5552632\/5552704\/05552764.pdf?arnumber=5552764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:09:05Z","timestamp":1489867745000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5552764\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icws.2010.24","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}
